Copyright	(c) 2023-2024 Dakotah Lambert
License	MIT
Safe Haskell	Safe-Inferred
Language	Haskell2010

LTK.Parameters

Description

Many subregular classes are parameterized. In some cases, we know not only how to decide membership, but also the values of these parameters. As a general interface, each parameterization function returns a Maybe [Parameter e], where Nothing means the language is not in the class and Just xs indicates for which parameters this membership holds. The interpretation of the list differs per class; consult the individual functions' documentation for more information.

All arguments should be given in minimal form. This is never checked.

Since: 1.2

Synopsis

data Parameter e
- = PInt String Int
- | PSymSet String (Set e)
pTier :: (Ord n, Ord e) => (FSA n e -> Maybe [Parameter e]) -> FSA n e -> Maybe [Parameter e]
pDef :: (Ord n, Ord e) => FSA n e -> Maybe [Parameter e]
pRDef :: (Ord n, Ord e) => FSA n e -> Maybe [Parameter e]
pGDef :: (Ord n, Ord e) => FSA n e -> Maybe [Parameter e]
pCB :: (Ord n, Ord e) => FSA n e -> Maybe [Parameter e]
pAcom :: (Ord n, Ord e) => FSA n e -> Maybe [Parameter e]
pSL :: (Ord n, Ord e) => FSA n e -> Maybe [Parameter e]
pSP :: (Ord n, Ord e) => FSA n e -> Maybe [Parameter e]

Documentation

data Parameter e Source #

A named parameter.

Constructors

PInt String Int
PSymSet String (Set e)

Instances

Instances details

(Read e, Ord e) => Read (Parameter e) Source #
Instance details Defined in LTK.Parameters Methods readsPrec :: Int -> ReadS (Parameter e) # readList :: ReadS [Parameter e] # readPrec :: ReadPrec (Parameter e) # readListPrec :: ReadPrec [Parameter e] #
Show e => Show (Parameter e) Source #
Instance details Defined in LTK.Parameters Methods showsPrec :: Int -> Parameter e -> ShowS # show :: Parameter e -> String # showList :: [Parameter e] -> ShowS #
Eq e => Eq (Parameter e) Source #
Instance details Defined in LTK.Parameters Methods (==) :: Parameter e -> Parameter e -> Bool # (/=) :: Parameter e -> Parameter e -> Bool #
Ord e => Ord (Parameter e) Source #
Instance details Defined in LTK.Parameters Methods compare :: Parameter e -> Parameter e -> Ordering # (<) :: Parameter e -> Parameter e -> Bool # (<=) :: Parameter e -> Parameter e -> Bool # (>) :: Parameter e -> Parameter e -> Bool # (>=) :: Parameter e -> Parameter e -> Bool # max :: Parameter e -> Parameter e -> Parameter e # min :: Parameter e -> Parameter e -> Parameter e #

pTier :: (Ord n, Ord e) => (FSA n e -> Maybe [Parameter e]) -> FSA n e -> Maybe [Parameter e] Source #

If there are neutral symbols, test a class and prepend to its parameters the set of salient symbols.

pDef :: (Ord n, Ord e) => FSA n e -> Maybe [Parameter e] Source #

Return the length of the longest relevant suffix.

pRDef :: (Ord n, Ord e) => FSA n e -> Maybe [Parameter e] Source #

Return the length of the longest relevant prefix.

pGDef :: (Ord n, Ord e) => FSA n e -> Maybe [Parameter e] Source #

Return the length of the longest relevant suffix or prefix, whichever is longer.

pCB :: (Ord n, Ord e) => FSA n e -> Maybe [Parameter e] Source #

Returns an empty parameter list.

pAcom :: (Ord n, Ord e) => FSA n e -> Maybe [Parameter e] Source #

Return the threshold at which symbol counting saturates.

pSL :: (Ord n, Ord e) => FSA n e -> Maybe [Parameter e] Source #

Return the length of the longest relevant substring.

pSP :: (Ord n, Ord e) => FSA n e -> Maybe [Parameter e] Source #

Return the length of the longest relevant subsequence.