Idris2Doc : Text.Parse

Text.Parse

(source)
Reexports
import public Text.ParseError
import public Text.FC
import public Text.Parse.Core