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.