uvmhs-0.0.1.0
Safe HaskellNone
LanguageHaskell2010

UVMHS.Lib.Parser.Regex

Documentation

class Classified c t | t -> c where Source #

Methods

classify :: t -> c Source #

Instances

Instances details
Classified CharClass ℂ Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

classify :: ℂ -> CharClass Source #

data RegexResult o u Source #

Constructors

RegexResult 

Fields

Instances

Instances details
(Show o, Show u) => Show (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

showsPrec :: Int -> RegexResult o u -> ShowS #

show :: RegexResult o u -> String #

showList :: [RegexResult o u] -> ShowS #

(Eq o, Eq u) => Eq (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(==) :: RegexResult o u -> RegexResult o u -> Bool #

(/=) :: RegexResult o u -> RegexResult o u -> Bool #

(Ord o, Ord u) => Ord (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

compare :: RegexResult o u -> RegexResult o u -> Ordering #

(<) :: RegexResult o u -> RegexResult o u -> Bool #

(<=) :: RegexResult o u -> RegexResult o u -> Bool #

(>) :: RegexResult o u -> RegexResult o u -> Bool #

(>=) :: RegexResult o u -> RegexResult o u -> Bool #

max :: RegexResult o u -> RegexResult o u -> RegexResult o u #

min :: RegexResult o u -> RegexResult o u -> RegexResult o u #

Ord u => Append (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(⧺) :: RegexResult o u -> RegexResult o u -> RegexResult o u Source #

Zero u => Eps (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

eps :: RegexResult o u Source #

(Ord u, Zero u) => Monoid (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Zero u => Null (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

null :: RegexResult o u Source #

(Ord u, Plus u) => Seq (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(▷) :: RegexResult o u -> RegexResult o u -> RegexResult o u Source #

(Ord u, Additive u) => Seqoid (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

(Pretty ℕ64, Pretty Formats, Pretty (𝑂 o), Pretty u) => Pretty (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: RegexResult o u -> Doc Source #

newtype RegexInfo o u Source #

Constructors

RegexInfo 

Fields

Instances

Instances details
(Show o, Show u) => Show (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

showsPrec :: Int -> RegexInfo o u -> ShowS #

show :: RegexInfo o u -> String #

showList :: [RegexInfo o u] -> ShowS #

(Eq o, Eq u) => Eq (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(==) :: RegexInfo o u -> RegexInfo o u -> Bool #

(/=) :: RegexInfo o u -> RegexInfo o u -> Bool #

(Ord o, Ord u) => Ord (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

compare :: RegexInfo o u -> RegexInfo o u -> Ordering #

(<) :: RegexInfo o u -> RegexInfo o u -> Bool #

(<=) :: RegexInfo o u -> RegexInfo o u -> Bool #

(>) :: RegexInfo o u -> RegexInfo o u -> Bool #

(>=) :: RegexInfo o u -> RegexInfo o u -> Bool #

max :: RegexInfo o u -> RegexInfo o u -> RegexInfo o u #

min :: RegexInfo o u -> RegexInfo o u -> RegexInfo o u #

Ord u => Append (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(⧺) :: RegexInfo o u -> RegexInfo o u -> RegexInfo o u Source #

Zero u => Eps (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

eps :: RegexInfo o u Source #

(Ord u, Zero u) => Monoid (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Zero u => Null (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

null :: RegexInfo o u Source #

(Ord u, Plus u) => Seq (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(▷) :: RegexInfo o u -> RegexInfo o u -> RegexInfo o u Source #

(Ord u, Additive u) => Seqoid (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Pretty (𝑂 (RegexResult o u)) => Pretty (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: RegexInfo o u -> Doc Source #

newtype Regex c t o u Source #

Constructors

Regex 

Fields

Instances

Instances details
(Show o, Show u, Show t, Show c) => Show (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

showsPrec :: Int -> Regex c t o u -> ShowS #

show :: Regex c t o u -> String #

showList :: [Regex c t o u] -> ShowS #

(Eq o, Eq u, Eq t, Eq c) => Eq (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(==) :: Regex c t o u -> Regex c t o u -> Bool #

(/=) :: Regex c t o u -> Regex c t o u -> Bool #

(Ord o, Ord u, Ord t, Ord c) => Ord (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

compare :: Regex c t o u -> Regex c t o u -> Ordering #

(<) :: Regex c t o u -> Regex c t o u -> Bool #

(<=) :: Regex c t o u -> Regex c t o u -> Bool #

(>) :: Regex c t o u -> Regex c t o u -> Bool #

(>=) :: Regex c t o u -> Regex c t o u -> Bool #

max :: Regex c t o u -> Regex c t o u -> Regex c t o u #

min :: Regex c t o u -> Regex c t o u -> Regex c t o u #

(Ord c, Ord t, Ord o, Ord u, Plus u) => Append (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(⧺) :: Regex c t o u -> Regex c t o u -> Regex c t o u Source #

(Ord c, Ord t, Ord o, Ord u, Zero u) => Eps (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

eps :: Regex c t o u Source #

(Ord c, Ord t, Ord o, Ord u, Additive u) => Kleene (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

(Ord c, Ord t, Ord o, Ord u, Additive u) => Monoid (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Zero u => Null (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

null :: Regex c t o u Source #

(Ord c, Ord t, Ord o, Ord u, Additive u) => Seq (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(▷) :: Regex c t o u -> Regex c t o u -> Regex c t o u Source #

(Ord c, Ord t, Ord o, Ord u, Additive u) => Seqoid (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

(Ord c, Ord t, Ord o, Ord u, Zero u) => Star (Regex c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

star :: Regex c t o u -> Regex c t o u Source #

data RegexU c t o u Source #

Constructors

NullR 
ResR (RegexResult o u) 
AtomR (RegexResult o u) (RegexAtom c t o u) 
SumsR (𝑃 (Regex c t o u)) 
SeqsR (𝐿 (Regex c t o u)) 
StarR (RegexResult o u) (Regex c t o u) 

Instances

Instances details
(Show o, Show u, Show t, Show c) => Show (RegexU c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

showsPrec :: Int -> RegexU c t o u -> ShowS #

show :: RegexU c t o u -> String #

showList :: [RegexU c t o u] -> ShowS #

(Eq o, Eq u, Eq t, Eq c) => Eq (RegexU c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(==) :: RegexU c t o u -> RegexU c t o u -> Bool #

(/=) :: RegexU c t o u -> RegexU c t o u -> Bool #

(Ord o, Ord u, Ord t, Ord c) => Ord (RegexU c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

compare :: RegexU c t o u -> RegexU c t o u -> Ordering #

(<) :: RegexU c t o u -> RegexU c t o u -> Bool #

(<=) :: RegexU c t o u -> RegexU c t o u -> Bool #

(>) :: RegexU c t o u -> RegexU c t o u -> Bool #

(>=) :: RegexU c t o u -> RegexU c t o u -> Bool #

max :: RegexU c t o u -> RegexU c t o u -> RegexU c t o u #

min :: RegexU c t o u -> RegexU c t o u -> RegexU c t o u #

(Pretty (RegexResult o u), Pretty (RegexAtom c t o u), Pretty (𝑃 (Regex c t o u)), Pretty (𝐿 (Regex c t o u)), Pretty (Regex c t o u)) => Pretty (RegexU c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: RegexU c t o u -> Doc Source #

data RegexAtom c t (o :: k) (u :: k1) Source #

Constructors

TokRA t 
NTokRA (𝑃 t) 
ClassRA c 

Instances

Instances details
(Show t, Show c) => Show (RegexAtom c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

showsPrec :: Int -> RegexAtom c t o u -> ShowS #

show :: RegexAtom c t o u -> String #

showList :: [RegexAtom c t o u] -> ShowS #

(Eq t, Eq c) => Eq (RegexAtom c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(==) :: RegexAtom c t o u -> RegexAtom c t o u -> Bool #

(/=) :: RegexAtom c t o u -> RegexAtom c t o u -> Bool #

(Ord t, Ord c) => Ord (RegexAtom c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

compare :: RegexAtom c t o u -> RegexAtom c t o u -> Ordering #

(<) :: RegexAtom c t o u -> RegexAtom c t o u -> Bool #

(<=) :: RegexAtom c t o u -> RegexAtom c t o u -> Bool #

(>) :: RegexAtom c t o u -> RegexAtom c t o u -> Bool #

(>=) :: RegexAtom c t o u -> RegexAtom c t o u -> Bool #

max :: RegexAtom c t o u -> RegexAtom c t o u -> RegexAtom c t o u #

min :: RegexAtom c t o u -> RegexAtom c t o u -> RegexAtom c t o u #

(Pretty t, Pretty (𝑃 t), Pretty c) => Pretty (RegexAtom c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: RegexAtom c t o u -> Doc Source #

nullRegex :: Zero u => Regex c t o u Source #

resRegex :: (Ord c, Ord t, Ord o, Ord u, Zero u) => RegexResult o u -> Regex c t o u Source #

epsRegex :: (Ord c, Ord t, Ord o, Ord u, Zero u) => Regex c t o u Source #

retRegex :: (Ord c, Ord t, Ord o, Ord u, Zero u) => ℕ64 -> Formats -> 𝑂 o -> u -> Regex c t o u Source #

outRegex :: (Ord c, Ord t, Ord o, Ord u, Zero u) => ℕ64 -> Formats -> o -> Regex c t o u Source #

lepsRegex :: (Ord c, Ord t, Ord o, Ord u, Zero u) => ℕ64 -> Regex c t o u Source #

fepsRegex :: (Ord c, Ord t, Ord o, Ord u, Zero u) => Formats -> Regex c t o u Source #

oepsRegex :: (Ord c, Ord t, Ord o, Ord u, Zero u) => o -> Regex c t o u Source #

uepsRegex :: (Ord c, Ord t, Ord o, Ord u, Zero u) => u -> Regex c t o u Source #

atomRegex :: (Ord c, Ord t, Ord o, Ord u, Zero u) => RegexAtom c t o u -> Regex c t o u Source #

tokRegex :: (Ord c, Ord t, Ord o, Ord u, Zero u) => t -> Regex c t o u Source #

ntokRegex :: (Ord c, Ord t, Ord o, Ord u, Zero u) => 𝑃 t -> Regex c t o u Source #

classRegex :: (Ord c, Ord t, Ord o, Ord u, Zero u) => c -> Regex c t o u Source #

consEpsRegex :: (Ord c, Ord t, Ord o, Ord u, Plus u) => RegexResult o u -> Regex c t o u -> Regex c t o u Source #

consEpsRegexU :: (Ord c, Ord t, Ord o, Ord u, Plus u) => RegexResult o u -> RegexU c t o u -> RegexU c t o u Source #

snocEpsRegex :: (Ord c, Ord t, Ord o, Ord u, Plus u) => RegexResult o u -> Regex c t o u -> Regex c t o u Source #

snocEpsRegexU :: (Ord c, Ord t, Ord o, Ord u, Plus u) => RegexResult o u -> RegexU c t o u -> RegexU c t o u Source #

sumRegex :: (Ord c, Ord t, Ord o, Ord u, Plus u) => Regex c t o u -> Regex c t o u -> Regex c t o u Source #

seqRegex :: (Ord c, Ord t, Ord o, Ord u, Additive u) => Regex c t o u -> Regex c t o u -> Regex c t o u Source #

starRegex :: (Ord c, Ord t, Ord o, Ord u, Zero u) => Regex c t o u -> Regex c t o u Source #

derRegex :: (Ord c, Ord t, Classified c t, Ord o, Ord u, Additive u) => (t ∨ c) -> Regex c t o u -> Regex c t o u Source #

derRegexAtom :: (Ord c, Ord t, Classified c t, Ord o, Ord u, Additive u) => (t ∨ c) -> RegexAtom c t o u -> Regex c t o u Source #

derRegexSequence :: (Ord t, Ord c, Classified c t, Ord o, Ord u, Additive u) => (t ∨ c) -> 𝐿 (Regex c t o u) -> Regex c t o u Source #

regexLits :: Ord t => Regex c t o u -> 𝑃 t Source #

regexLitsAtom :: forall {k1} {k2} t c (o :: k1) (u :: k2). Ord t => RegexAtom c t o u -> 𝑃 t Source #

data RegexState c t o u Source #

Constructors

RegexState 

Fields

regexStateNextIDL :: RegexState c t o u ⟢ ℕ64 Source #

regexStateMapL :: RegexState c t o u ⟢ (Regex c t o u ⇰ ℕ64) Source #

regexStateTransitionsL :: RegexState c t o u ⟢ ((t ∨ c) ⇰ (ℕ64 ⇰ ℕ64)) Source #

regexStateResultsL :: RegexState c t o u ⟢ (ℕ64 ⇰ 𝑂 (RegexResult o u)) Source #

regexStateDeadL :: RegexState c t o u ⟢ (ℕ64 ⇰ 𝔹) Source #

regexState₀ :: RegexState c t o u Source #

data DFA c t o u Source #

Constructors

DFA 

Fields

Instances

Instances details
(Pretty (𝑃 t), Pretty ℕ64, Pretty ((t ∨ c) ⇰ 𝕍 ℕ64), Pretty (𝕍 (𝑂 (RegexResult o u))), Pretty (𝕍 𝔹)) => Pretty (DFA c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: DFA c t o u -> Doc Source #

compileRegex :: forall c t o u. (Pretty t, Pretty o, Pretty u, Ord c, Ord t, Classified c t, All c, Ord o, Ord u, Additive u) => Regex c t o u -> DFA c t o u Source #

data LexDFAState t Source #

Constructors

LexDFAState 

Fields

Instances

Instances details
(Pretty (WindowR Doc Doc), Pretty ParserContext, Pretty (𝑆 (ParserToken t)), Pretty (𝐼C t)) => Pretty (LexDFAState t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: LexDFAState t -> Doc Source #

data Lexer c t o u w Source #

Constructors

Lexer 

Fields

tokenize :: forall c t o u w. (Show u, Ord c, Ord t, Pretty t, Classified c t, Eq o, Eq u, Plus u) => Lexer c t o u w -> 𝕊 -> 𝕍 (ParserToken t) -> Doc ∨ 𝕍 (PreParserToken w) Source #

tokenizeFIO :: forall c t o u w w'. (Show u, Ord c, Ord t, Pretty t, Classified c t, Eq o, Eq u, Plus u) => Lexer c t o u w -> 𝕊 -> (𝕍 (PreParserToken w) -> 𝕍 (PreParserToken w')) -> 𝕍 (ParserToken t) -> IO (𝕍 (ParserToken w')) Source #

tokenizeIO :: forall c t o u w. (Show u, Ord c, Ord t, Pretty t, Classified c t, Eq o, Eq u, Plus u) => Lexer c t o u w -> 𝕊 -> 𝕍 (ParserToken t) -> IO (𝕍 (ParserToken w)) Source #

tokenizeFIOMain :: forall c t o u w w'. (Show u, Ord c, Ord t, Pretty t, Classified c t, Eq o, Eq u, Plus u, Pretty w') => Lexer c t o u w -> 𝕊 -> (𝕍 (PreParserToken w) -> 𝕍 (PreParserToken w')) -> 𝕍 (ParserToken t) -> IO () Source #

tokenizeIOMain :: forall c t o u w. (Show u, Ord c, Ord t, Pretty t, Classified c t, Eq o, Eq u, Plus u, Pretty w) => Lexer c t o u w -> 𝕊 -> 𝕍 (ParserToken t) -> IO () Source #

data CharClass Source #

Constructors

LetterClass 
NumberClass 
SpaceClass 
NewlineClass 
OtherClass 

Instances

Instances details
Show CharClass Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

showsPrec :: Int -> CharClass -> ShowS #

show :: CharClass -> String #

showList :: [CharClass] -> ShowS #

Eq CharClass Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(==) :: CharClass -> CharClass -> Bool #

(/=) :: CharClass -> CharClass -> Bool #

Ord CharClass Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

compare :: CharClass -> CharClass -> Ordering #

(<) :: CharClass -> CharClass -> Bool #

(<=) :: CharClass -> CharClass -> Bool #

(>) :: CharClass -> CharClass -> Bool #

(>=) :: CharClass -> CharClass -> Bool #

max :: CharClass -> CharClass -> CharClass #

min :: CharClass -> CharClass -> CharClass #

All CharClass Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

all :: 𝐼 CharClass Source #

Pretty CharClass Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: CharClass -> Doc Source #

Classified CharClass ℂ Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

classify :: ℂ -> CharClass Source #

lWord :: (Zero u, Ord o, Ord u, Additive u) => 𝕊 -> Regex CharClass ℂ o u Source #

lSpaceOrNl :: (Zero u, Ord o, Ord u, Additive u) => Regex CharClass ℂ o u Source #

lSpace :: (Zero u, Ord o, Ord u, Additive u) => Regex CharClass ℂ o u Source #

lNl :: (Zero u, Ord o, Ord u, Additive u) => Regex CharClass ℂ o u Source #

lName :: (Zero u, Ord u, Ord o, Additive u) => Regex CharClass ℂ o u Source #

lNatPre :: (Zero u, Ord u, Ord o, Additive u) => Regex CharClass ℂ o u Source #

lNat :: (Zero u, Ord u, Ord o, Additive u) => Regex CharClass ℂ o u Source #

lNatCoded :: (Zero u, Ord u, Ord o, Additive u) => Regex CharClass ℂ o u Source #

lIntPre :: (Zero u, Ord o, Ord u, Additive u) => Regex CharClass ℂ o u Source #

lInt :: (Zero u, Ord o, Ord u, Additive u) => Regex CharClass ℂ o u Source #

lDbl :: (Zero u, Ord o, Ord u, Additive u) => Regex CharClass ℂ o u Source #

lString :: (Zero u, Ord o, Ord u, Additive u) => Regex CharClass ℂ o u Source #

lComment :: Ord o => Regex CharClass ℂ o ℕ64 Source #

lCommentMLOpen :: Ord o => Regex CharClass ℂ o ℕ64 Source #

lCommentMLBodyOpen :: Ord o => Regex CharClass ℂ o ℕ64 Source #

lCommentMLBodyClose :: Ord o => Regex CharClass ℂ o ℕ64 Source #

lCommentMLBody :: Ord o => Regex CharClass ℂ o ℕ64 Source #

data TokenClassBasic Source #

Constructors

SpaceCBasic 
CommentCBasic 
SyntaxCBasic 
StringCBasic 
NameCBasic 
NaturalCBasic 
IntegerCBasic 
DoubleCBasic 
CharCBasic 

Instances

Instances details
Show TokenClassBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

showsPrec :: Int -> TokenClassBasic -> ShowS #

show :: TokenClassBasic -> String #

showList :: [TokenClassBasic] -> ShowS #

Eq TokenClassBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(==) :: TokenClassBasic -> TokenClassBasic -> Bool #

(/=) :: TokenClassBasic -> TokenClassBasic -> Bool #

Ord TokenClassBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

compare :: TokenClassBasic -> TokenClassBasic -> Ordering #

(<) :: TokenClassBasic -> TokenClassBasic -> Bool #

(<=) :: TokenClassBasic -> TokenClassBasic -> Bool #

(>) :: TokenClassBasic -> TokenClassBasic -> Bool #

(>=) :: TokenClassBasic -> TokenClassBasic -> Bool #

max :: TokenClassBasic -> TokenClassBasic -> TokenClassBasic #

min :: TokenClassBasic -> TokenClassBasic -> TokenClassBasic #

Pretty TokenClassBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: TokenClassBasic -> Doc Source #

spaceCBasicL :: TokenClassBasic ⌲ () Source #

commentCBasicL :: TokenClassBasic ⌲ () Source #

syntaxCBasicL :: TokenClassBasic ⌲ () Source #

stringCBasicL :: TokenClassBasic ⌲ () Source #

nameCBasicL :: TokenClassBasic ⌲ () Source #

naturalCBasicL :: TokenClassBasic ⌲ () Source #

integerCBasicL :: TokenClassBasic ⌲ () Source #

doubleCBasicL :: TokenClassBasic ⌲ () Source #

charCBasicL :: TokenClassBasic ⌲ () Source #

data TokenBasic Source #

Constructors

SpaceTBasic 𝕊 
CommentTBasic 𝕊 
SyntaxTBasic 𝕊 
StringTBasic 𝕊 
NameTBasic 𝕊 
NaturalTBasic ℕ 
IntegerTBasic ℤ 
DoubleTBasic 𝔻 
CharTBasic ℂ 

Instances

Instances details
Show TokenBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

showsPrec :: Int -> TokenBasic -> ShowS #

show :: TokenBasic -> String #

showList :: [TokenBasic] -> ShowS #

Eq TokenBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(==) :: TokenBasic -> TokenBasic -> Bool #

(/=) :: TokenBasic -> TokenBasic -> Bool #

Ord TokenBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

compare :: TokenBasic -> TokenBasic -> Ordering #

(<) :: TokenBasic -> TokenBasic -> Bool #

(<=) :: TokenBasic -> TokenBasic -> Bool #

(>) :: TokenBasic -> TokenBasic -> Bool #

(>=) :: TokenBasic -> TokenBasic -> Bool #

max :: TokenBasic -> TokenBasic -> TokenBasic #

min :: TokenBasic -> TokenBasic -> TokenBasic #

(Pretty 𝕊, Pretty ℕ, Pretty ℤ, Pretty 𝔻, Pretty ℂ) => Pretty TokenBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: TokenBasic -> Doc Source #

spaceTBasicL :: TokenBasic ⌲ 𝕊 Source #

commentTBasicL :: TokenBasic ⌲ 𝕊 Source #

syntaxTBasicL :: TokenBasic ⌲ 𝕊 Source #

stringTBasicL :: TokenBasic ⌲ 𝕊 Source #

nameTBasicL :: TokenBasic ⌲ 𝕊 Source #

naturalTBasicL :: TokenBasic ⌲ ℕ Source #

integerTBasicL :: TokenBasic ⌲ ℤ Source #

doubleTBasicL :: TokenBasic ⌲ 𝔻 Source #

charTBasicL :: TokenBasic ⌲ ℂ Source #

mkTokenBasic :: 𝐼C ℂ -> 𝑂 TokenClassBasic -> 𝔹 ∧ TokenBasic Source #

data LexerBasicSyntax Source #

Constructors

LexerBasicSyntax 

Fields

Instances

Instances details
Show LexerBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

showsPrec :: Int -> LexerBasicSyntax -> ShowS #

show :: LexerBasicSyntax -> String #

showList :: [LexerBasicSyntax] -> ShowS #

Eq LexerBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(==) :: LexerBasicSyntax -> LexerBasicSyntax -> Bool #

(/=) :: LexerBasicSyntax -> LexerBasicSyntax -> Bool #

Ord LexerBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

compare :: LexerBasicSyntax -> LexerBasicSyntax -> Ordering #

(<) :: LexerBasicSyntax -> LexerBasicSyntax -> Bool #

(<=) :: LexerBasicSyntax -> LexerBasicSyntax -> Bool #

(>) :: LexerBasicSyntax -> LexerBasicSyntax -> Bool #

(>=) :: LexerBasicSyntax -> LexerBasicSyntax -> Bool #

max :: LexerBasicSyntax -> LexerBasicSyntax -> LexerBasicSyntax #

min :: LexerBasicSyntax -> LexerBasicSyntax -> LexerBasicSyntax #

Append LexerBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(⧺) :: LexerBasicSyntax -> LexerBasicSyntax -> LexerBasicSyntax Source #

Monoid LexerBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Null LexerBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

null :: LexerBasicSyntax Source #

lexerBasicSyntaxPunsL :: LexerBasicSyntax ⟢ 𝑃 𝕊 Source #

lexerBasicSyntaxKeysL :: LexerBasicSyntax ⟢ 𝑃 𝕊 Source #

lexerBasicSyntaxPrmsL :: LexerBasicSyntax ⟢ 𝑃 𝕊 Source #

lexerBasicSyntaxOprsL :: LexerBasicSyntax ⟢ 𝑃 𝕊 Source #

lSyntaxBasic :: (Ord c, Ord u, Additive u) => LexerBasicSyntax -> Regex CharClass ℂ c u Source #

lTokenBasic :: LexerBasicSyntax -> Regex CharClass ℂ TokenClassBasic ℕ64 Source #

lCommentMLBasic :: Regex CharClass ℂ TokenClassBasic ℕ64 Source #

dfaBasic :: LexerBasicSyntax -> ℕ64 -> DFA CharClass ℂ TokenClassBasic ℕ64 Source #

lexerBasic :: LexerBasicSyntax -> Lexer CharClass ℂ TokenClassBasic ℕ64 TokenBasic Source #

data IndentCommand Source #

Constructors

OpenIC 
CloseIC 
NewlineIC 

blockifyTokens :: 𝐿 (AddBT Loc) -> (t -> 𝔹) -> (t -> 𝔹) -> (IndentCommand -> t) -> 𝕍 (PreParserToken t) -> 𝕍 (PreParserToken t) Source #

blockifyTokensTL :: (t -> 𝔹) -> (t -> 𝔹) -> (IndentCommand -> t) -> 𝕍 (PreParserToken t) -> 𝕍 (PreParserToken t) Source #

data TokenClassWSBasic Source #

Constructors

SpaceCWSBasic 
NewlineCWSBasic 
CommentCWSBasic 
SyntaxCWSBasic 
BlockCWSBasic 
StringCWSBasic 
NameCWSBasic 
NaturalCWSBasic 
IntegerCWSBasic 
DoubleCWSBasic 

Instances

Instances details
Show TokenClassWSBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

showsPrec :: Int -> TokenClassWSBasic -> ShowS #

show :: TokenClassWSBasic -> String #

showList :: [TokenClassWSBasic] -> ShowS #

Eq TokenClassWSBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(==) :: TokenClassWSBasic -> TokenClassWSBasic -> Bool #

(/=) :: TokenClassWSBasic -> TokenClassWSBasic -> Bool #

Ord TokenClassWSBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

compare :: TokenClassWSBasic -> TokenClassWSBasic -> Ordering #

(<) :: TokenClassWSBasic -> TokenClassWSBasic -> Bool #

(<=) :: TokenClassWSBasic -> TokenClassWSBasic -> Bool #

(>) :: TokenClassWSBasic -> TokenClassWSBasic -> Bool #

(>=) :: TokenClassWSBasic -> TokenClassWSBasic -> Bool #

max :: TokenClassWSBasic -> TokenClassWSBasic -> TokenClassWSBasic #

min :: TokenClassWSBasic -> TokenClassWSBasic -> TokenClassWSBasic #

Pretty TokenClassWSBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: TokenClassWSBasic -> Doc Source #

spaceCWSBasicL :: TokenClassWSBasic ⌲ () Source #

newlineCWSBasicL :: TokenClassWSBasic ⌲ () Source #

commentCWSBasicL :: TokenClassWSBasic ⌲ () Source #

syntaxCWSBasicL :: TokenClassWSBasic ⌲ () Source #

blockCWSBasicL :: TokenClassWSBasic ⌲ () Source #

stringCWSBasicL :: TokenClassWSBasic ⌲ () Source #

nameCWSBasicL :: TokenClassWSBasic ⌲ () Source #

naturalCWSBasicL :: TokenClassWSBasic ⌲ () Source #

integerCWSBasicL :: TokenClassWSBasic ⌲ () Source #

doubleCWSBasicL :: TokenClassWSBasic ⌲ () Source #

data TokenWSBasic Source #

Constructors

SpaceTWSBasic 𝕊 
NewlineTWSBasic 𝕊 
CommentTWSBasic 𝕊 
SyntaxTWSBasic 𝕊 
BlockTWSBasic 𝕊 
StringTWSBasic 𝕊 
NameTWSBasic 𝕊 
NaturalTWSBasic ℕ 
IntegerTWSBasic ℤ 
DoubleTWSBasic 𝔻 
OpenTWSBasic 
CloseTWSBasic 
DelimiterTWSBasic 

Instances

Instances details
Show TokenWSBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

showsPrec :: Int -> TokenWSBasic -> ShowS #

show :: TokenWSBasic -> String #

showList :: [TokenWSBasic] -> ShowS #

Eq TokenWSBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(==) :: TokenWSBasic -> TokenWSBasic -> Bool #

(/=) :: TokenWSBasic -> TokenWSBasic -> Bool #

Ord TokenWSBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

compare :: TokenWSBasic -> TokenWSBasic -> Ordering #

(<) :: TokenWSBasic -> TokenWSBasic -> Bool #

(<=) :: TokenWSBasic -> TokenWSBasic -> Bool #

(>) :: TokenWSBasic -> TokenWSBasic -> Bool #

(>=) :: TokenWSBasic -> TokenWSBasic -> Bool #

max :: TokenWSBasic -> TokenWSBasic -> TokenWSBasic #

min :: TokenWSBasic -> TokenWSBasic -> TokenWSBasic #

(Pretty 𝕊, Pretty ℕ, Pretty ℤ, Pretty 𝔻) => Pretty TokenWSBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: TokenWSBasic -> Doc Source #

spaceTWSBasicL :: TokenWSBasic ⌲ 𝕊 Source #

newlineTWSBasicL :: TokenWSBasic ⌲ 𝕊 Source #

commentTWSBasicL :: TokenWSBasic ⌲ 𝕊 Source #

syntaxTWSBasicL :: TokenWSBasic ⌲ 𝕊 Source #

blockTWSBasicL :: TokenWSBasic ⌲ 𝕊 Source #

stringTWSBasicL :: TokenWSBasic ⌲ 𝕊 Source #

nameTWSBasicL :: TokenWSBasic ⌲ 𝕊 Source #

naturalTWSBasicL :: TokenWSBasic ⌲ ℕ Source #

integerTWSBasicL :: TokenWSBasic ⌲ ℤ Source #

doubleTWSBasicL :: TokenWSBasic ⌲ 𝔻 Source #

openTWSBasicL :: TokenWSBasic ⌲ () Source #

closeTWSBasicL :: TokenWSBasic ⌲ () Source #

delimiterTWSBasicL :: TokenWSBasic ⌲ () Source #

mkTokenWSBasic :: 𝐼C ℂ -> 𝑂 TokenClassWSBasic -> 𝔹 ∧ TokenWSBasic Source #

lBlocksWSBasic :: (Ord u, Additive u) => 𝑃 𝕊 -> Regex CharClass ℂ TokenClassWSBasic u Source #

lTokenWSBasic :: LexerWSBasicSyntax -> Regex CharClass ℂ TokenClassWSBasic ℕ64 Source #

lCommentMLWSBasic :: Regex CharClass ℂ TokenClassWSBasic ℕ64 Source #

dfaWSBasic :: LexerWSBasicSyntax -> ℕ64 -> DFA CharClass ℂ TokenClassWSBasic ℕ64 Source #

data LexerWSBasicSyntax Source #

Constructors

LexerWSBasicSyntax 

Fields

Instances

Instances details
Show LexerWSBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

showsPrec :: Int -> LexerWSBasicSyntax -> ShowS #

show :: LexerWSBasicSyntax -> String #

showList :: [LexerWSBasicSyntax] -> ShowS #

Eq LexerWSBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(==) :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> Bool #

(/=) :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> Bool #

Ord LexerWSBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

compare :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> Ordering #

(<) :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> Bool #

(<=) :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> Bool #

(>) :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> Bool #

(>=) :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> Bool #

max :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> LexerWSBasicSyntax #

min :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> LexerWSBasicSyntax #

Append LexerWSBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

(⧺) :: LexerWSBasicSyntax -> LexerWSBasicSyntax -> LexerWSBasicSyntax Source #

Monoid LexerWSBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Null LexerWSBasicSyntax Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

null :: LexerWSBasicSyntax Source #

lexerWSBasicSyntaxBaseL :: LexerWSBasicSyntax ⟢ LexerBasicSyntax Source #

lexerWSBasicSyntaxBlocksL :: LexerWSBasicSyntax ⟢ 𝑃 𝕊 Source #

lexerWSBasic :: LexerWSBasicSyntax -> Lexer CharClass ℂ TokenClassWSBasic ℕ64 TokenWSBasic Source #

mkIndentTokenWSBasic :: IndentCommand -> TokenWSBasic Source #

blockifyTokensWSBasic :: 𝕍 (PreParserToken TokenWSBasic) -> 𝕍 (PreParserToken TokenWSBasic) Source #