git.iko.soy/Idris-dev
on 4162113 help sign in
Idris-dev/libs/contrib/Text
3 folders, 5 files
../ Lexer/Text.Lexer: add `concatMap`, move `concat` out of core Parser/Text.Parser.Core: mapToken conversion function PrettyPrint/Fixes #4048. Add Laziness annotations. Lexer.idradd regular expression equivalents to Text.Lexer documentation Literate.idrFix deprecation warning in Text.Literate Parser.idrText.Token: capitalize `TokType` in `TokenKind` Quantity.idrText.Lexer, Text.Parser: quantity combinators Token.idrText.Token: capitalize `TokType` in `TokenKind`