@@ -5,8 +5,9 @@ description:
55 "syntax" allows you to write a single syntax description and instantiate is both as a parser and a pretty printer.
66 .
77 Syntax descriptions are written in applicative or arrow style. The library uses a custom typeclass hierarchy, provided
8− by the "semi-iso" package. Most of the time you will be using operators like '/$/' and '/*/', just like parser combinators.
9− When more power is needed - e.g. when the syntax depends on the parsed or printed value - you turn to arrows.
8+ by the "semi-iso" package. Most of the time you will be using operators like '/$/', '/*/' and '/+/' (= '<|>'), just
9+ like parser combinators. When more power is needed - e.g. when the syntax depends on the parsed or printed value -
10+ you turn to arrows.
1011 .
1112 Semi-isomorphisms from "semi-iso" are the basic building block of syntax descriptions. I recommend reading
1213 the hackage page of "semi-iso" first, as it contains much more information.