Numeric.LAPACK.Matrix.Extent

Documentation

class C tag where

Methods

switchTag :: f Small -> f Big -> f tag

Instances

C Small

C Big

data Extent vertical horizontal height width

Instances

(C vert, C horiz, Eq height, Eq width) => Eq (Extent vert horiz height width)

(C vert, C horiz, Show height, Show width) => Show (Extent vert horiz height width)

(C vertical, C horizontal, NFData height, NFData width) => NFData (Extent vertical horizontal height width)

data Map vertA horizA vertB horizB height width

data Small

Instances

Eq Small

Show Small

NFData Small

C Small

GeneralTallWide Small Big

GeneralTallWide Big Small

data Big

Instances

Eq Big

Show Big

NFData Big

C Big

GeneralTallWide Small Big

GeneralTallWide Big Small

GeneralTallWide Big Big

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

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

squareSize :: Square sh -> sh

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

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

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

square :: sh -> Square sh

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

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

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

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

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

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

Instances

GeneralTallWide Small Big

GeneralTallWide Big Small

GeneralTallWide Big Big

data AppendMode vertA vertB vertC height widthA widthB

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

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

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

type family Append a b

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