ppx extension for do notation, pattern guards, and monad comprehension
Description

ppx_monadic

ppx_monadic is a PPX syntax extension for monadic bind syntactic sugar.

The sugar is supported inside the following constructs:

  • do_ sequence notation for monadic bind
  • when clause for pattern guards
  • [%comp e || ..] for list (and other monadic) comprehensions
Install
Last Published
23 Jan 2018
Authors
Maintainers
Sources
ppx_monadic-2.3.0.tar.gz
md5=acabe9d688bd3b9f80d7120699ee0a1f
Dependencies
ppxx >= "2.3.0" & < "2.4.0"
jbuilder >= "1.0+beta7"
ocaml >= "4.03.0"
Reverse Dependencies
gapi-ocaml >= "0.3.7" & < "0.3.15"
goblint < "1.1.1"
modelica_ml >= "0.2.0"
ocamltter >= "4.0.0"
planck >= "2.2.0"