Enumerate.Orphans.Large

orphan instances, of Enumerable, for large types (i.e. Word32 / Word64 / Int32 / Int64).

see:

• boundedEnumerated, boundedCardinality

(that are included for completeness, but not exported by default (i.e. by Enumerate). you probably want build-time instance-resolution errors instead of probable runtime non-termination).

Documentation

Orphan instances

Enumerable Int

finite but too large.

>>> 1 + toInteger (maxBound::Int) - toInteger (minBound::Int)
...

Methods

enumerated :: [Int]

cardinality :: proxy Int -> Natural

Enumerable Int32

finite but too large. 2^64 is a few billion.

>>> 1 + toInteger (maxBound::Int32) - toInteger (minBound::Int32)
4294967296

Methods

enumerated :: [Int32]

cardinality :: proxy Int32 -> Natural

Enumerable Int64

finite but too large. 2^64 is over a billion billion.

e.g. reifyFunction (which takes time linear in the domain) on a function of type (:: Int -> Bool), won't terminate anytime soon.

>>> 1 + toInteger (maxBound::Int64) - toInteger (minBound::Int64)
18446744000000000000

Methods

enumerated :: [Int64]

cardinality :: proxy Int64 -> Natural

Enumerable Word

Methods

enumerated :: [Word]

cardinality :: proxy Word -> Natural

Enumerable Word32

Methods

enumerated :: [Word32]

cardinality :: proxy Word32 -> Natural

Enumerable Word64

Methods

enumerated :: [Word64]

cardinality :: proxy Word64 -> Natural