git.iko.soy/Idris-dev
on 19b9ad1 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.idrText.Lexer: toTokenMap utility function Literate.idrFix deprecation warning in Text.Literate Parser.idrText.Parser: add `match` function for easier terminals Quantity.idrText.Lexer, Text.Parser: quantity combinators Token.idrText.Token: utilities for token value conversion