Safe Haskell	None
Language	Haskell2010

Haskus.Utils.HList

Description

Heterogeneous list

Synopsis

data family HList (l :: [*])
hHead :: HList (e ': l) -> e
hTail :: HList (e ': l) -> HList l
hLength :: forall xs. KnownNat (Length xs) => HList xs -> Word
hAppend :: HAppendList l1 l2 => HList l1 -> HList l2 -> HList (Concat l1 l2)
class HFoldr' f v (l :: [*]) r where
- hFoldr' :: f -> v -> HList l -> r
class HFoldl' f (z :: *) xs (r :: *) where
- hFoldl' :: f -> z -> HList xs -> r
class HTuple v where
- hToTuple :: HList v -> Tuple v
- hFromTuple :: Tuple v -> HList v
class Apply f a b where
- apply :: f -> a -> b
class HZipList x y l | x y -> l, l -> x y
hZipList :: HZipList x y l => HList x -> HList y -> HList l
class HFoldr f v (l :: [*]) r
hFoldr :: HFoldr f v l r => f -> v -> HList l -> r
class HFoldl f (z :: *) xs (r :: *)
hFoldl :: HFoldl f z xs r => f -> z -> HList xs -> r
class HReverse xs sx | xs -> sx, sx -> xs where
- hReverse :: HList xs -> HList sx

Documentation

data family HList (l :: [*]) infixr 2 Source #

Heterogeneous list

Instances

(Eq x, Eq (HList xs)) => Eq (HList (x ': xs)) Source #
Instance details Defined in Haskus.Utils.HList Methods (==) :: HList (x ': xs) -> HList (x ': xs) -> Bool # (/=) :: HList (x ': xs) -> HList (x ': xs) -> Bool #
Eq (HList ([] :: [Type])) Source #
Instance details Defined in Haskus.Utils.HList Methods (==) :: HList [] -> HList [] -> Bool # (/=) :: HList [] -> HList [] -> Bool #
(Ord x, Ord (HList xs)) => Ord (HList (x ': xs)) Source #
Instance details Defined in Haskus.Utils.HList Methods compare :: HList (x ': xs) -> HList (x ': xs) -> Ordering # (<) :: HList (x ': xs) -> HList (x ': xs) -> Bool # (<=) :: HList (x ': xs) -> HList (x ': xs) -> Bool # (>) :: HList (x ': xs) -> HList (x ': xs) -> Bool # (>=) :: HList (x ': xs) -> HList (x ': xs) -> Bool # max :: HList (x ': xs) -> HList (x ': xs) -> HList (x ': xs) # min :: HList (x ': xs) -> HList (x ': xs) -> HList (x ': xs) #
Ord (HList ([] :: [Type])) Source #
Instance details Defined in Haskus.Utils.HList Methods compare :: HList [] -> HList [] -> Ordering # (<) :: HList [] -> HList [] -> Bool # (<=) :: HList [] -> HList [] -> Bool # (>) :: HList [] -> HList [] -> Bool # (>=) :: HList [] -> HList [] -> Bool # max :: HList [] -> HList [] -> HList [] # min :: HList [] -> HList [] -> HList [] #
(Show e, Show (HList l)) => Show (HList (e ': l)) Source #
Instance details Defined in Haskus.Utils.HList Methods showsPrec :: Int -> HList (e ': l) -> ShowS # show :: HList (e ': l) -> String # showList :: [HList (e ': l)] -> ShowS #
Show (HList ([] :: [Type])) Source #
Instance details Defined in Haskus.Utils.HList Methods showsPrec :: Int -> HList [] -> ShowS # show :: HList [] -> String # showList :: [HList []] -> ShowS #
data HList ([] :: [Type]) Source #
Instance details Defined in Haskus.Utils.HList data HList ([] :: [Type]) = HNil
data HList (x ': xs) Source #
Instance details Defined in Haskus.Utils.HList data HList (x ': xs) = x `HCons` (HList xs)

hHead :: HList (e ': l) -> e Source #

Head

hTail :: HList (e ': l) -> HList l Source #

Tail

hLength :: forall xs. KnownNat (Length xs) => HList xs -> Word Source #

Length

hAppend :: HAppendList l1 l2 => HList l1 -> HList l2 -> HList (Concat l1 l2) Source #

class HFoldr' f v (l :: [*]) r where Source #

Like HFoldr but only use types, not values!

It allows us to foldr over a list of types, without any associated hlist of values.

Methods

hFoldr' :: f -> v -> HList l -> r Source #

Instances

v ~ v' => HFoldr' f v ([] :: [Type]) v' Source #
Instance details Defined in Haskus.Utils.HList Methods hFoldr' :: f -> v -> HList [] -> v' Source #
(Apply f (e, r) r', HFoldr' f v l r) => HFoldr' f v (e ': l) r' Source #
Instance details Defined in Haskus.Utils.HList Methods hFoldr' :: f -> v -> HList (e ': l) -> r' Source #

class HFoldl' f (z :: *) xs (r :: *) where Source #

Like HFoldl but only use types, not values!

It allows us to foldl over a list of types, without any associated hlist of values.

Methods

hFoldl' :: f -> z -> HList xs -> r Source #

Instances

z ~ z' => HFoldl' f z ([] :: [Type]) z' Source #
Instance details Defined in Haskus.Utils.HList Methods hFoldl' :: f -> z -> HList [] -> z' Source #
(zx ~ (z, x), Apply f zx z', HFoldl' f z' xs r) => HFoldl' f z (x ': xs) r Source #
Instance details Defined in Haskus.Utils.HList Methods hFoldl' :: f -> z -> HList (x ': xs) -> r Source #

class HTuple v where Source #

Convert between hlists and tuples

Methods

hToTuple :: HList v -> Tuple v Source #

Convert an heterogeneous list into a tuple

hFromTuple :: Tuple v -> HList v Source #

Convert a tuple into an heterogeneous list

Instances

HTuple ([] :: [Type]) Source #
Instance details Defined in Haskus.Utils.HList Methods hToTuple :: HList [] -> Tuple [] Source # hFromTuple :: Tuple [] -> HList [] Source #
HTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': ([] :: [Type]))))))))))))) Source #
Instance details Defined in Haskus.Utils.HList Methods hToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': [])))))))))))) -> Tuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': [])))))))))))) Source # hFromTuple :: Tuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': [])))))))))))) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': [])))))))))))) Source #
HTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': ([] :: [Type])))))))))))) Source #
Instance details Defined in Haskus.Utils.HList Methods hToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': []))))))))))) -> Tuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': []))))))))))) Source # hFromTuple :: Tuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': []))))))))))) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': []))))))))))) Source #
HTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': ([] :: [Type]))))))))))) Source #
Instance details Defined in Haskus.Utils.HList Methods hToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': [])))))))))) -> Tuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': [])))))))))) Source # hFromTuple :: Tuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': [])))))))))) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': [])))))))))) Source #
HTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': ([] :: [Type])))))))))) Source #
Instance details Defined in Haskus.Utils.HList Methods hToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': []))))))))) -> Tuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': []))))))))) Source # hFromTuple :: Tuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': []))))))))) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': []))))))))) Source #
HTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': ([] :: [Type]))))))))) Source #
Instance details Defined in Haskus.Utils.HList Methods hToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': [])))))))) -> Tuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': [])))))))) Source # hFromTuple :: Tuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': [])))))))) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': [])))))))) Source #
HTuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': ([] :: [Type])))))))) Source #
Instance details Defined in Haskus.Utils.HList Methods hToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': []))))))) -> Tuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': []))))))) Source # hFromTuple :: Tuple (a ': (b ': (c ': (d ': (e ': (f ': (g ': []))))))) -> HList (a ': (b ': (c ': (d ': (e ': (f ': (g ': []))))))) Source #
HTuple (a ': (b ': (c ': (d ': (e ': (f ': ([] :: [Type]))))))) Source #
Instance details Defined in Haskus.Utils.HList Methods hToTuple :: HList (a ': (b ': (c ': (d ': (e ': (f ': [])))))) -> Tuple (a ': (b ': (c ': (d ': (e ': (f ': [])))))) Source # hFromTuple :: Tuple (a ': (b ': (c ': (d ': (e ': (f ': [])))))) -> HList (a ': (b ': (c ': (d ': (e ': (f ': [])))))) Source #
HTuple (a ': (b ': (c ': (d ': (e ': ([] :: [Type])))))) Source #
Instance details Defined in Haskus.Utils.HList Methods hToTuple :: HList (a ': (b ': (c ': (d ': (e ': []))))) -> Tuple (a ': (b ': (c ': (d ': (e ': []))))) Source # hFromTuple :: Tuple (a ': (b ': (c ': (d ': (e ': []))))) -> HList (a ': (b ': (c ': (d ': (e ': []))))) Source #
HTuple (a ': (b ': (c ': (d ': ([] :: [Type]))))) Source #
Instance details Defined in Haskus.Utils.HList Methods hToTuple :: HList (a ': (b ': (c ': (d ': [])))) -> Tuple (a ': (b ': (c ': (d ': [])))) Source # hFromTuple :: Tuple (a ': (b ': (c ': (d ': [])))) -> HList (a ': (b ': (c ': (d ': [])))) Source #
HTuple (a ': (b ': (c ': ([] :: [Type])))) Source #
Instance details Defined in Haskus.Utils.HList Methods hToTuple :: HList (a ': (b ': (c ': []))) -> Tuple (a ': (b ': (c ': []))) Source # hFromTuple :: Tuple (a ': (b ': (c ': []))) -> HList (a ': (b ': (c ': []))) Source #
HTuple (a ': (b ': ([] :: [Type]))) Source #
Instance details Defined in Haskus.Utils.HList Methods hToTuple :: HList (a ': (b ': [])) -> Tuple (a ': (b ': [])) Source # hFromTuple :: Tuple (a ': (b ': [])) -> HList (a ': (b ': [])) Source #
HTuple (a ': ([] :: [Type])) Source #
Instance details Defined in Haskus.Utils.HList Methods hToTuple :: HList (a ': []) -> Tuple (a ': []) Source # hFromTuple :: Tuple (a ': []) -> HList (a ': []) Source #

class Apply f a b where Source #

Apply the function identified by the data type f from type a to type b.

Methods

apply :: f -> a -> b Source #

class HZipList x y l | x y -> l, l -> x y Source #

Minimal complete definition

hZipList, hUnzipList

Instances

HZipList ([] :: [Type]) ([] :: [Type]) ([] :: [Type]) Source #
Instance details Defined in Haskus.Utils.HList Methods hZipList :: HList [] -> HList [] -> HList [] Source # hUnzipList :: HList [] -> (HList [], HList [])
((x, y) ~ z, HZipList xs ys zs) => HZipList (x ': xs) (y ': ys) (z ': zs) Source #
Instance details Defined in Haskus.Utils.HList Methods hZipList :: HList (x ': xs) -> HList (y ': ys) -> HList (z ': zs) Source # hUnzipList :: HList (z ': zs) -> (HList (x ': xs), HList (y ': ys))

hZipList :: HZipList x y l => HList x -> HList y -> HList l Source #

class HFoldr f v (l :: [*]) r Source #

Minimal complete definition

hFoldr

Instances

v ~ v' => HFoldr f v ([] :: [Type]) v' Source #
Instance details Defined in Haskus.Utils.HList Methods hFoldr :: f -> v -> HList [] -> v' Source #
(Apply f (e, r) r', HFoldr f v l r) => HFoldr f v (e ': l) r' Source #
Instance details Defined in Haskus.Utils.HList Methods hFoldr :: f -> v -> HList (e ': l) -> r' Source #

hFoldr :: HFoldr f v l r => f -> v -> HList l -> r Source #

class HFoldl f (z :: *) xs (r :: *) Source #

Minimal complete definition

hFoldl

Instances

z ~ z' => HFoldl f z ([] :: [Type]) z' Source #
Instance details Defined in Haskus.Utils.HList Methods hFoldl :: f -> z -> HList [] -> z' Source #
(zx ~ (z, x), Apply f zx z', HFoldl f z' xs r) => HFoldl f z (x ': xs) r Source #
Instance details Defined in Haskus.Utils.HList Methods hFoldl :: f -> z -> HList (x ': xs) -> r Source #

hFoldl :: HFoldl f z xs r => f -> z -> HList xs -> r Source #

class HReverse xs sx | xs -> sx, sx -> xs where Source #

Methods

hReverse :: HList xs -> HList sx Source #

Instances

(HRevApp xs ([] :: [Type]) sx, HRevApp sx ([] :: [Type]) xs) => HReverse xs sx Source #
Instance details Defined in Haskus.Utils.HList Methods hReverse :: HList xs -> HList sx Source #