Find file
Fetching contributors…
Cannot retrieve contributors at this time
26 lines (23 sloc) 816 Bytes
Name: Limit
Version: 1.0
License: MIT
License-file: LICENSE
Category: Data
Synopsis: Wrapper for data that can be unbounded
Description: Limit n is like Maybe n, with (Bounded n) in place of (Just n)
and Unbounded in place of Nothing. The only difference is that
∀n. Unbounded >= Bounded n, which makes Limit a good data type
to deal with numbers that can become unbounded.
Author: Nate Soares
Build-Type: Simple
Cabal-Version: >=1.6
source-repository head
type: git
location: git://
Hs-Source-Dirs: src
Build-Depends: base >= 4 && < 5
Exposed-modules: Data.Limit
Ghc-Options: -Wall
Ghc-Prof-Options: -auto-all