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