Skip to content

Instantly share code, notes, and snippets.

@paulp
Created March 10, 2017 23:46
Show Gist options
  • Save paulp/384d2d8c3835e011097fc81544cafc73 to your computer and use it in GitHub Desktop.
Save paulp/384d2d8c3835e011097fc81544cafc73 to your computer and use it in GitHub Desktop.
ap
psp@seed:/s/github/monixio/monix (master) ag-bare -w ap | ag -vw def
F.ap(ff)(fa)
F.ap(ff)(fa)
F.applicative.ap(ff)(fa)
* It can be optionally imported in scope to make `map2` and `ap` to
szF.ap(fa)(ff)
F.ap(f)(fa)
F.applicative.ap(f)(fa)
val fa2 = F.ap(fa)(ff)
val fa2 = F.ap(fa)(ff)
val fa2 = F.ap(fa)(ff)
F.ap(x)(F.pure(1))
A.ap(fbc)(A.ap(fab)(fa)) <-> A.ap(A.ap(F.map(fbc)(compose))(fab))(fa)
A.ap(A.pure((a: A) => a))(fa) <-> fa
A.ap(A.pure(f))(A.pure(a)) <-> A.pure(f(a))
A.ap(ff)(A.pure(a)) <-> A.ap(A.pure((f: A => B) => f(a)))(ff)
F.map(fa)(f) <-> A.ap(A.pure(f))(fa)
A.ap(A.ap(A.ap(A.pure(compose))(fbc))(fab))(fa) <-> A.ap(fbc)(A.ap(fab)(fa))
A.ap(fab)(fa) <-> M.flatMap(fab)(f => F.map(fa)(f))
q"($monadExpr).ap($valueExpr)($ff)"
$ops.F.ap(($ops).self)($ff)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment