Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
class Functor (f :: * -> *) where #
The Functor
class is used for types that can be mapped over.
Instances of Functor
should satisfy the following laws:
fmap id == id fmap (f . g) == fmap f . fmap g
The instances of Functor
for lists, Maybe
and IO
satisfy these laws.
Functor [] | Since: 2.1 |
Functor Maybe | Since: 2.1 |
Functor IO | Since: 2.1 |
Functor Min | Since: 4.9.0.0 |
Functor Max | Since: 4.9.0.0 |
Functor First | Since: 4.9.0.0 |
Functor Last | Since: 4.9.0.0 |
Functor Option | Since: 4.9.0.0 |
Functor Dual | Since: 4.8.0.0 |
Functor Sum | Since: 4.8.0.0 |
Functor Product | Since: 4.8.0.0 |
Functor First | |
Functor Last | |
Functor ((,) a) | Since: 2.1 |
Functor (Arg a) | Since: 4.9.0.0 |
Functor f => Functor (Alt * f) | |
Functor ((->) LiftedRep LiftedRep r) | Since: 2.1 |
($>) :: Functor f => f a -> b -> f b infixl 4 #
Flipped version of <$
.
Examples
Replace the contents of a
with a constant Maybe
Int
String
:
>>>
Nothing $> "foo"
Nothing>>>
Just 90210 $> "foo"
Just "foo"
Replace the contents of an
with a constant
Either
Int
Int
String
, resulting in an
:Either
Int
String
>>>
Left 8675309 $> "foo"
Left 8675309>>>
Right 8675309 $> "foo"
Right "foo"
Replace each element of a list with a constant String
:
>>>
[1,2,3] $> "foo"
["foo","foo","foo"]
Replace the second element of a pair with a constant String
:
>>>
(1,2) $> "foo"
(1,"foo")
Since: 4.7.0.0
void :: Functor f => f a -> f () #
discards or ignores the result of evaluation, such
as the return value of an void
valueIO
action.
Examples
Replace the contents of a
with unit:Maybe
Int
>>>
void Nothing
Nothing>>>
void (Just 3)
Just ()
Replace the contents of an
with unit,
resulting in an Either
Int
Int
:Either
Int
'()'
>>>
void (Left 8675309)
Left 8675309>>>
void (Right 8675309)
Right ()
Replace every element of a list with unit:
>>>
void [1,2,3]
[(),(),()]
Replace the second element of a pair with unit:
>>>
void (1,2)
(1,())
Discard the result of an IO
action:
>>>
mapM print [1,2]
1 2 [(),()]>>>
void $ mapM print [1,2]
1 2