Safe Haskell | None |
---|---|
Language | Haskell2010 |
Heterogeneous vector parametric in its elements
Generic heterogeneous vector
data HVec (xs :: [*]) Source #
Generic heterogeneous vector
Instances
ArityC Eq xs => Eq (HVec xs) Source # | |
(ArityC Ord xs, ArityC Eq xs) => Ord (HVec xs) Source # | |
ArityC Show xs => Show (HVec xs) Source # | |
ArityC Semigroup xs => Semigroup (HVec xs) Source # | |
(ArityC Monoid xs, ArityC Semigroup xs) => Monoid (HVec xs) Source # | |
ArityC NFData xs => NFData (HVec xs) Source # | |
Defined in Data.Vector.HFixed.HVec | |
Arity xs => HVector (HVec xs) Source # | |
type Elems (HVec xs) Source # | |
Defined in Data.Vector.HFixed.HVec |
data HVecF (xs :: [*]) (f :: * -> *) Source #
Heterogeneous vector parametrized by common type constructor.
Instances
Arity xs => HVectorF (HVecF xs :: (Type -> Type) -> Type) Source # | |
(Eq1 f, ArityC Eq xs) => Eq (HVecF xs f) Source # | |
(Ord1 f, ArityC Eq xs, ArityC Ord xs) => Ord (HVecF xs f) Source # | |
(Show1 f, ArityC Show xs) => Show (HVecF xs f) Source # | |
type ElemsF (HVecF xs :: (Type -> Type) -> Type) Source # | |