Data.HList.HArray

Lookup

class HLookupByHNat n l e

Delete

class HDeleteAtHNat n l l'

Update

class HUpdateAtHNat n e l l'

Splitting

hSplitByHNats

class HSplitByHNats' ns l l' l''

Projection

class HProjectByHNats ns l l'

Complement of Projection

class HProjectAwayByHNats ns l l'

Enumerate naturals

class HBetween x y

Set-difference on naturals

class HDiff x y z

Membership test for types with HOrd instances

class HOrdMember e l b

Length

class HLength l n

hLength

Bounded lists

class HMaxLength l s

class HMinLength l s

class HSingleton l

hSingle