Data.Vector.HFixed.HVec

Heterogeneous vector parametric in its elements

Generic heterogeneous vector

data HVec xs

Generic heterogeneous vector

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