HalfTile

Documentation

data HalfTile rep

Representing Half Tile Pieces Polymorphicly. Common code for both graphs and vector representations of tilings. For Pieces - rep is V2 Double For TileFaces (in Tgraphs) rep is (Vertex,Vertex,Vertex)

Constructors

LD rep

Left Dart

RD rep

Right Dart

LK rep

Left Kite

RK rep

Right Kite

Instances

Drawable Patch

Patches are drawable

Defined in TileLib

Methods

drawWith :: Renderable (Path V2 Double) b => (Piece -> Diagram2D b) -> Patch -> Diagram2D b

Functor HalfTile

Make Halftile a Functor

Defined in HalfTile

Methods

fmap :: (a -> b) -> HalfTile a -> HalfTile b

(<$) :: a -> HalfTile b -> HalfTile a

Show rep => Show (HalfTile rep)

Defined in HalfTile

Methods

showsPrec :: Int -> HalfTile rep -> ShowS

show :: HalfTile rep -> String

showList :: [HalfTile rep] -> ShowS

Transformable a => Transformable (HalfTile a)

HalfTile inherits Transformable - Requires FlexibleInstances

Defined in HalfTile

Methods

transform :: Transformation (V (HalfTile a)) (N (HalfTile a)) -> HalfTile a -> HalfTile a

Eq rep => Eq (HalfTile rep)

Defined in HalfTile

Methods

(==) :: HalfTile rep -> HalfTile rep -> Bool

(/=) :: HalfTile rep -> HalfTile rep -> Bool

Ord rep => Ord (HalfTile rep)

Note this ignores the tileLabels when comparing. However we should never have 2 different HalfTiles with the same rep

Defined in HalfTile

Methods

compare :: HalfTile rep -> HalfTile rep -> Ordering

(<) :: HalfTile rep -> HalfTile rep -> Bool

(<=) :: HalfTile rep -> HalfTile rep -> Bool

(>) :: HalfTile rep -> HalfTile rep -> Bool

(>=) :: HalfTile rep -> HalfTile rep -> Bool

max :: HalfTile rep -> HalfTile rep -> HalfTile rep

min :: HalfTile rep -> HalfTile rep -> HalfTile rep

type N (HalfTile a)

Needed for Transformable instance of HalfTile - requires TypeFamilies

Defined in HalfTile

type N (HalfTile a) = N a

type V (HalfTile a)

Needed for Transformable instance of HalfTile - requires TypeFamilies

Defined in HalfTile

type V (HalfTile a) = V a

tileRep :: HalfTile rep -> rep

return the representation of a half-tile

isLD :: HalfTile rep -> Bool

half-tile predicate

isRD :: HalfTile rep -> Bool

half-tile predicate

isLK :: HalfTile rep -> Bool

half-tile predicate

isRK :: HalfTile rep -> Bool

half-tile predicate

isDart :: HalfTile rep -> Bool

half-tile predicate

isKite :: HalfTile rep -> Bool

half-tile predicate

type HalfTileLabel = HalfTile ()

By having () as the half tile representation we treat the constructors as just labels

tileLabel :: HalfTile a -> HalfTileLabel

convert a half tile to its label (HalfTileLabel can be compared for equality)

isMatched :: HalfTile rep1 -> HalfTile rep2 -> Bool

isMatched t1 t2 is True if t1 and t2 have the same HalfTileLabel (i.e. use the same constructor - both LD or both RD or both LK or both RK)