| Copyright | (c) 2017-20192023 Dakotah Lambert |
|---|---|
| License | MIT |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
LTK.Factors
Contents
Description
This module provides a means to define positive and negative factors over the adjacency or precedence relations, as well as unions and intersections thereof.
Synopsis
- required :: Factor e -> Literal e
- forbidden :: Factor e -> Literal e
- buildLiteral :: (Enum n, Ord n, Ord e) => Set e -> Literal e -> FSA n e
- build :: (Enum n, NFData n, Ord n, NFData e, Ord e) => Set e -> Set (Conjunction e) -> FSA n e
- makeConstraint :: Ord e => [[Literal e]] -> Conjunction e
- data Factor e
- = Substring {
- substring :: [Set e]
- headAnchored :: Bool
- tailAnchored :: Bool
- | Subsequence [Set e]
- = Substring {
- data Literal e = Literal Bool (Factor e)
- newtype Disjunction e = Disjunction (Set (Literal e))
- newtype Conjunction e = Conjunction (Set (Disjunction e))
Constructions
required :: Factor e -> Literal e Source #
The factor is required to appear in every string.
Note that a conjunctive constraint of
(required (Substring x True True))
restricts the stringset to at most one word.
buildLiteral :: (Enum n, Ord n, Ord e) => Set e -> Literal e -> FSA n e Source #
Build an FSA representing a single constraint.
build :: (Enum n, NFData n, Ord n, NFData e, Ord e) => Set e -> Set (Conjunction e) -> FSA n e Source #
Build an FSA representing the conjunction of a set of
constraints provided in conjunctive normal form.
makeConstraint :: Ord e => [[Literal e]] -> Conjunction e Source #
Combine inner lists by Disjunction,
and form a Conjunction of the results.
Logical Expressions
A substring or subsequence, from which to build constraints.
Constructors
| Substring | |
Fields
| |
| Subsequence [Set e] | |
A constraint.
Instances
| (Read e, Ord e) => Read (Literal e) Source # | |
| Show e => Show (Literal e) Source # | |
| Eq e => Eq (Literal e) Source # | |
| Ord e => Ord (Literal e) Source # | |
newtype Disjunction e Source #
Multiple constraints, joined by OR.
Constructors
| Disjunction (Set (Literal e)) |
Instances
newtype Conjunction e Source #
Multiple disjunctions, joined by AND.
Constructors
| Conjunction (Set (Disjunction e)) |