Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
Partially heterogeneous vector which can hold elements of any type.
Arity xs => HVectorF (HVecF xs) | |
(Arity xs, ArityC Eq (Wrap * * f xs)) => Eq (HVecF xs f) | |
(Arity xs, ArityC Eq (Wrap * * f xs), ArityC Ord (Wrap * * f xs)) => Ord (HVecF xs f) | |
(Arity xs, ArityC NFData (Wrap * * f xs)) => NFData (HVecF xs f) | |
(Arity (Wrap * * f xs), Arity xs) => HVector (HVecF xs f) | It's not possible to remove constrain |
type ElemsF (HVecF xs) = xs | |
type Elems (HVecF xs f) = Wrap * * f xs |