A structure which able to lift up in F.
F
All instances of the functor f must satisfy the following laws:
f
f.map((x) => x)
(x) => x
a
b
f.map((x) => b(a(x)))
(x) => f.map(b)(f.map(a)(x))
Readonly
Maps the function fn onto F structure.
fn
The function to be mapped.
The mapped function.
A structure which able to lift up in
F.All instances of the functor
fmust satisfy the following laws:f.map((x) => x)equals to(x) => x,aandb;f.map((x) => b(a(x)))equals to(x) => f.map(b)(f.map(a)(x)).