File tree 1 file changed +4
-4
lines changed
1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -11,16 +11,16 @@ import Data.Function (const, compose)
11
11
import Data.Unit (Unit , unit )
12
12
13
13
-- | A `Functor` is a type constructor which supports a mapping operation
14
- -- | `(<$>) `.
14
+ -- | `map `.
15
15
-- |
16
- -- | `(<$>) ` can be used to turn functions `a -> b` into functions
16
+ -- | `map ` can be used to turn functions `a -> b` into functions
17
17
-- | `f a -> f b` whose argument and return types use the type constructor `f`
18
18
-- | to represent some computational context.
19
19
-- |
20
20
-- | Instances must satisfy the following laws:
21
21
-- |
22
- -- | - Identity: `(<$>) id = id`
23
- -- | - Composition: `(<$>) (f <<< g) = ( f <$>) <<< (g <$>) `
22
+ -- | - Identity: `map id = id`
23
+ -- | - Composition: `map (f <<< g) = map f <<< map g `
24
24
class Functor f where
25
25
map :: forall a b . (a -> b ) -> f a -> f b
26
26
You can’t perform that action at this time.
0 commit comments