Skip to content

Commit f79b06c

Browse files
garybgaryb
committed
Import/export tweaks
1 parent ebb8443 commit f79b06c

File tree

15 files changed

+146
-133
lines changed

15 files changed

+146
-133
lines changed

‎src/Data/Lens/Common.purs‎

Lines changed: 9 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,15 @@
11
-- | This module defines common lenses and prisms.
22

33
module Data.Lens.Common where
4-
--------------------------------------------------------------------------------
5-
import Prelude
6-
import Data.Maybe
7-
import Data.Either
8-
import Data.Tuple
9-
import Data.Lens.Types
10-
import Data.Lens.Prism
11-
import Data.Lens.Lens
12-
import Data.Lens.Internal.Void
13-
--------------------------------------------------------------------------------
4+
5+
import Prelude (Unit(), unit, const, ($), (<<<))
6+
7+
import Data.Either (Either(..), either)
8+
import Data.Lens.Internal.Void (Void(), absurd)
9+
import Data.Lens.Lens (Lens(), LensP(), lens)
10+
import Data.Lens.Prism (Prism(), prism)
11+
import Data.Maybe (Maybe(..), maybe)
12+
import Data.Tuple (Tuple(..))
1413

1514
-- | Prism for the `Nothing` constructor of `Maybe`.
1615
_Nothing :: forall a b. Prism (Maybe a) (Maybe b) Unit Unit

‎src/Data/Lens/Fold.purs‎

Lines changed: 27 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -1,36 +1,39 @@
1-
-- | This module defines functions for working with getters.
1+
-- | This module defines functions for working with folds.
22

33
module Data.Lens.Fold
44
( (^?), (^..)
55
, preview, foldOf, foldMapOf, foldrOf, foldlOf, toListOf, firstOf, lastOf
66
, maximumOf, minimumOf, allOf, anyOf, andOf, orOf, elemOf, notElemOf, sumOf
77
, productOf, lengthOf, findOf, sequenceOf_, has, hasn't, replicated, filtered
8+
, module ExportTypes
89
) where
910

1011
import Prelude
11-
import Data.Const
12-
import Data.Maybe
13-
import Data.List
14-
import Data.Either
15-
import Data.Tuple
16-
import Data.Monoid
17-
import Data.Maybe.First
18-
import Data.Maybe.Last
19-
import Data.Monoid.Endo
20-
import Data.Monoid.Conj
21-
import Data.Monoid.Disj
22-
import Data.Monoid.Dual
23-
import Data.Monoid.Additive
24-
import Data.Monoid.Multiplicative
25-
import Data.Functor.Contravariant
26-
import Data.Foldable
27-
import Data.Profunctor
28-
import Data.Profunctor.Star
29-
import Data.Profunctor.Choice
30-
import Data.Lens.Types
31-
import Data.Lens.Internal.Tagged
32-
import Data.Lens.Internal.Void
33-
import Control.Apply
12+
13+
import Control.Apply ((*>))
14+
15+
import Data.Const (Const(..), getConst)
16+
import Data.Either (Either(..), either)
17+
import Data.Foldable (Foldable, foldr)
18+
import Data.Functor.Contravariant (Contravariant)
19+
import Data.List (List(..), (:))
20+
import Data.Maybe (Maybe(..), maybe)
21+
import Data.Maybe.First (First(..), runFirst)
22+
import Data.Maybe.Last (Last(..), runLast)
23+
import Data.Monoid.Additive (Additive(..), runAdditive)
24+
import Data.Monoid.Conj (Conj(..), runConj)
25+
import Data.Monoid.Disj (Disj(..), runDisj)
26+
import Data.Monoid.Dual (Dual(..), runDual)
27+
import Data.Monoid.Endo (Endo(..), runEndo)
28+
import Data.Monoid.Multiplicative (Multiplicative(..), runMultiplicative)
29+
import Data.Profunctor (dimap)
30+
import Data.Profunctor.Choice (Choice, right)
31+
import Data.Profunctor.Star (Star(..), runStar)
32+
import Data.Tuple (Tuple(..))
33+
34+
import Data.Lens.Internal.Void (Void(), coerce)
35+
import Data.Lens.Types (Fold(), FoldP()) as ExportTypes
36+
import Data.Lens.Types (Optic(), OpticP(), Fold(), FoldP())
3437

3538
infixl 8 ^?
3639
infixl 8 ^..

‎src/Data/Lens/Getter.purs‎

Lines changed: 8 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3,13 +3,16 @@
33
module Data.Lens.Getter
44
( (^.)
55
, view, to
6+
, module Data.Lens.Types
67
) where
78

8-
import Prelude
9-
import Data.Const
10-
import Data.Profunctor.Star
11-
import Data.Lens.Types
12-
import Data.Functor.Contravariant
9+
import Prelude ((<<<))
10+
11+
import Data.Const (Const(..), getConst)
12+
import Data.Functor.Contravariant (Contravariant, cmap)
13+
import Data.Profunctor.Star (Star(..), runStar)
14+
15+
import Data.Lens.Types (Getter(), Optic())
1316

1417
infixl 8 ^.
1518

‎src/Data/Lens/Internal/Exchange.purs‎

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,9 @@
22

33
module Data.Lens.Internal.Exchange where
44

