Safe Haskell	None
Language	Haskell98

Numeric.LAPACK.ShapeStatic

Synopsis

newtype ZeroBased n = ZeroBased {
- zeroBasedSize :: UnaryProxy n
}
vector :: (Natural n, Storable a) => T n a -> Array (ZeroBased n) a

Documentation

newtype ZeroBased n Source #

ZeroBased denotes a range starting at zero and has a certain length.

Constructors

ZeroBased
Fields zeroBasedSize :: UnaryProxy n

Instances

Eq (ZeroBased n) Source #
Instance details Defined in Numeric.LAPACK.ShapeStatic Methods (==) :: ZeroBased n -> ZeroBased n -> Bool # (/=) :: ZeroBased n -> ZeroBased n -> Bool #
Natural n => Show (ZeroBased n) Source #
Instance details Defined in Numeric.LAPACK.ShapeStatic Methods showsPrec :: Int -> ZeroBased n -> ShowS # show :: ZeroBased n -> String # showList :: [ZeroBased n] -> ShowS #
Natural n => C (ZeroBased n) Source #
Instance details Defined in Numeric.LAPACK.ShapeStatic Methods size :: ZeroBased n -> Int # uncheckedSize :: ZeroBased n -> Int #
Natural n => Indexed (ZeroBased n) Source #
Instance details Defined in Numeric.LAPACK.ShapeStatic Associated Types type Index (ZeroBased n) :: Type # Methods indices :: ZeroBased n -> [Index (ZeroBased n)] # offset :: ZeroBased n -> Index (ZeroBased n) -> Int # uncheckedOffset :: ZeroBased n -> Index (ZeroBased n) -> Int # inBounds :: ZeroBased n -> Index (ZeroBased n) -> Bool # sizeOffset :: ZeroBased n -> (Int, Index (ZeroBased n) -> Int) # uncheckedSizeOffset :: ZeroBased n -> (Int, Index (ZeroBased n) -> Int) #
Natural n => InvIndexed (ZeroBased n) Source #
Instance details Defined in Numeric.LAPACK.ShapeStatic Methods indexFromOffset :: ZeroBased n -> Int -> Index (ZeroBased n) # uncheckedIndexFromOffset :: ZeroBased n -> Int -> Index (ZeroBased n) #
Natural n => Static (ZeroBased n) Source #
Instance details Defined in Numeric.LAPACK.ShapeStatic Methods static :: ZeroBased n #
type Index (ZeroBased n) Source #
Instance details Defined in Numeric.LAPACK.ShapeStatic type Index (ZeroBased n) = Index n

vector :: (Natural n, Storable a) => T n a -> Array (ZeroBased n) a Source #