extensible-0.2.10: Extensible, efficient, lens-friendly data types

Safe HaskellNone
LanguageHaskell2010

Data.Extensible.Internal.HList

Documentation

data HList h s where Source

Constructors

HNil :: HList h [] 
HCons :: h x -> HList h xs -> HList h (x : xs) infixr 5 

merge :: HList h xs -> HList h ys -> HList h (Merge xs ys) Source

split :: forall h xs. HList h xs -> (HList h (Half xs), HList h (Half (Tail xs))) Source