Data.Functor

>>> fmap show (Just 1)  --  (a   -> b)      -> f a       -> f b
Just "1"                --  (Int -> String) -> Maybe Int -> Maybe String

>>> fmap show Nothing   --  (a   -> b)      -> f a       -> f b
Nothing                 --  (Int -> String) -> Maybe Int -> Maybe String

>>> fmap show [1,2,3]   --  (a   -> b)      -> f a       -> f b
["1", "2", "3"]         --  (Int -> String) -> [Int]     -> [String]

>>> fmap show []        --  (a   -> b)      -> f a       -> f b
[]                      --  (Int -> String) -> [Int]     -> [String]

>>> fmap show (Just 1) --  (Int -> String) -> Maybe Int -> Maybe String
Just "1"
>>> show <$> (Just 1)  --  (Int -> String) -> Maybe Int -> Maybe String
Just "1"

class Functor f where Источник

Тип f является Functor, если он предоставляет функцию fmap, которая, учитывая любые типы a и b, позволяет применить любую функцию из (a -> b) для преобразования f a в f b, сохраняя структуру f Фактически, f должен соответствовать следующим условиям:

Тождество

fmap id == id

Композиция

fmap (f . g) == fmap f . fmap g

Обратите внимание, что второе условие следует из свободной теоремы для типа fmap и первого условия, поэтому вам достаточно проверить выполнение первого.

do a <- as
   pure (f a)

do bs
   pure a

($>) :: Functor f => f a -> b -> f b infixl 4 Исходный код

Перевернутая версия <$.

Используя ApplicativeDo: 'as $> b' можно понимать как выражение do

do as
   pure b

с выведенным Functor ограничением.

Примеры

>>> Nothing $> "foo"
Nothing
>>> Just 90210 $> "foo"
Just "foo"

>>> Left 8675309 $> "foo"
Left 8675309
>>> Right 8675309 $> "foo"
Right "foo"

>>> [1,2,3] $> "foo"
["foo","foo","foo"]

>>> (1,2) $> "foo"
(1,"foo")

С момента: base-4.7.0.0

(<$>) :: Functor f => (a -> b) -> f a -> f b infixl 4 Исходный код

Инфиксный синоним для fmap.

Название этого оператора является отсылкой к $. Обратите внимание на сходство их типов:

 ($)  ::              (a -> b) ->   a ->   b
(<$>) :: Functor f => (a -> b) -> f a -> f b

В то время как $ является применением функции, <$> является применением функции, поднятым над Functor.

Примеры

>>> show <$> Nothing
Nothing
>>> show <$> Just 3
Just "3"

>>> show <$> Left 17
Left 17
>>> show <$> Right 17
Right "17"

>>> (*2) <$> [1,2,3]
[2,4,6]

>>> even <$> (2,2)
(2,True)

(<&>) :: Functor f => f a -> (a -> b) -> f b infixl 1 Source

Перевернутая версия <$>.

(<&>) = flip fmap

Примеры

>>> Just 2 <&> (+1)
Just 3

>>> [1,2,3] <&> (+1)
[2,3,4]

>>> Right 3 <&> (+1)
Right 4

С момента: base-4.11.0.0

void :: Functor f => f a -> f () Source

void value игнорирует результат вычисления, например, возвращаемое значение действия IO.

Используя ApplicativeDo: 'void as' можно рассматривать как выражение do,

do as
   pure ()

с выведенным Functor ограничением.

Примеры

>>> void Nothing
Nothing
>>> void (Just 3)
Just ()

>>> void (Left 8675309)
Left 8675309
>>> void (Right 8675309)
Right ()

>>> void [1,2,3]
[(),(),()]

>>> void (1,2)
(1,())

>>> mapM print [1,2]
1
2
[(),()]
>>> void $ mapM print [1,2]
1
2