Idris2Doc : Text.ILex.Internal.ENFA

Text.ILex.Internal.ENFA

(source)

Definitions

toENFA : DFAState s a => TokenMap8 a -> F1' s
  Compiles an expression to a graph with epsilon transitions

Totality: total
Visibility: export
debugENFA : DFAState s a => TokenMap8 a -> F1 s (List (Nat, ENode))
Totality: total
Visibility: export