You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+6-3Lines changed: 6 additions & 3 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -515,7 +515,7 @@ Constants are [referentially transparent](#referential-transparency-todo). That
515
515
516
516
## Lift (TODO)
517
517
518
-
Lifting is when you take a value and put it into an object like a [functor](#pointed-functor-todo). If you lift a function into an [Applicative Functor](#applicative-functor-todo) then you can make it work on values that are also in that functor.
518
+
Lifting is when you take a value and put it into an object like a [Functor](#functor). If you lift a function into an [Applicative Functor](#applicative-functor) then you can make it work on values that are also in that functor.
519
519
520
520
Some implementations have a function called `lift`, or `liftA2` to make it easier to run functions on functors.
521
521
@@ -633,7 +633,9 @@ An Applicative Functor is an object with `apply` and `.from_value` methods:
633
633
634
634
All Applicative Functors must also follow [a bunch of laws](https://returns.readthedocs.io/en/latest/pages/interfaces.html#applicative).
635
635
636
-
You can have a look at the real-life [`Applicative Functor` interface](https://github.com/dry-python/returns/blob/master/returns/interfaces/applicative.py).
@@ -661,7 +663,8 @@ Tuples, lists, and strings are also monoids:
661
663
662
664
## Monad (TODO)
663
665
664
-
A monad is an object with [`of`](#pointed-functor-todo) and `chain` functions. `chain` is like [`map`](#functor-todo) except it un-nests the resulting nested object.
666
+
A monad is an [Applicative Functor](#applicative-functor) with `bind` method.
667
+
`bind` is like [`map`](#functor) except it un-nests the resulting nested object.
0 commit comments