RegExDot.ShowablePredicate

AUTHOR

Dr. Alistair Ward

DESCRIPTION

Used to implement Perl-shortcuts, BracketExpression-ranges & POSIX Character-classes.

Types

type Predicate a = a -> Bool

An arbitrary polymorphic predicate function.

Data-types

data ShowablePredicate a

Container for both the predicate, & the name used in the implementation of Show.

Constructors

MkShowablePredicate

Fields

name :: String

The identifier of this predicate when in string-form.

predicate :: Predicate a

The function used to determine whether an input datum matches.

Instances

Eq (ShowablePredicate a)

Show (ShowablePredicate a)

NFData (ShowablePredicate a)