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
StateTto 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.