5-
import Prelude
6-
import Data.Either
7-
import Data.Profunctor
8-
import qualified Data.Bifunctor as B
9-
import Data.Profunctor.Choice
5+
import Prelude (Functor, (<<<))
6+
7+
import Data.Profunctor (Profunctor)
108

119
-- | The `Exchange` profunctor characterizes an `Iso`.
1210
data Exchange a b s t = Exchange (s -> a) (b -> t)

‎src/Data/Lens/Internal/Market.purs‎

Lines changed: 10 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -2,23 +2,22 @@
22

33
module Data.Lens.Internal.Market where
44

5-
import Prelude
6-
import Data.Either
7-
import Data.Profunctor
8-
import qualified Data.Bifunctor as B
9-
import Data.Profunctor.Choice
5+
import Prelude (Functor, (<<<))
6+
7+
import Data.Bifunctor as BF
8+
import Data.Either (Either(..), either)
9+
import Data.Profunctor (Profunctor)
10+
import Data.Profunctor.Choice (Choice)
1011

1112
-- | The `Market` profunctor characterizes a `Prism`.
1213
data Market a b s t = Market (b -> t) (s -> Either t a)
1314

1415
instance functorMarket :: Functor (Market a b s) where
15-
map f (Market a b) = Market (f <<< a) (B.lmap f <<< b)
16+
map f (Market a b) = Market (f <<< a) (BF.lmap f <<< b)
1617

1718
instance profunctorMarket :: Profunctor (Market a b) where
18-
dimap f g (Market a b) = Market (g <<< a) (B.lmap g <<< b <<< f)
19+
dimap f g (Market a b) = Market (g <<< a) (BF.lmap g <<< b <<< f)
1920

2021
instance choiceMarket :: Choice (Market a b) where
21-
left (Market x y) = Market
22-
(Left <<< x) (either (B.lmap Left <<< y) (Left <<< Right))
23-
right (Market x y) = Market
24-
(Right <<< x) (either (Left <<< Left) (B.lmap Right <<< y))
22+
left (Market x y) = Market (Left <<< x) (either (BF.lmap Left <<< y) (Left <<< Right))
23+
right (Market x y) = Market (Right <<< x) (either (Left <<< Left) (BF.lmap Right <<< y))

‎src/Data/Lens/Internal/Shop.purs‎

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,11 @@
22

33
module Data.Lens.Internal.Shop where
44

5-
import Prelude
6-
import Data.Tuple
7-
import Data.Profunctor
8-
import Data.Profunctor.Strong
5+
import Prelude ((<<<))
6+
7+
import Data.Profunctor (Profunctor)
8+
import Data.Profunctor.Strong (Strong)
9+
import Data.Tuple (Tuple(..))
910

1011
-- | The `Shop` profunctor characterizes a `Lens`.
1112
data Shop a b s t = Shop (s -> a) (s -> b -> t)

‎src/Data/Lens/Internal/Tagged.purs‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22

33
module Data.Lens.Internal.Tagged where
44

5-
import Data.Profunctor
6-
import Data.Profunctor.Choice
7-
import Data.Either
5+
import Data.Profunctor (Profunctor)
6+
import Data.Profunctor.Choice (Choice)
7+
import Data.Either (Either(..))
88

99
newtype Tagged a b = Tagged b
1010

‎src/Data/Lens/Internal/Void.purs‎

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,11 @@
22

33
module Data.Lens.Internal.Void where
44

5-
import Prelude
6-
import Data.Functor.Contravariant
7-
import Unsafe.Coerce
5+
import Prelude (Functor, (<$>))
6+
7+
import Data.Functor.Contravariant (Contravariant, (>$<))
8+
9+
import Unsafe.Coerce (unsafeCoerce)
810

911
data Void
1012

‎src/Data/Lens/Internal/Wander.purs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,12 @@
22

33
module Data.Lens.Internal.Wander where
44

5-
import Prelude
5+
import Prelude (Applicative, (<<<), ($))
66

77
import Data.Profunctor.Strong (Strong)
88
import Data.Profunctor.Choice (Choice)
99
import Data.Profunctor.Star (Star(..), runStar)
10-
import Data.Identity (Identity (..), runIdentity)
10+
import Data.Identity (Identity(..), runIdentity)
1111

1212
-- | Class for profunctors that support polymorphic traversals.
1313
class (Strong p, Choice p) <= Wander p where

‎src/Data/Lens/Iso.purs‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2,15 +2,15 @@
22

33
module Data.Lens.Iso
44
( iso, withIso, cloneIso, au, auf, under, curried, uncurried, flipped
5+
, module Data.Lens.Types
56
) where
67

7-
import Prelude
8+
import Prelude ((<<<), flip, id)
89

9-
import Data.Tuple
10-
import Data.Lens.Types
11-
import Data.Lens.Internal.Exchange
12-
import Data.Profunctor
13-
import Data.Profunctor.Strong
10+
import Data.Profunctor (Profunctor, dimap, rmap)
11+
import Data.Tuple (Tuple(), curry, uncurry)
12+
13+
import Data.Lens.Types (Iso(), IsoP(), AnIso(), AnIsoP(), Exchange(..))
1414

1515
-- | Create an `Iso` from a pair of morphisms.
1616
iso :: forall s t a b. (s -> a) -> (b -> t) -> Iso s t a b

0 commit comments

Comments
 (0)