data-type-0.1.0: Basic type wrangling types and classes

Data.Type.Nat

Documentation

data Z Source

Constructors

Z 

Instances

Nat Z 

data S n Source

Constructors

S n 

Instances

Nat n => Nat (S n) 

zero :: ZSource

one :: S ZSource

two :: S (S Z)Source

three :: S (S (S Z))Source

class Nat n whereSource

Methods

fromNat :: Enum e => n -> eSource

Instances

Nat Z 
Nat n => Nat (S n)