Data.Vector.Heterogenous.HList

Heterogenous List

data HList where

The heterogenous list

Constructors

HNil :: HList `[]`

::: :: t -> HList ts -> HList (t : ts)

Instances

(Eq x, Eq (HList xs)) => Eq (HList (: * x xs))

Eq (HList ([] *))

(Ord x, Ord (HList xs)) => Ord (HList (: * x xs))

Ord (HList ([] *))

(Show x, Show (HList xs)) => Show (HList (: * x xs))

Show (HList ([] *))

(Monoid x, Monoid (HList xs)) => Monoid (HList (: * x xs))

Monoid (HList ([] *))

HLength (HList xs) => HLength (HList (: * x xs))

HLength (HList ([] *))

(ConstraintBox box x, Downcast (HList xs) box) => Downcast (HList (: * x xs)) box

Downcast (HList ([] *)) a

class HLength xs where

Used only for the HList class to determine its length

Methods

hlength :: xs -> Int

Instances

HLength (HList xs) => HLength (HList (: * x xs))

HLength (HList ([] *))

Downcasting

class ConstraintBox box a where

Methods

box :: a -> box

unsafeUnbox :: box -> a

Instances

Show a => ConstraintBox ShowBox a

class Downcast h box where

Methods

downcast :: h -> [box]

downcastAs :: (a -> box) -> h -> [box]

Instances

(ConstraintBox box x, Downcast (HList xs) box) => Downcast (HList (: * x xs)) box

Downcast (HList ([] *)) a

Boxes

data ShowBox

Use this box unless you know for certain that your types won't have a show instance.

Instances

Show ShowBox

Show a => ConstraintBox ShowBox a

data AnyBox

Most generic box, can be used on any type.

Type functions

Type Lists

type family Distribute xs t :: [b]

type family Replicate x n :: [a]

type family Map f xs :: [a]

type family Reverse xs :: [a]

type family xs :! i :: a

Type Nats

data Nat1

Constructors

Zero

Succ Nat1

type family ToNat1 n :: Nat1

type family FromNat1 n :: Nat