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 = IntSource
A measure of the quantity of an unspecified type of data.
Constants
zero :: ConsumptionBoundsSource
Exactly zero consumption.
Functions
Predicates
isPrecise :: ConsumptionBounds -> BoolSource
Predicate which is True
if only a precise quantity of data is consumable; no more, no less.