Idris2Doc : Text.ILex.Internal.DFA

Text.ILex.Internal.DFA

(source)

Definitions

toDFA : DFAState s a => TokenMap8 a -> F1 s (List (Nat, Node))
Visibility: export