@@ -8,9 +8,9 @@ description:
8 a semi-isomorphism instead of function. A semi-isomorphism is a isomorphism that can fail in both directions, with slightly
8 a semi-isomorphism instead of function. A semi-isomorphism is a isomorphism that can fail in both directions, with slightly
9 weakened laws. It is worth to note that @Iso@s and @Prism@s from 'lens' are valid semi-isomorphisms :)
9 weakened laws. It is worth to note that @Iso@s and @Prism@s from 'lens' are valid semi-isomorphisms :)
11− Once you write a description you can, for example turn it into an Attoparsec parser.
11+ Once you write a description you can, for example turn it into an Attoparsec parser, or into a 'Data.Syntax.Printer.Text.Printer'.
13− See @syntax-example@ and @syntax-example-json@ for examples, 'syntax-attoparsec' and 'syntax-pretty' for a parser/printer implementation.
13+ See @syntax-example@ and @syntax-example-json@ for examples, @syntax-attoparsec@ and @syntax-printer@ for a parser/printer implementation.
15 The library was inspired by:
15 The library was inspired by:
@@ -18,9 +18,7 @@ description:
21− * A printer library based on Text/ByteString builders (wrapping 'pretty' is inefficient and doesn't use any features of it).
23− * Research relative monads and relative monad transformers. Indent is basically a Reader monad over a syntax. How would a State monad look?
21+ * Research relative monads and relative monad transformers. Indent is basically a Reader monad over a syntax. How would a State monad look?
25 * Try to implement Haskell layout rule.
23 * Try to implement Haskell layout rule.
@@ -28,7 +26,7 @@ description:
29 * Better error messages.
27 * Better error messages.
31− * Maybe an implementation of do notation for SemiIsoMonad with QuasiQuoters.
29+ * Maybe an implementation of do notation for SemiIsoMonad with QuasiQuoters, like the codo notation for comonads.
33license: MIT
31license: MIT
34license-file: LICENSE
32license-file: LICENSE