package

data-nat

Description

data Nat = Zero | Succ Nat.

Description

hackage.haskell.org

The usual data Nat = Zero | Succ Nat datatype with the appropriate instances.

Should be portable to any Haskell 98 compiler which supports the CPP extension.

Metadata

Version

0.1.2

License

Status

Source

pkgs/development/haskell-modules/hackage-packages.nix:83833

Homepage

https://hackage.haskell.org/package/data-nat

Platforms (77)

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all