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

Safe Haskell	None
Language	Haskell2010

Type.Sequence

Documentation

type family Succ a :: k Source

Instances

type Succ Nat a = (+) a 1 Source

type family Empty :: k Source

Instances

type Empty [k] = [] k Source

type family Zero :: k Source

Instances

type Zero Nat = 0 Source

type family Range begin end :: [k] Source

Equations

Range b b = Empty
Range b e = b : Range (Succ b) e

type family Enumerate end Source

Equations

Enumerate end = Range Zero end