Idris2Doc : Text.ILex.Debug
Definitions
appLst : Doc d -> List (Doc d) -> Doc d- Totality: total
Visibility: export strLst : String -> List (Doc d) -> Doc d- Totality: total
Visibility: export prettyNats : List Nat -> Doc d- Totality: total
Visibility: export prettyEdge : Edge -> Doc d- Totality: total
Visibility: export prettyENode : (Nat, ENode) -> Doc d- Totality: total
Visibility: export prettyNEdge : NEdge -> Doc d- Totality: total
Visibility: export prettyNNode : (Nat, NNode) -> Doc d- Totality: total
Visibility: export prettyNode : (Nat, Node) -> Doc d- Totality: total
Visibility: export prettyENFA : Pretty a => TokenMap8 a -> IO ()- Visibility: export
prettyNFA : Pretty a => TokenMap8 a -> IO ()- Visibility: export
prettyDFA : Pretty a => TokenMap8 a -> IO ()- Visibility: export
prettyLexer : DFA q r s -> IO ()- Totality: total
Visibility: export prettyParser : {default False _ : Bool} -> (p : P1 World e a) -> (PIx p -> String) -> IO ()- Totality: total
Visibility: export