Fantasy-land: Apply strictness

Created on 27 Apr 2017  路  4Comments  路  Source: fantasyland/fantasy-land

Apply docs state:


A value which has an Apply must provide an ap method. The ap
method takes one argument:

a.ap(b)
  1. b must be an Apply of a function,

shouldn't there be requirement that _b must be same Apply as a_ ?

All 4 comments

There should also be a fourth clause stating:

ap must return a value in the same Apply as a and b

Or something to that effect.

Would you like me to file a PR ?

Would you like me to file a PR ?

Yes

@gabejohnson @safareli -> #247

Was this page helpful?
0 / 5 - 0 ratings

Related issues

Raynos picture Raynos  路  3Comments

leeoniya picture leeoniya  路  6Comments

safareli picture safareli  路  12Comments

davidchambers picture davidchambers  路  8Comments

wenkanglin picture wenkanglin  路  4Comments