Data.HList.HArray

Lookup

class HLookupByHNat n l

Delete

class HDeleteAtHNat n l

Update

class HUpdateAtHNat n e l

Projection

hProjectByHNats'

data FHLookupByHNat l

hProjectByHNats

data FHUProj sel ns

type family KMember n ns :: Bool

type HProjectByHNatsR ns l

type HProjectByHNatsCtx ns l

Complement of Projection

hProjectAwayByHNats

type HProjectAwayByHNatsR ns l

type HProjectAwayByHNatsCtx ns l

Splitting