finite-typelits-0.1.0.0: A type inhabited by finitely many values, indexed by type-level naturals.

Copyright(C) 2015 mniip
LicenseBSD3
Maintainermniip <mniip@mniip.com>
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Data.Finite.Internal

Description

 

Synopsis

Documentation

newtype Finite n Source

Finite number type. Finite n is inhabited by exactly n values. Invariants:

getFinite x < natVal x
getFinite x >= 0

Constructors

Finite Integer