Data.Invertible.HList

Bidirectional version of Data.HList.HList.

Documentation

hCons :: (a, HList l) <-> HList (a : l)

(De)construct an list from a head and tail.

hReverse :: (HReverse a b, HReverse b a) => HList a <-> HList b

hReverse the order of a list.

hReverse_ :: (HRevApp a `[]` b, HRevApp b `[]` a) => HList a <-> HList b

hReverse_ the order of a list.

hAppend :: (HAppendList a b, HSplitAt n (HAppendListR a b) a b) => (HList a, HList b) <-> HList (HAppendListR a b)

hAppend (concatenate) or split two lists.

hZip :: HZipList a b l => (HList a, HList b) <-> HList l

hZip two lists together.