Control.Imperative.Vector.Static

Types

data Vector m n a

type MonadVector m

type VectorElem a

type family VectorEntity a :: * -> * -> *

class HasVector s v m

type family NestedList n a

data Size n

data Dim n

Operations