| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Data.Functor.Compat
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.
Minimal complete definition
Instances
| Functor [] | |
| Functor IO | |
| Functor Id | |
| Functor P | |
| Functor ZipList | |
| Functor STM | |
| Functor First | |
| Functor Last | |
| Functor ReadPrec | |
| Functor ReadP | |
| Functor Maybe | |
| Functor ((->) r) | |
| Functor (Either a) | |
| Functor ((,) a) | |
| Functor (ST s) | |
| Ix i => Functor (Array i) | |
| Functor (StateL s) | |
| Functor (StateR s) | |
| Functor (ST s) | |
| Functor (Const m) | |
| Monad m => Functor (WrappedMonad m) | |
| Arrow a => Functor (ArrowMonad a) | |
| Functor (Proxy *) | |
| Arrow a => Functor (WrappedArrow a b) | |
| Functor f => Functor (Alt * f) |
($>) :: Functor f => f a -> b -> f b infixl 4
Flipped version of <$.
Examples
Replace the contents of a with a constant Maybe IntString:
>>>Nothing $> "foo"Nothing>>>Just 90210 $> "foo"Just "foo"
Replace the contents of an with a constant
Either Int IntString, 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 NothingNothing>>>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