Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
52 lines (42 sloc) 1.72 KB
opam-version: "2.0"
name: "ppx_compose"
authors: ["Petter A. Urkedal"]
maintainer: ""
homepage: ""
bug-reports: ""
dev-repo: "git+"
license: "LGPL-3 with OCaml linking exception"
build: [
["jbuilder" "build" "-p" name "-j" jobs]
["jbuilder" "runtest" "-p" name "-j" jobs] {with-test}
depends: [
"ocaml" {>= "4.02.3"}
"jbuilder" {build & >= "1.0+beta7"}
synopsis: "Inlined Function Composition"
description: """
`ppx_compose` is a simple syntax extension which rewrites code containing
function compositions into composition-free code, effectively inlining the
composition operators. The following two operators are supported
let (%) g f x = g (f x)
let (%>) f g x = g (f x)
Corresponding definitions are not provided, so partial applications of `(%)`
and `(%>)` will be undefined unless you provide the definitions.
The following rewrites are done:
* A composition occurring to the left of an application is reduced by
applying each term of the composition from right to left to the
argument, ignoring associative variations.
* A composition which is not the left side of an application is first
turned into one by η-expansion, then the above rule applies.
* Any partially applied composition operators are passed though unchanged.
h % g % f ==> (fun x -> h (f (g x)))
h % (g % f) ==> (fun x -> h (f (g x)))
(g % f) (h % h) ==> g (f (fun x -> h (h x)))"""
url {
checksum: "md5=d597c0b1cf29402bbd29d821792c867e"