Documentation

data HNil Source

data HCons e l Source

class HList l Source

hNil :: HNilSource

hCons :: HList l => e -> l -> HCons e lSource

class HHead l h | l -> h whereSource

class HTail l l' | l -> l' whereSource

class HExtend e l l' | e l -> l', l' -> e l whereSource

append :: [a] -> [a] -> [a]Source

class HAppend l l' l'' | l l' -> l'' whereSource

class HReverse l1 l2 | l1 -> l2, l2 -> l1 whereSource

class HReverse' l1 l2 l3 | l1 l2 -> l3 whereSource

class NaiveHReverse l l' | l -> l' whereSource

hEnd :: HCons t t1 -> HCons t t1Source

hBuild :: HBuild' HNil a r => a -> rSource

class HBuild' l a r | r -> a l whereSource

class Apply f a r | f a -> r whereSource

data Id Source

class HList l => HFoldr f v l r | f v l -> r whereSource

class HMap f l l' | f l -> l' whereSource

class HMapOut f r e whereSource

hMapM :: (Monad m, HMapOut f l (m e)) => f -> l -> [m e]Source

hMapM_ :: (Monad m, HMapOut f l (m ())) => f -> l -> m ()Source

append' :: [a] -> [a] -> [a]Source

hAppend' :: HFoldr ApplyHCons v l r => l -> v -> rSource

data ApplyHCons Source

data HMap' f Source

hMap' :: HFoldr (HMap' f) HNil l r => f -> l -> rSource

data HShow Source

data HSeq x Source

class HStagedEq' b e e' whereSource

class HList l => HNats l Source

class HSet l Source

class HNat n => HFind e l n | e l -> n whereSource

class HNat n => HFind' b e l n | b e l -> n whereSource

class HBool b => HMember e l b | e l -> bSource

hMember :: HMember e l b => e -> l -> bSource

class HMemberM e l r | e l -> rSource

class HMemberM' b e l r | b e l -> rSource

class HBool b => HTMember e l b | e l -> bSource

hTMember :: HTMember e l b => e -> l -> bSource

class HTIntersect l1 l2 l3 | l1 l2 -> l3 whereSource

class HBool b => HTIntersectBool b h t l1 l2 | b h t l1 -> l2 whereSource

class HList2List l e whereSource

class ToHJust l l' | l -> l' whereSource

class FromHJust l l' | l -> l' whereSource

data HAddTag t Source

data HRmTag Source

hAddTag :: HMap (HAddTag t) l l' => t -> l -> l'Source

hRmTag :: HMap HRmTag l l' => l -> l'Source

hFlag :: HMap (HAddTag HTrue) l l' => l -> l'Source

class HSplit l l' l'' | l -> l' l'' whereSource