Numeric.LAPACK.Matrix.Extent

Documentation

class C tag where

Methods

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

Instances

C Small

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

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

C Big

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

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

data family Extent vertical horizontal :: * -> * -> *

Instances

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

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

(==) :: Extent vert horiz height width -> Extent vert horiz height width -> Bool

(/=) :: Extent vert horiz height width -> Extent vert horiz height width -> Bool

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

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

showsPrec :: Int -> Extent vert horiz height width -> ShowS

show :: Extent vert horiz height width -> String

showList :: [Extent vert horiz height width] -> ShowS

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

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

rnf :: Extent vertical horizontal height width -> ()

data Extent Small Small height width

Defined in Numeric.LAPACK.Matrix.Extent.Private

data Extent Small Small height width = height ~ width => Square {

• squareSize :: height

}

data Extent Small Big height width

Defined in Numeric.LAPACK.Matrix.Extent.Private

data Extent Small Big height width = Wide {

• wideHeight :: height
• wideWidth :: width

}

data Extent Big Small height width

Defined in Numeric.LAPACK.Matrix.Extent.Private

data Extent Big Small height width = Tall {

• tallHeight :: height
• tallWidth :: width

}

data Extent Big Big height width

Defined in Numeric.LAPACK.Matrix.Extent.Private

data Extent Big Big height width = General {

• generalHeight :: height
• generalWidth :: width

}

data Map vertA horizA vertB horizB height width

data Small

Instances

Eq Small

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

(==) :: Small -> Small -> Bool

(/=) :: Small -> Small -> Bool

Show Small

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

showsPrec :: Int -> Small -> ShowS

show :: Small -> String

showList :: [Small] -> ShowS

NFData Small

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

rnf :: Small -> ()

C Small

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

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

GeneralTallWide Small Big

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

switchTagGTW :: f Small Big -> f Big Small -> f Big Big -> f Small Big

GeneralTallWide Big Small

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

switchTagGTW :: f Small Big -> f Big Small -> f Big Big -> f Big Small

type Append Small b

Defined in Numeric.LAPACK.Matrix.Extent.Private

type Append Small b = Small

data Extent Small Small height width

Defined in Numeric.LAPACK.Matrix.Extent.Private

data Extent Small Small height width = height ~ width => Square {

• squareSize :: height

}

data Extent Small Big height width

Defined in Numeric.LAPACK.Matrix.Extent.Private

data Extent Small Big height width = Wide {

• wideHeight :: height
• wideWidth :: width

}

data Extent Big Small height width

Defined in Numeric.LAPACK.Matrix.Extent.Private

data Extent Big Small height width = Tall {

• tallHeight :: height
• tallWidth :: width

}

data Big

Instances

Eq Big

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

(==) :: Big -> Big -> Bool

(/=) :: Big -> Big -> Bool

Show Big

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

showsPrec :: Int -> Big -> ShowS

show :: Big -> String

showList :: [Big] -> ShowS

NFData Big

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

rnf :: Big -> ()

C Big

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

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

GeneralTallWide Small Big

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

switchTagGTW :: f Small Big -> f Big Small -> f Big Big -> f Small Big

GeneralTallWide Big Small

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

switchTagGTW :: f Small Big -> f Big Small -> f Big Big -> f Big Small

GeneralTallWide Big Big

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

switchTagGTW :: f Small Big -> f Big Small -> f Big Big -> f Big Big

type Append Big b

Defined in Numeric.LAPACK.Matrix.Extent.Private

type Append Big b = b

data Extent Small Big height width

Defined in Numeric.LAPACK.Matrix.Extent.Private

data Extent Small Big height width = Wide {

• wideHeight :: height
• wideWidth :: width

}

data Extent Big Small height width

Defined in Numeric.LAPACK.Matrix.Extent.Private

data Extent Big Small height width = Tall {

• tallHeight :: height
• tallWidth :: width

}

data Extent Big Big height width

Defined in Numeric.LAPACK.Matrix.Extent.Private

data Extent Big Big height width = General {

• generalHeight :: height
• generalWidth :: width

}

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

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

squareSize :: Extent Small Small height width -> height

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

Minimal complete definition

switchTagGTW

Instances

GeneralTallWide Small Big

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

switchTagGTW :: f Small Big -> f Big Small -> f Big Big -> f Small Big

GeneralTallWide Big Small

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

switchTagGTW :: f Small Big -> f Big Small -> f Big Big -> f Big Small

GeneralTallWide Big Big

Defined in Numeric.LAPACK.Matrix.Extent.Private

Methods

switchTagGTW :: f Small Big -> f Big Small -> f Big Big -> f 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

Instances

type Append Small b

Defined in Numeric.LAPACK.Matrix.Extent.Private

type Append Small b = Small

type Append Big b

Defined in Numeric.LAPACK.Matrix.Extent.Private

type Append Big b = b

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