Math.Tensor.Safe.Vector

Description

Length-typed vector.

Documentation

data Vec :: N -> Type -> Type where Source #

Constructors

VNil :: Vec 'Z a
VCons :: a -> Vec n a -> Vec ('S n) a

Instances details

Eq a => Eq (Vec n a) Source #
Instance details Defined in Math.Tensor.Safe.Vector Methods (==) :: Vec n a -> Vec n a -> Bool # (/=) :: Vec n a -> Vec n a -> Bool #
Ord a => Ord (Vec n a) Source #
Instance details Defined in Math.Tensor.Safe.Vector Methods compare :: Vec n a -> Vec n a -> Ordering # (<) :: Vec n a -> Vec n a -> Bool # (<=) :: Vec n a -> Vec n a -> Bool # (>) :: Vec n a -> Vec n a -> Bool # (>=) :: Vec n a -> Vec n a -> Bool # max :: Vec n a -> Vec n a -> Vec n a # min :: Vec n a -> Vec n a -> Vec n a #
Show a => Show (Vec n a) Source #
Instance details Defined in Math.Tensor.Safe.Vector Methods showsPrec :: Int -> Vec n a -> ShowS # show :: Vec n a -> String # showList :: [Vec n a] -> ShowS #
NFData a => NFData (Vec n a) Source #
Instance details Defined in Math.Tensor.Safe.Vector Methods rnf :: Vec n a -> () #

vecFromListUnsafe :: forall (n :: N) a. Sing n -> [a] -> Vec n a Source #