Documentation

class C tag whereSource

data Extent vertical horizontal height width Source

data Map vertA horizA vertB horizB height width Source

data Small Source

data Big Source

height :: (C vert, C horiz) => Extent vert horiz height width -> heightSource

width :: (C vert, C horiz) => Extent vert horiz height width -> widthSource

squareSize :: Square sh -> shSource

dimensions :: (C vert, C horiz) => Extent vert horiz height width -> (height, width)Source

transpose :: (C vert, C horiz) => Extent vert horiz height width -> Extent horiz vert width heightSource

fuse :: (C vert, C horiz, Eq fuse) => Extent vert horiz height fuse -> Extent vert horiz fuse width -> Maybe (Extent vert horiz height width)Source

square :: sh -> Square shSource

toGeneral :: (C vert, C horiz) => Map vert horiz Big Big height widthSource

fromSquare :: (C vert, C horiz) => Map Small Small vert horiz size sizeSource

fromSquareLiberal :: (C vert, C horiz) => Map Small Small vert horiz height widthSource

generalizeTall :: (C vert, C horiz) => Map vert Small vert horiz height widthSource

generalizeWide :: (C vert, C horiz) => Map Small horiz vert horiz height widthSource

class (C vert, C horiz) => GeneralTallWide vert horiz Source

data AppendMode vertA vertB vertC height widthA widthB Source

appendSame :: C vert => AppendMode vert vert vert height widthA widthBSource

appendLeft :: C vert => AppendMode vert Big vert height widthA widthBSource

appendRight :: C vert => AppendMode Big vert vert height widthA widthBSource

type family Append a b Source

appendAny :: (C vertA, C vertB) => AppendMode vertA vertB (Append vertA vertB) height widthA widthBSource