HList-0.2.1: Heterogeneous lists

Data.HList.GhcExperiments

Documentation

class HDeleteMany e l l' | e l -> l' whereSource

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 -> bSource

Instances

TypeCast HFalse b => IsTC1 f x b 
TypeCast HTrue b => IsTC1 (f a) f b 

class IsTC2 x f b | x f -> bSource

Instances

TypeCast HFalse b => IsTC2 f x b 
TypeCast HTrue b => IsTC2 (f a b) f b 

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