forbidden-fruit-0.1.0: A library accelerates imperative style programming.

Copyright(C) 2015, Yu Fukuzawa
LicenseBSD3
Maintainerminpou.primer@email.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Nat

Description

 

Documentation

data Nat Source

Constructors

Z 
S Nat 

data SNat n where Source

Constructors

SZ :: SNat Z 
SS :: SNat n -> SNat (S n) 

class SingNat n where Source

Methods

singNat :: SNat n Source

Instances

SingNat Z 
SingNat n => SingNat (S n) 

type family n :+: m Source

Equations

Z :+: n = n 
(S n) :+: m = S (n :+: m) 

type family n :-: m Source

Equations

n :-: Z = n 
(S n) :-: (S m) = n :-: m 

class n :<= m Source

Instances

Z :<= n 
(:<=) n m => (S n) :<= (S m)