Idris2Doc : Data.Swirl.Parsing.String

Data.Swirl.Parsing.String

(source)
Reexports
import public Data.Swirl.Parsing
Definitions
line : RawParser m String Void r r Char String
  Totality: total
  Visibility: export