Add note on Extend and Comonad type classes #516
Labels
enhancement
New feature or request
Hello-World
Something related to the Hello World folder in this repo
Bind
enables one to compose functions of the type signaturea -> m b
. This is done viabind
/>>=
. The composition is>=>
:Extend
enables a similar composition. Rather than composing functions of the typea -> m b
, it composes functions of the typem a -> b
. This is done viaextend
/<<=
. The composition is=>=
:Whereas
Applicative
'spure
puts a value into a "box", so that one can usebind
to continue to compose functions,Comonad
'sextract
takes a value out of a "box, so that one can useextend
to continue to compose functions.The text was updated successfully, but these errors were encountered: