typelevel-1.2.3: Useful type level operations (type families and related operators).

Type.Sequence

type family Succ (a :: k) :: k Source #

Defined in Type.Sequence

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 #