functor-laws: Functor Laws
In monad: Operators and Generics for Monads
functor-laws R Documentation
Functor Laws
Description
Classes implementing fmap() are expected to satisfy two functor laws:
preservation of identity and preservation of composition.
Arguments
m
A functor object.
f, g
Functions.
Details
The Haskell functor laws can be translated into R as follows:
- Preservation of identity:
m %>>% identity is equal to m |> identity().
- Preservation of composition:
m %>>% (f %.% g) is equal to m %>>% g %>>% f.
Where above %.% denotes function composition \(f, g) \(x) f(g(x)).
References
https://wiki.haskell.org/Functor#Functor_Laws
See Also
Other implementation laws:
monad-laws
monad documentation built on Oct. 28, 2024, 5:07 p.m.
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
| functor-laws | R Documentation |
Functor Laws
Description
Classes implementing fmap() are expected to satisfy two functor laws:
preservation of identity and preservation of composition.
Arguments
m |
A functor object. |
f, g |
Functions. |
Details
The Haskell functor laws can be translated into R as follows:
- Preservation of identity:
m %>>% identityis equal tom |> identity().- Preservation of composition:
m %>>% (f %.% g)is equal tom %>>% g %>>% f.
Where above %.% denotes function composition \(f, g) \(x) f(g(x)).
References
https://wiki.haskell.org/Functor#Functor_Laws
See Also
Other implementation laws:
monad-laws
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Embedding an R snippet on your website
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.