Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
AUTHOR
- Dr. Alistair Ward
DESCRIPTION
- Describes the bounds of data-consumption.
- type ConsumptionBounds = (DataLength, Maybe DataLength)
- type DataLength = Int
- zero :: ConsumptionBounds
- isPrecise :: ConsumptionBounds -> Bool
Types
Type-synonyms
type ConsumptionBounds = (DataLength, Maybe DataLength) Source
The minimum & maximum bounds of potential data-consumption.
type DataLength = Int Source
A measure of the quantity of an unspecified type of data.
Constants
zero :: ConsumptionBounds Source
Exactly zero consumption.
Functions
Predicates
isPrecise :: ConsumptionBounds -> Bool Source
Predicate which is True
if only a precise quantity of data is consumable; no more, no less.