From bf02df03bd819888eea1598cd760c82e82fb0eab Mon Sep 17 00:00:00 2001 From: Mike Solomon Date: Fri, 11 Dec 2020 08:19:12 +0200 Subject: [PATCH 1/2] Removes costrong and cochoice from costar --- src/Data/Profunctor/Costar.purs | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/src/Data/Profunctor/Costar.purs b/src/Data/Profunctor/Costar.purs index ab3275b..be297cd 100644 --- a/src/Data/Profunctor/Costar.purs +++ b/src/Data/Profunctor/Costar.purs @@ -11,8 +11,6 @@ import Data.Functor.Invariant (class Invariant, imapF) import Data.Newtype (class Newtype) import Data.Profunctor (class Profunctor, lcmap) import Data.Profunctor.Closed (class Closed) -import Data.Profunctor.Cochoice (class Cochoice) -import Data.Profunctor.Costrong (class Costrong) import Data.Profunctor.Strong (class Strong) import Data.Tuple (Tuple(..), fst, snd) @@ -58,20 +56,6 @@ instance strongCostar :: Comonad f => Strong (Costar f) where first (Costar f) = Costar \x -> Tuple (f (map fst x)) (snd (extract x)) second (Costar f) = Costar \x -> Tuple (fst (extract x)) (f (map snd x)) -instance costrongCostar :: Functor f => Costrong (Costar f) where - unfirst (Costar f) = Costar \fb -> - let bd = f ((\a -> Tuple a (snd bd)) <$> fb) in fst bd - unsecond (Costar f) = Costar \fb -> - let db = f ((\a -> Tuple (fst db) a) <$> fb) in snd db - -instance cochoiceCostar :: Applicative f => Cochoice (Costar f) where - unleft (Costar f) = - let g = either identity (\r -> g (pure (Right r))) <<< f - in Costar (g <<< map Left) - unright (Costar f) = - let g = either (\l -> g (pure (Left l))) identity <<< f - in Costar (g <<< map Right) - instance closedCostar :: Functor f => Closed (Costar f) where closed (Costar f) = Costar \g x -> f (map (_ $ x) g) From ad3e702f54b2132d371ceb2e519d04284f5d57d9 Mon Sep 17 00:00:00 2001 From: Mike Solomon Date: Fri, 11 Dec 2020 08:21:53 +0200 Subject: [PATCH 2/2] Removes unused import --- src/Data/Profunctor/Costar.purs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/Data/Profunctor/Costar.purs b/src/Data/Profunctor/Costar.purs index be297cd..8c7cba9 100644 --- a/src/Data/Profunctor/Costar.purs +++ b/src/Data/Profunctor/Costar.purs @@ -6,7 +6,6 @@ import Control.Comonad (class Comonad, extract) import Control.Extend (class Extend, (=<=)) import Data.Distributive (class Distributive, distribute) -import Data.Either (Either(..), either) import Data.Functor.Invariant (class Invariant, imapF) import Data.Newtype (class Newtype) import Data.Profunctor (class Profunctor, lcmap)