We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Functor
Split
1 parent 82244de commit 0f7bb5bCopy full SHA for 0f7bb5b
src/Data/Profunctor/Split.purs
@@ -17,6 +17,9 @@ newtype Split f a b = Split (Exists (SplitF f a b))
17
18
data SplitF f a b x = SplitF (a -> x) (x -> b) (f x)
19
20
+instance functorSplit :: Functor (Split f a) where
21
+ map f = unSplit \g h fx -> split g (f <<< h) fx
22
+
23
instance profunctorSplit :: Profunctor (Split f) where
24
dimap f g = unSplit \h i -> split (h <<< f) (g <<< i)
25
0 commit comments