HList-0.1.1: Heterogeneous lists Source code Contents Index

Data.HList.GhcExperiments

Documentation

class HDeleteMany e l l' | e l -> l' where Source

Methods hDeleteMany :: Proxy e -> l -> l' Source Instances HDeleteMany e HNil HNil (HList l, HDeleteMany e l l', TypeCast (HCons e' l') l'') => HDeleteMany e (HCons e' l) l'' (HList l, HDeleteMany e l l') => HDeleteMany e (HCons e l) l'

class IsTC1 x f b | x f -> b Source

class IsTC2 x f b | x f -> b Source

funType :: IsTC2 t (->) b => t -> b Source

Produced by Haddock version 2.4.2