language-toolkit-1.2.0.0: A set of tools for analyzing languages via logic and automata
Copyright(c) 2019 Dakotah Lambert
LicenseMIT
Safe HaskellSafe-Inferred
LanguageHaskell2010

LTK.Extract.TSL

Description

Generalize Extract.SL for tier-local constraints.

Synopsis

Documentation

forbiddenTierSubstrings :: (Ord e, Ord n, Enum n) => FSA n e -> (Set e, ForbiddenSubstrings e) #

Forbidden tier-substrings of the given FSA.