Safe Haskell | None |
---|
Data.HList.GhcExperiments
Documentation
class HDeleteMany e l l' | e l -> l' where
Methods
hDeleteMany :: Proxy e -> l -> l'
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
class IsTC2 x f b | x f -> b