summaryrefslogtreecommitdiff
path: root/src/Data/Profunctor/Optic/Cotraversal.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Data/Profunctor/Optic/Cotraversal.hs')
-rw-r--r--src/Data/Profunctor/Optic/Cotraversal.hs29
1 files changed, 0 insertions, 29 deletions
diff --git a/src/Data/Profunctor/Optic/Cotraversal.hs b/src/Data/Profunctor/Optic/Cotraversal.hs
deleted file mode 100644
index 9bf087a..0000000
--- a/src/Data/Profunctor/Optic/Cotraversal.hs
+++ /dev/null
@@ -1,29 +0,0 @@
-module Data.Profunctor.Optic.Cotraversal where
-
-import Data.Profunctor.Optic.Type
-import Data.Profunctor.Optic.Prelude
-
----------------------------------------------------------------------
--- 'Cotraversal'
----------------------------------------------------------------------
-
--- | TODO: Document
---
-cotraversed :: Distributive f => Cotraversal (f a) (f b) a b
-cotraversed = lower cotraverse
-
--- | Transform a Van Laarhoven 'Cotraversal' into a profunctor 'Cotraversal'.
---
-cotraversalVL :: (forall f. Functor f => (f a -> b) -> f s -> t) -> Cotraversal s t a b
-cotraversalVL = lower
-
----------------------------------------------------------------------
--- Operators
----------------------------------------------------------------------
-
--- ^ @
--- 'cotraverseOf' $ 'Data.Profuncto.Optic.Grate.grate' (flip 'Data.Distributive.cotraverse' id) ≡ 'Data.Distributive.cotraverse'
--- @
---
-cotraverseOf :: Optic (Costar f) s t a b -> (f a -> b) -> (f s -> t)
-cotraverseOf = between runCostar Costar