Data.HList.HArray

Documentation

class HNat n => HLookupByHNat n l e | n l -> e where

Methods

hLookupByHNat :: n -> l -> e

Instances

HLookupByHNat HZero (HCons e l) e

(HLookupByHNat n l e', HNat n) => HLookupByHNat (HSucc n) (HCons e l) e'

class HNat n => HDeleteAtHNat n l l' | n l -> l' where

Methods

hDeleteAtHNat :: n -> l -> l'

Instances

HDeleteAtHNat HZero (HCons e l) l

(HDeleteAtHNat n l l', HNat n) => HDeleteAtHNat (HSucc n) (HCons e l) (HCons e l')

class HNat n => HUpdateAtHNat n e l l' | n e l -> l', l' n -> e where

Methods

hUpdateAtHNat :: n -> e -> l -> l'

Instances

HUpdateAtHNat HZero e' (HCons e l) (HCons e' l)

(HUpdateAtHNat n e' l l', HNat n) => HUpdateAtHNat (HSucc n) e' (HCons e l) (HCons e l')

class HNats ns => HSplitByHNats' ns l l' l'' | ns l -> l' l'' where

Methods

hSplitByHNats' :: ns -> l -> (l', l'')

Instances

HSplit l l' l'' => HSplitByHNats' HNil l HNil l'

(HLookupByHNat n l (e, b), HUpdateAtHNat n (e, HFalse) l l''', HSplitByHNats' ns l''' l' l'') => HSplitByHNats' (HCons n ns) l (HCons e l') l''

class HNats ns => HProjectByHNats ns l l' | ns l -> l' where

Methods

hProjectByHNats :: ns -> l -> l'

Instances

HProjectByHNats HNil HNil HNil

HProjectByHNats HNil (HCons e l) HNil

(HLookupByHNat n (HCons e l) e', HProjectByHNats ns (HCons e l) l') => HProjectByHNats (HCons n ns) (HCons e l) (HCons e' l')

class HProjectAwayByHNats ns l l' | ns l -> l' where

Methods

hProjectAwayByHNats :: ns -> l -> l'

Instances

(HLength l len, HBetween len nats, HDiff nats ns ns', HProjectByHNats ns' l l') => HProjectAwayByHNats ns l l'

class HBetween x y | x -> y where

Methods

hBetween :: x -> y

Instances

(HNat x, HBetween (HSucc x) y, HAppend y (HCons (HSucc x) HNil) z, HList y) => HBetween (HSucc (HSucc x)) z

HBetween (HSucc HZero) (HCons HZero HNil)

class HDiff x y z | x y -> z where

Methods

hDiff :: x -> y -> z

Instances

HDiff HNil x HNil

(HOrdMember e y b, HDiff x y z, HCond b z (HCons e z) z') => HDiff (HCons e x) y z'

class HOrdMember e l b | e l -> b where

Methods

hOrdMember :: e -> l -> b

Instances

HOrdMember e HNil HFalse

(HEq e e' b1, HOrdMember e l b2, HOr b1 b2 b) => HOrdMember e (HCons e' l) b

class (HList l, HNat n) => HLength l n | l -> n

Instances

HLength HNil HZero

(HLength l n, HNat n, HList l) => HLength (HCons a l) (HSucc n)

hLength :: HLength l n => l -> n

class HMaxLength l s

Instances

(HLength l s', HLt s' (HSucc s) HTrue) => HMaxLength l s

class HMinLength l s

Instances

(HLength l s', HLt s (HSucc s') HTrue) => HMinLength l s

class HSingleton l

Instances

HLength l (HSucc HZero) => HSingleton l

hSingle :: (HSingleton l, HHead l e) => l -> e