| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
RegExDot.ConsumptionBounds
Description
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.