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)

Methods

(==) :: ShowablePredicate a -> ShowablePredicate a -> Bool

(/=) :: ShowablePredicate a -> ShowablePredicate a -> Bool

Show (ShowablePredicate a)

Methods

showsPrec :: Int -> ShowablePredicate a -> ShowS

show :: ShowablePredicate a -> String

showList :: [ShowablePredicate a] -> ShowS

NFData (ShowablePredicate a)

Methods

rnf :: ShowablePredicate a -> ()