Idris2Doc : Text.ILex.Internal.NFA

Text.ILex.Internal.NFA

(source)
Definitions
joinNNode : NNode -> NNode -> NNode
  Totality: total
  Visibility: export
toNFA : DFAState s a => TokenMap8 a -> F1' s
  Visibility: export
debugNFA : DFAState s a => TokenMap8 a -> F1 s (List (Nat, NNode))
  Totality: total
  Visibility: export