this repo has no description
Merge branch 'master' into answers
+17
-8
+13
src/Lets/Data.hs
+13
src/Lets/Data.hs
···
16
16
, Identity(..)
17
17
, AlongsideLeft(..)
18
18
, AlongsideRight(..)
19
+
, bool
19
20
) where
20
21
21
22
import Control.Applicative(Applicative(..))
···
178
179
instance Functor f => Functor (AlongsideRight f a) where
179
180
fmap f (AlongsideRight x) =
180
181
AlongsideRight (fmap (\(a, b) -> (a, f b)) x)
182
+
183
+
----
184
+
185
+
bool ::
186
+
a
187
+
-> a
188
+
-> Bool
189
+
-> a
190
+
bool f _ False =
191
+
f
192
+
bool _ t True =
193
+
t
+1
-2
src/Lets/GetSetLens.hs
+1
-2
src/Lets/GetSetLens.hs
···
38
38
) where
39
39
40
40
import Control.Applicative(Applicative((<*>)))
41
-
import Data.Bool(bool)
42
41
import Data.Char(toUpper)
43
42
import Data.Map(Map)
44
43
import qualified Data.Map as Map(insert, delete, lookup)
45
44
import Data.Set(Set)
46
45
import qualified Data.Set as Set(insert, delete, member)
47
-
import Lets.Data(Person(Person), Locality(Locality), Address(Address))
46
+
import Lets.Data(Person(Person), Locality(Locality), Address(Address), bool)
48
47
import Prelude hiding (product)
49
48
50
49
-- $setup
+1
-2
src/Lets/Lens.hs
+1
-2
src/Lets/Lens.hs
···
74
74
) where
75
75
76
76
import Control.Applicative(Applicative((<*>), pure))
77
-
import Data.Bool(bool)
78
77
import Data.Char(toUpper)
79
78
import Data.Foldable(Foldable(foldMap))
80
79
import Data.Functor((<$>))
···
83
82
import Data.Monoid(Monoid)
84
83
import qualified Data.Set as Set(Set, insert, delete, member)
85
84
import Data.Traversable(Traversable(traverse))
86
-
import Lets.Data(AlongsideLeft(AlongsideLeft, getAlongsideLeft), AlongsideRight(AlongsideRight, getAlongsideRight), Identity(Identity, getIdentity), Const(Const, getConst), Tagged(Tagged, getTagged), IntOr(IntOrIs, IntOrIsNot), IntAnd(IntAnd), Person(Person), Locality(Locality), Address(Address))
85
+
import Lets.Data(AlongsideLeft(AlongsideLeft, getAlongsideLeft), AlongsideRight(AlongsideRight, getAlongsideRight), Identity(Identity, getIdentity), Const(Const, getConst), Tagged(Tagged, getTagged), IntOr(IntOrIs, IntOrIsNot), IntAnd(IntAnd), Person(Person), Locality(Locality), Address(Address), bool)
87
86
import Lets.Choice(Choice(left, right))
88
87
import Lets.Profunctor(Profunctor(dimap))
89
88
import Prelude hiding (product)
+1
-2
src/Lets/OpticPolyLens.hs
+1
-2
src/Lets/OpticPolyLens.hs
···
42
42
, modifyIntandLengthEven
43
43
) where
44
44
45
-
import Data.Bool(bool)
46
45
import Data.Char(toUpper)
47
46
import Data.Map(Map)
48
47
import qualified Data.Map as Map(insert, delete, lookup)
49
48
import Data.Set(Set)
50
49
import qualified Data.Set as Set(insert, delete, member)
51
-
import Lets.Data(AlongsideLeft(AlongsideLeft, getAlongsideLeft), AlongsideRight(AlongsideRight, getAlongsideRight), Identity(Identity, getIdentity), Const(Const, getConst), IntAnd(IntAnd), Person(Person), Locality(Locality), Address(Address))
50
+
import Lets.Data(AlongsideLeft(AlongsideLeft, getAlongsideLeft), AlongsideRight(AlongsideRight, getAlongsideRight), Identity(Identity, getIdentity), Const(Const, getConst), IntAnd(IntAnd), Person(Person), Locality(Locality), Address(Address), bool)
52
51
import Prelude hiding (product)
53
52
54
53
-- $setup
+1
-2
src/Lets/StoreLens.hs
+1
-2
src/Lets/StoreLens.hs
···
45
45
) where
46
46
47
47
import Control.Applicative(Applicative((<*>)))
48
-
import Data.Bool(bool)
49
48
import Data.Char(toUpper)
50
49
import Data.Functor((<$>))
51
50
import Data.Map(Map)
52
51
import qualified Data.Map as Map(insert, delete, lookup)
53
52
import Data.Set(Set)
54
53
import qualified Data.Set as Set(insert, delete, member)
55
-
import Lets.Data(Store(Store), Person(Person), Locality(Locality), Address(Address))
54
+
import Lets.Data(Store(Store), Person(Person), Locality(Locality), Address(Address), bool)
56
55
import Prelude hiding (product)
57
56
58
57
-- $setup