tile
Safe HaskellNone
LanguageGHC2024

Tile.Tile

Contents

Description

A tile is an affine view of ranks. It carries geometry only: its root is the rank at the affine origin.

Synopsis

Tiles

newtype Tile Source #

A tile represented by an affine rank space.

Constructors

Tile 

Fields

Instances

Instances details
Eq Tile Source # 
Instance details

Defined in Tile.Tile

Methods

(==) :: Tile -> Tile -> Bool #

(/=) :: Tile -> Tile -> Bool #

Show Tile Source # 
Instance details

Defined in Tile.Tile

Methods

showsPrec :: Int -> Tile -> ShowS #

show :: Tile -> String #

showList :: [Tile] -> ShowS #

root :: Tile -> Int Source #

Root rank of a tile.

This is the offset of the tile's affine rank space.

rootTile :: Shape -> Tile Source #

Construct the root tile for a row-major shape.