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

Instances

TypeCast HFalse b => IsTC1 f x b

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

class IsTC2 x f b | x f -> b

Instances

TypeCast HFalse b => IsTC2 f x b

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

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