Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data MVector :: * -> * -> * where
- data Vector :: * -> * where
- class (MVector (Mutable (DefaultVector t)) t, Vector (DefaultVector t) t) => HasDefaultVector t where
- type DefaultVector t :: * -> *
Documentation
class (MVector (Mutable (DefaultVector t)) t, Vector (DefaultVector t) t) => HasDefaultVector t Source
The most efficient vector type for each column data type.
type DefaultVector t :: * -> * Source