Safe Haskell | Safe-Inferred |
---|

`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.