Data.HList.HList

A GADT HList implementation

There exist other implementations of HList on hackage, but none seem to be reliably maintained.

Documentation

data HList :: [Type] -> Type where

Constructors

HNil :: HList '[]

(:+:) :: x -> HList xs -> HList (x ': xs) infixr 5

Instances

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

Defined in Data.HList.HList

Methods

(==) :: HList (x ': xs) -> HList (x ': xs) -> Bool

(/=) :: HList (x ': xs) -> HList (x ': xs) -> Bool

Eq (HList ([] :: [Type]))

Defined in Data.HList.HList

Methods

(==) :: HList [] -> HList [] -> Bool

(/=) :: HList [] -> HList [] -> Bool

(Show a, Show (HList b)) => Show (HList (a ': b))

Defined in Data.HList.HList

Methods

showsPrec :: Int -> HList (a ': b) -> ShowS

show :: HList (a ': b) -> String

showList :: [HList (a ': b)] -> ShowS

Show (HList ([] :: [Type]))

Defined in Data.HList.HList

Methods

showsPrec :: Int -> HList [] -> ShowS

show :: HList [] -> String

showList :: [HList []] -> ShowS

(Semigroup x, Semigroup (HList xs)) => Semigroup (HList (x ': xs))

Defined in Data.HList.HList

Methods

(<>) :: HList (x ': xs) -> HList (x ': xs) -> HList (x ': xs)

sconcat :: NonEmpty (HList (x ': xs)) -> HList (x ': xs)

stimes :: Integral b => b -> HList (x ': xs) -> HList (x ': xs)

Semigroup (HList ([] :: [Type]))

Defined in Data.HList.HList

Methods

(<>) :: HList [] -> HList [] -> HList []

sconcat :: NonEmpty (HList []) -> HList []

stimes :: Integral b => b -> HList [] -> HList []

(Semigroup x, Monoid x, Semigroup (HList xs), Monoid (HList xs)) => Monoid (HList (x ': xs))

Defined in Data.HList.HList

Methods

mempty :: HList (x ': xs)

mappend :: HList (x ': xs) -> HList (x ': xs) -> HList (x ': xs)

mconcat :: [HList (x ': xs)] -> HList (x ': xs)

Monoid (HList ([] :: [Type]))

Defined in Data.HList.HList

Methods

mempty :: HList []

mappend :: HList [] -> HList [] -> HList []

mconcat :: [HList []] -> HList []

type family Append (l1 :: [Type]) (l2 :: [Type]) :: [Type]

Instances

type Append ([] :: [Type]) l2

Defined in Data.HList.HList

type Append ([] :: [Type]) l2 = l2

type Append (car1 ': cdr2) l2

Defined in Data.HList.HList

type Append (car1 ': cdr2) l2 = car1 ': Append cdr2 l2

hAppend :: HList ts1 -> HList ts2 -> HList (Append ts1 ts2)

class HInit (l1 :: [Type]) where

Methods

hInit :: forall l2. Proxy l2 -> HList (Append l1 l2) -> HList l1

hSplit :: forall l2. HList (Append l1 l2) -> (HList l1, HList l2)

Instances

HInit ([] :: [Type])

Defined in Data.HList.HList

Methods

hInit :: Proxy l2 -> HList (Append [] l2) -> HList []

hSplit :: HList (Append [] l2) -> (HList [], HList l2)

HInit l1 => HInit (x ': l1)

Defined in Data.HList.HList

Methods

hInit :: Proxy l2 -> HList (Append (x ': l1) l2) -> HList (x ': l1)

hSplit :: HList (Append (x ': l1) l2) -> (HList (x ': l1), HList l2)