Description
Parsing infrastructure for the pipes ecosystem.
Description
pipes-parse
builds upon the pipes
library to provide shared parsing idioms and utilities:
Leftovers: Save unused input for later consumption
Leftover propagation: Leftovers are propagated backwards perfectly
Connect and Resume: Use
StateT
to save unused input for laterTermination Safety: Detect and recover from end of input
Pipes.Parse
contains the full documentation for this library.
Read Pipes.Parse.Tutorial
for an extensive tutorial.