harg-0.3.0.0: Haskell program configuration using higher kinded data

Safe HaskellSafe
LanguageHaskell2010

Options.Harg.Het.Nat

Synopsis

Documentation

data Nat Source #

Type-level Peano natural number.

Constructors

Z 
S Nat 

data SNat (n :: Nat) where Source #

Singleton type for Nat.

Constructors

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