Safe Haskell	None
Language	Haskell98

Data.Vector.HFixed.HVec

Contents

Description

Heterogeneous vector parametric in its elements

Synopsis

Generic heterogeneous vector

data HVec (xs :: [*]) #

Instances

ArityC Eq xs => Eq (HVec xs) #
Methods (==) :: HVec xs -> HVec xs -> Bool # (/=) :: HVec xs -> HVec xs -> Bool #
(ArityC Ord xs, ArityC Eq xs) => Ord (HVec xs) #
Methods compare :: HVec xs -> HVec xs -> Ordering # (<) :: HVec xs -> HVec xs -> Bool # (<=) :: HVec xs -> HVec xs -> Bool # (>) :: HVec xs -> HVec xs -> Bool # (>=) :: HVec xs -> HVec xs -> Bool # max :: HVec xs -> HVec xs -> HVec xs # min :: HVec xs -> HVec xs -> HVec xs #
ArityC Show xs => Show (HVec xs) #
Methods showsPrec :: Int -> HVec xs -> ShowS # show :: HVec xs -> String # showList :: [HVec xs] -> ShowS #
ArityC Monoid xs => Monoid (HVec xs) #
Methods mempty :: HVec xs # mappend :: HVec xs -> HVec xs -> HVec xs # mconcat :: [HVec xs] -> HVec xs #
ArityC NFData xs => NFData (HVec xs) #
Methods rnf :: HVec xs -> () #
Arity xs => HVector (HVec xs) #
Associated Types type Elems (HVec xs) :: [*] # Methods construct :: Fun (Elems (HVec xs)) (HVec xs) # inspect :: HVec xs -> Fun (Elems (HVec xs)) a -> a #
type Elems (HVec xs) #
type Elems (HVec xs) = xs

data HVecF (xs :: [*]) (f :: * -> *) #

Heterogeneous vector parametrized by common type constructor.

Instances

Arity xs => HVectorF (HVecF xs) #
Associated Types type ElemsF (HVecF xs :: (* -> ) -> ) :: [*] # Methods inspectF :: HVecF xs f -> TFun f (ElemsF (HVecF xs)) a -> a # constructF :: TFun f (ElemsF (HVecF xs)) (HVecF xs f) #
(Eq1 f, ArityC Eq xs) => Eq (HVecF xs f) #
Methods (==) :: HVecF xs f -> HVecF xs f -> Bool # (/=) :: HVecF xs f -> HVecF xs f -> Bool #
(Ord1 f, ArityC Eq xs, ArityC Ord xs) => Ord (HVecF xs f) #
Methods compare :: HVecF xs f -> HVecF xs f -> Ordering # (<) :: HVecF xs f -> HVecF xs f -> Bool # (<=) :: HVecF xs f -> HVecF xs f -> Bool # (>) :: HVecF xs f -> HVecF xs f -> Bool # (>=) :: HVecF xs f -> HVecF xs f -> Bool # max :: HVecF xs f -> HVecF xs f -> HVecF xs f # min :: HVecF xs f -> HVecF xs f -> HVecF xs f #
(Show1 f, ArityC Show xs) => Show (HVecF xs f) #
Methods showsPrec :: Int -> HVecF xs f -> ShowS # show :: HVecF xs f -> String # showList :: [HVecF xs f] -> ShowS #
type ElemsF (HVecF xs) #
type ElemsF (HVecF xs) = xs