Functor
Definitions
def <$$>(x: m[a], f: a -> b \ ef): m[b] \ ef
Source<$$>
is the operator <$>
with its arguments flipped.
def ignore(s: m[a]): m[Unit]
SourceReplaces the value a
in s
with Unit
preserving the structure of s
.
This function is typically used to discard the return value of computing s
.
def replace(s: m[a], x: b): m[b]
SourceReplaces the value a
in s
by the given value x
preserving the structure of s
.