HList-0.2: Heterogeneous listsSource codeContentsIndex
Data.HList.FakePrelude
Documentation
data HTrue Source
show/hide Instances
hTrue :: HTrueSource
data HFalse Source
show/hide Instances
Show HFalse
HBool HFalse
HLt HZero HZero HFalse
HOr HFalse HFalse HFalse
HOr HFalse HTrue HTrue
HOr HTrue HFalse HTrue
HAnd HFalse HFalse HFalse
HAnd HFalse HTrue HFalse
HAnd HTrue HFalse HFalse
HTMember e HNil HFalse
HMember e HNil HFalse
HStagedEq' HFalse e e'
HOrdMember e HNil HFalse
HLabelSet ls => HLabelSet' x ls HFalse
HCond HFalse x y y
TypeEq'' () x y HFalse
HTIntersect t l1 l2 => HTIntersectBool HFalse h t l1 l2
(HRLabelSet (HCons (LVPair l2 v2) r), HRLabelSet (HCons (LVPair l1 v1) r)) => HRLabelSet' l1 v1 l2 v2 HFalse r
(UnionSymRec r1 r2' (Record ru), HExtend f2 (Record ru) (Record (HCons f2 ru))) => UnionSymRec' HFalse r1 f2 r2' (Record (HCons f2 ru))
HDeleteMany e l l' => HDeleteManyCase HFalse e e' l (HCons e' l')
HFind e l n => HFind' HFalse e l (HSucc n)
HType2HNat e l n => HType2HNatCase HFalse e l (HSucc n)
HLeftUnionBool HFalse r f (HCons f r)
(HOccurs' e l, HList l) => HOccursBool HFalse e (HCons e' l)
(HMemberM e l r, HMemberM' r e (HCons e' l) res) => HMemberM' HFalse e (HCons e' l) res
HasField l r v => HasField' HFalse l (HCons fld r) v
HasField l (RecordP ls vs) v => HasFieldP' HFalse l (RecordP (HCons l' ls) (HCons v' vs)) v
H2ProjectByLabels ls (RecordP ls' vs') rin (RecordP lo vo) => H2ProjectByLabels' HFalse ls (RecordP (HCons l' ls') (HCons v' vs')) rin (RecordP (HCons l' lo) (HCons v' vo))
HProjectByLabelP l ls vs lso' v vso' => HProjectByLabelP' HFalse l (HCons l' ls) (HCons v' vs) (HCons l' lso') v (HCons v' vso')
HNat n => HEq HZero (HSucc n) HFalse
HList l => HEq HNil (HCons e l) HFalse
HNat n => HLt (HSucc n) HZero HFalse
HNat n => HEq (HSucc n) HZero HFalse
HList l => HEq (HCons e l) HNil HFalse
hFalse :: HFalseSource
class HBool x Source
show/hide Instances
class (HBool t, HBool t', HBool t'') => HAnd t t' t'' | t t' -> t'' whereSource
Methods
hAnd :: t -> t' -> t''Source
show/hide Instances
class (HBool t, HBool t', HBool t'') => HOr t t' t'' | t t' -> t'' whereSource
Methods
hOr :: t -> t' -> t''Source
show/hide Instances
class HBool t => HCond t x y z | t x y -> z whereSource
Methods
hCond :: t -> x -> y -> zSource
show/hide Instances
HCond HFalse x y y
HCond HTrue x y x
data HZero Source
show/hide Instances
data HSucc n Source
show/hide Instances
HFind e l n => HFind' HFalse e l (HSucc n)
HType2HNat e l n => HType2HNatCase HFalse e l (HSucc n)
HNat n => HLt HZero (HSucc n) HTrue
HNat n => HEq HZero (HSucc n) HFalse
(HNat n, Show (HSucc n)) => Show (HSucc (HSucc n))
Show (HSucc HZero)
HNat2Integral n => HNat2Integral (HSucc n)
HNat n => HNat (HSucc n)
(HNat x, HBetween (HSucc x) y, HAppend y (HCons (HSucc x) HNil) z, HList y) => HBetween (HSucc (HSucc x)) z
HNat n => HLt (HSucc n) HZero HFalse
HNat n => HEq (HSucc n) HZero HFalse
(HUpdateAtHNat n e' l l', HNat n) => HUpdateAtHNat (HSucc n) e' (HCons e l) (HCons e l')
(HNat n, HNat n', HLt n n' b) => HLt (HSucc n) (HSucc n') b
(HNat n, HNat n', HEq n n' b) => HEq (HSucc n) (HSucc n') b
HBetween (HSucc HZero) (HCons HZero HNil)
(HLookupByHNat n l e', HNat n) => HLookupByHNat (HSucc n) (HCons e l) e'
(HDeleteAtHNat n l l', HNat n) => HDeleteAtHNat (HSucc n) (HCons e l) (HCons e l')
(HLength l n, HNat n, HList l) => HLength (HCons a l) (HSucc n)
hZero :: HZeroSource
hSucc :: HNat n => n -> HSucc nSource
hPred :: HNat n => HSucc n -> nSource
class HNat n Source
show/hide Instances
class HNat n => HNat2Integral n whereSource
Methods
hNat2Integral :: Integral i => n -> iSource
show/hide Instances
data HNothing Source
Constructors
HNothing
show/hide Instances
data HJust x Source
Constructors
HJust x
show/hide Instances
NarrowM a HNil (HJust (Record HNil))
HMemberM' HTrue e (HCons e l) (HJust l)
NarrowM'' f (HJust (Record r)) (HJust (Record (HCons f r)))
Show x => Show (HJust x)
HMemberM' (HJust l') e (HCons e' l) (HJust (HCons e' l'))
H2ProjectByLabels ls' r' rin rout => H2ProjectByLabels' (HJust ls') ls (HCons f' r') (HCons f' rin) rout
RecordEquiv' (r1 -> HJust r2) (r2 -> HJust r1) (HJust ((,) (r1 -> r2) (r2 -> r1)))
class HBool b => HEq x y b | x y -> bSource
show/hide Instances
HEq HZero HZero HTrue
HEq HZero HZero HTrue
HEq HNil HNil HTrue
HEq HNil HNil HTrue
HNat n => HEq HZero (HSucc n) HFalse
HNat n => HEq HZero (HSucc n) HFalse
HNat n => HEq HZero (HSucc n) HFalse
HList l => HEq HNil (HCons e l) HFalse
HList l => HEq HNil (HCons e l) HFalse
HList l => HEq HNil (HCons e l) HFalse
HNat n => HEq (HSucc n) HZero HFalse
HNat n => HEq (HSucc n) HZero HFalse
HNat n => HEq (HSucc n) HZero HFalse
TypeEq x y b => HEq (Proxy x) (Proxy y) b
(HNat n, HNat n', HEq n n' b) => HEq (HSucc n) (HSucc n') b
HEq n n' b => HEq (Label n) (Label n') b
HList l => HEq (HCons e l) HNil HFalse
HList l => HEq (HCons e l) HNil HFalse
HList l => HEq (HCons e l) HNil HFalse
(HList l, HList l', HEq e e' b, HEq l l' b', HAnd b b' b'') => HEq (HCons e l) (HCons e' l') b''
HEq x x' b => HEq (Label x ns desc1) (Label x' ns desc2) b
(HEq x x' b, TypeEq ns ns' b', HAnd b b' b'') => HEq (Label x ns desc) (Label x' ns' desc') b''
hEq :: HEq x y b => x -> y -> bSource
class HStagedEq x y whereSource
Methods
hStagedEq :: x -> y -> BoolSource
show/hide Instances
class HBool b => HLt x y b | x y -> bSource
show/hide Instances
hLt :: HLt x y b => x -> y -> bSource
class HBool b => TypeEq x y b | x y -> bSource
show/hide Instances
typeEq :: TypeEq t t' b => t -> t' -> bSource
proxyEq :: TypeEq t t' b => Proxy t -> Proxy t' -> bSource
class TypeCast x y | x -> y, y -> x whereSource
Methods
typeCast :: x -> ySource
data Proxy e Source
show/hide Instances
Show (Proxy e)
Typeable x => Typeable (Proxy x)
Typeable x => ShowLabel (Proxy x)
TypeEq x y b => HEq (Proxy x) (Proxy y) b
proxy :: Proxy eSource
toProxy :: e -> Proxy eSource
unProxy :: Proxy e -> eSource
class TypeEqTrue x y Source
class TypeEqFalse x y Source
typeEqTrue :: TypeEqTrue x y => x -> y -> ()Source
typeEqFalse :: TypeEqFalse x y => x -> y -> ()Source
class SubType l l' Source
show/hide Instances
(HOccurs e l, SubType (TIP l) (TIP l')) => SubType (TIP l) (TIP (HCons e l'))
SubType (TIP l) (TIP HNil)
(RecordLabels r' ls, H2ProjectByLabels ls r r' rout) => SubType (Record r) (Record r')
H2ProjectByLabels ls' (RecordP ls vs) (RecordP ls' vs') rout => SubType (RecordP ls vs) (RecordP ls' vs')
subType :: SubType l l' => l -> l' -> ()Source
class Fail x Source
Produced by Haddock version 2.4.2