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 * Semigroup xs => Semigroup (HVec xs)

Methods

(<>) :: HVec xs -> HVec xs -> HVec xs

sconcat :: NonEmpty (HVec xs) -> HVec xs

stimes :: Integral b => b -> HVec xs -> HVec xs

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) (v :: (HVecF xs -> *) -> *) :: [α]

Methods

inspectF :: v f -> TFun (HVecF xs) f (ElemsF (HVecF xs) v) a -> a

constructF :: TFun (HVecF xs) f (ElemsF (HVecF xs) v) (v 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