extensible-0.2.7: Extensible, efficient, lens-friendly data types
Data.Extensible.Internal.HList
data HList h s where Source
Constructors
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