regexdot-0.12.2.2: A polymorphic, POSIX, extended regex-engine.

RegExDot.ConsumptionProfile

Description

AUTHOR
Dr. Alistair Ward
DESCRIPTION

A ConsumptionProfile is composed from both a capacity to consume, & an ability to discriminate based on the specific data. The former is described by consumptionBounds & the latter by both hasSpecificRequirement & canConsumeAnything.

Synopsis

# Types

## Type-synonyms

The ConsumptionProfiles of all the aggregated tails of a list of Consumers.

## Data-types

• A Consumer is considered to have a ConsumptionProfile composed from both a capacity to consume, & an ability to discriminate.
• Whilst hasSpecificRequirement & canConsumeAnything look like opposites, they can assume independent values; the instance can be both, but only be neither when empty.

Constructors

 MkConsumptionProfile FieldsconsumptionBounds :: ConsumptionBoundsThe permissible quantity of data, which can be consumed.hasSpecificRequirement :: BoolWhether at least one specific input datum is required.canConsumeAnything :: BoolWhether at least one arbitrary input datum can be consumed.
Instances
 Source # Instance detailsDefined in RegExDot.ConsumptionProfile Methods Source # Instance detailsDefined in RegExDot.ConsumptionProfile Methods Source # Instance detailsDefined in RegExDot.ConsumptionProfile MethodsshowList :: [ConsumptionProfile] -> ShowS # Source # Instance detailsDefined in RegExDot.ConsumptionProfile Methods

# Constants

Both minimum & maximum set to zero; which can be used as the initial value when accumulating the sum of a list.

# Functions

Accumulate the specified list of ConsumptionProfiles, from the specified initial value.

The aggregate of the specified concatenation of ConsumptionProfiles.

## Operators

The net effect of two concatenated ConsumptionProfiles.

The net effect of two alternative ConsumptionProfiles.

## Predicates

Arguments

 :: DataLength The actual quantity of data consumed. -> ConsumptionProfile The bounds within which data-consumption is required to fall. -> Bool

Predicate, which is True if the specified data-length, falls within the specified ConsumptionBounds.