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

HList2List (HList xs) a => HList2List (HList (: * a xs)) a

HList2List (HList ([] *)) a

HTake1 (Nat1Box n) (HList xs1) (HList xs2) => HTake1 (Nat1Box (Succ n)) (HList (: * x xs1)) (HList (: * x xs2))

HTake1 (Nat1Box Zero) (HList xs1) (HList ([] *))

HDrop1 (Nat1Box n) (HList xs1) (HList xs2) => HDrop1 (Nat1Box (Succ n)) (HList (: * x xs1)) (HList xs2)

HDrop1 (Nat1Box Zero) (HList xs1) (HList xs1)

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 ([] *))

class List2HList x xs where

For construction from lists

Methods

list2hlist :: [x] -> HList (x : xs)

Instances

List2HList x ([] *)

List2HList x xs => List2HList x (: * x xs)

class HList2List xs a | xs -> a where

For converting into a list

Methods

hlist2list :: xs -> [a]

Instances

HList2List (HList xs) a => HList2List (HList (: * a xs)) a

HList2List (HList ([] *)) a

class HTake1 n xs1 xs2 | n xs1 -> xs2 where

Equivalent to prelude's take

Methods

htake1 :: n -> xs1 -> xs2

Instances

HTake1 (Nat1Box n) (HList xs1) (HList xs2) => HTake1 (Nat1Box (Succ n)) (HList (: * x xs1)) (HList (: * x xs2))

HTake1 (Nat1Box Zero) (HList xs1) (HList ([] *))

class HDrop1 n xs1 xs2 | n xs1 -> xs2 where

Equivalent to prelude's drop

Methods

hdrop1 :: n -> xs1 -> xs2

Instances

HDrop1 (Nat1Box n) (HList xs1) (HList xs2) => HDrop1 (Nat1Box (Succ n)) (HList (: * x xs1)) (HList xs2)

HDrop1 (Nat1Box Zero) (HList xs1) (HList xs1)

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.

Constructors

forall a . Show a => ShowBox !a

Instances

Show ShowBox

Show a => ConstraintBox ShowBox a

data AnyBox

Most generic box, can be used on any type.

Constructors

forall a . AnyBox !a

Type functions

HList

type family HCons x xs :: *

type family UnHList xs :: [a]

type family HAppend xs ys :: *

Type Lists

type family Distribute xs t :: [b]

type family Replicate n x :: [a]

type family Map f xs :: [a]

type family Reverse xs :: [a]

type family xs :! i :: a

type family Index xs i :: a

type family xs (++) ys :: [a]

type family f ($) a :: b

type family Concat xs :: [a]

type family Length xs :: Nat

type family Length1 xs :: Nat1

Type Nats

data Nat1

Constructors

Zero

Succ Nat1

data Nat1Box n

Constructors

Nat1Box

Instances

HTake1 (Nat1Box n) (HList xs1) (HList xs2) => HTake1 (Nat1Box (Succ n)) (HList (: * x xs1)) (HList (: * x xs2))

HTake1 (Nat1Box Zero) (HList xs1) (HList ([] *))

HDrop1 (Nat1Box n) (HList xs1) (HList xs2) => HDrop1 (Nat1Box (Succ n)) (HList (: * x xs1)) (HList xs2)

HDrop1 (Nat1Box Zero) (HList xs1) (HList xs1)

type family ToNat1 n :: Nat1

type family FromNat1 n :: Nat