e238362 · rowtype-yoga/purescript-native

git.iko.soy/rowtype-yoga/purescript-native

Fix functor law in prelude documentation

commite2383622eaff6574dd44cb4e6d757a6fad5ab1dc authorHarry Garrood <harry@garrood.me> dateTue 3 Mar 2015, 11:27 (12 years ago) parent7d49442

2 files changed+2−2

unifiedsplit

prelude/README.md+1−1

@@ -243,7 +243,7 @@ types use the type constructor `f` to represent some computational context.

243243`Functor` instances should satisfy the following laws:

244244

245245- Identity: `(<$>) id = id`

246−- Composition: `(<$>) (f <<< g) = (<$> f) <<< (<$> g)`

246+- Composition: `(<$>) (f <<< g) = (f <$>) <<< (g <$>)`

247247

248248

249249#### `(<#>)`

prelude/prelude.purs+1−1

@@ -229,7 +229,7 @@ module Prelude

229229 -- | `Functor` instances should satisfy the following laws:

230230 -- |

231231 -- | - Identity: `(<$>) id = id`

232− -- | - Composition: `(<$>) (f <<< g) = (<$> f) <<< (<$> g)`

232+ -- | - Composition: `(<$>) (f <<< g) = (f <$>) <<< (g <$>)`

233233 -- |

234234 class Functor f where

235235 (<$>) :: forall a b. (a -> b) -> f a -> f b