typelevel-1.2.2: Useful type level operations (type families and related operators).
Type.Sequence
type family Succ (a :: k) :: k Source #
Instances
type family Empty :: k Source #
type family Zero :: k Source #
type family Range (begin :: k) (end :: k) :: [k] where ... Source #
Equations
type family Enumerate end where ... Source #