Safe Haskell | None |
---|
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 |