Skip to content

Commit e211ea6

Browse files
committed
Rename lmap to lcmap
1 parent 73d4c07 commit e211ea6

3 files changed

Lines changed: 6 additions & 6 deletions

File tree

src/Data/Profunctor.purs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -23,8 +23,8 @@ class Profunctor p where
2323
dimap :: forall a b c d. (a -> b) -> (c -> d) -> p b c -> p a d
2424

2525
-- | Map a function over the (contravariant) first type argument only.
26-
lmap :: forall a b c p. Profunctor p => (a -> b) -> p b c -> p a c
27-
lmap a2b = dimap a2b identity
26+
lcmap :: forall a b c p. Profunctor p => (a -> b) -> p b c -> p a c
27+
lcmap a2b = dimap a2b identity
2828

2929
-- | Map a function over the (covariant) second type argument only.
3030
rmap :: forall a b c p. Profunctor p => (b -> c) -> p a b -> p a c

src/Data/Profunctor/Costar.purs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ import Data.Distributive (class Distributive, distribute)
99
import Data.Either (Either(..), either)
1010
import Data.Functor.Invariant (class Invariant, imapF)
1111
import Data.Newtype (class Newtype)
12-
import Data.Profunctor (class Profunctor, lmap)
12+
import Data.Profunctor (class Profunctor, lcmap)
1313
import Data.Profunctor.Closed (class Closed)
1414
import Data.Profunctor.Cochoice (class Cochoice)
1515
import Data.Profunctor.Costrong (class Costrong)
@@ -75,4 +75,4 @@ instance closedCostar :: Functor f => Closed (Costar f) where
7575
closed (Costar f) = Costar \g x -> f (map (_ $ x) g)
7676

7777
hoistCostar :: forall f g a b. (g ~> f) -> Costar f a b -> Costar g a b
78-
hoistCostar f (Costar g) = Costar (lmap f g)
78+
hoistCostar f (Costar g) = Costar (lcmap f g)

src/Data/Profunctor/Cowrap.purs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ import Prelude
44

55
import Data.Newtype (class Newtype)
66
import Data.Functor.Contravariant (class Contravariant)
7-
import Data.Profunctor (class Profunctor, lmap)
7+
import Data.Profunctor (class Profunctor, lcmap)
88

99
-- | Provides a `Contravariant` over the first argument of a `Profunctor`.
1010
newtype Cowrap p b a = Cowrap (p a b)
@@ -17,4 +17,4 @@ instance showCowrap :: Show (p a b) => Show (Cowrap p b a) where
1717
show (Cowrap x) = "(Cowrap " <> show x <> ")"
1818

1919
instance contravariantCowrap :: Profunctor p => Contravariant (Cowrap p b) where
20-
cmap f (Cowrap a) = Cowrap (lmap f a)
20+
cmap f (Cowrap a) = Cowrap (lcmap f a)

0 commit comments

Comments
 (0)