We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Closed
Tagged
1 parent ca87c46 commit 7df3be7Copy full SHA for 7df3be7
src/Data/Lens/Internal/Tagged.purs
@@ -2,9 +2,11 @@
2
module Data.Lens.Internal.Tagged where
3
4
import Data.Either (Either(..))
5
+import Data.Function (const)
6
import Data.Newtype (class Newtype)
7
import Data.Profunctor (class Profunctor)
8
import Data.Profunctor.Choice (class Choice)
9
+import Data.Profunctor.Closed (class Closed)
10
import Data.Profunctor.Costrong (class Costrong)
11
import Data.Tuple (Tuple(..))
12
@@ -22,3 +24,6 @@ instance taggedChoice :: Choice Tagged where
22
24
instance taggedCostrong :: Costrong Tagged where
23
25
unfirst (Tagged (Tuple b _)) = Tagged b
26
unsecond (Tagged (Tuple _ c)) = Tagged c
27
+
28
+instance taggedClosed :: Closed Tagged where
29
+ closed (Tagged b) = Tagged (const b)
0 commit comments