Home
last modified time | relevance | path

Searched refs:CofreeTraversing (Results 1 – 16 of 16) sorted by relevance

/dports/devel/stack/stack-2.7.3/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/
H A DTraversing.hs8 , CofreeTraversing(..)
144 newtype CofreeTraversing p a b = CofreeTraversing { runCofreeTraversing :: forall f. Traversable f … function
147 lmap f (CofreeTraversing p) = CofreeTraversing (lmap (fmap f) p)
148 rmap g (CofreeTraversing p) = CofreeTraversing (rmap (fmap g) p)
149 dimap f g (CofreeTraversing p) = CofreeTraversing (dimap (fmap f) (fmap g) p)
151 instance Profunctor p => Strong (CofreeTraversing p) where
159 traverse' (CofreeTraversing p) = CofreeTraversing (dimap Compose getCompose p)
161 instance ProfunctorFunctor CofreeTraversing where
162 promap f (CofreeTraversing p) = CofreeTraversing (f p)
164 instance ProfunctorComonad CofreeTraversing where
[all …]
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/
H A DTraversing.hs7 , CofreeTraversing(..)
143 newtype CofreeTraversing p a b = CofreeTraversing { runCofreeTraversing :: forall f. Traversable f … constructor
146 lmap f (CofreeTraversing p) = CofreeTraversing (lmap (fmap f) p)
147 rmap g (CofreeTraversing p) = CofreeTraversing (rmap (fmap g) p)
148 dimap f g (CofreeTraversing p) = CofreeTraversing (dimap (fmap f) (fmap g) p)
150 instance Profunctor p => Strong (CofreeTraversing p) where
158 traverse' (CofreeTraversing p) = CofreeTraversing (dimap Compose getCompose p)
160 instance ProfunctorFunctor CofreeTraversing where
161 promap f (CofreeTraversing p) = CofreeTraversing (f p)
163 instance ProfunctorComonad CofreeTraversing where
[all …]
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/
H A DTraversing.hs8 , CofreeTraversing(..)
144 newtype CofreeTraversing p a b = CofreeTraversing { runCofreeTraversing :: forall f. Traversable f … constructor
147 lmap f (CofreeTraversing p) = CofreeTraversing (lmap (fmap f) p)
148 rmap g (CofreeTraversing p) = CofreeTraversing (rmap (fmap g) p)
149 dimap f g (CofreeTraversing p) = CofreeTraversing (dimap (fmap f) (fmap g) p)
151 instance Profunctor p => Strong (CofreeTraversing p) where
159 traverse' (CofreeTraversing p) = CofreeTraversing (dimap Compose getCompose p)
161 instance ProfunctorFunctor CofreeTraversing where
162 promap f (CofreeTraversing p) = CofreeTraversing (f p)
164 instance ProfunctorComonad CofreeTraversing where
[all …]
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/
H A DTraversing.hs7 , CofreeTraversing(..)
143 newtype CofreeTraversing p a b = CofreeTraversing { runCofreeTraversing :: forall f. Traversable f … function
146 lmap f (CofreeTraversing p) = CofreeTraversing (lmap (fmap f) p)
147 rmap g (CofreeTraversing p) = CofreeTraversing (rmap (fmap g) p)
148 dimap f g (CofreeTraversing p) = CofreeTraversing (dimap (fmap f) (fmap g) p)
150 instance Profunctor p => Strong (CofreeTraversing p) where
158 traverse' (CofreeTraversing p) = CofreeTraversing (dimap Compose getCompose p)
160 instance ProfunctorFunctor CofreeTraversing where
161 promap f (CofreeTraversing p) = CofreeTraversing (f p)
163 instance ProfunctorComonad CofreeTraversing where
[all …]
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/
H A DTraversing.hs8 , CofreeTraversing(..)
144 newtype CofreeTraversing p a b = CofreeTraversing { runCofreeTraversing :: forall f. Traversable f … constructor
147 lmap f (CofreeTraversing p) = CofreeTraversing (lmap (fmap f) p)
148 rmap g (CofreeTraversing p) = CofreeTraversing (rmap (fmap g) p)
149 dimap f g (CofreeTraversing p) = CofreeTraversing (dimap (fmap f) (fmap g) p)
151 instance Profunctor p => Strong (CofreeTraversing p) where
159 traverse' (CofreeTraversing p) = CofreeTraversing (dimap Compose getCompose p)
161 instance ProfunctorFunctor CofreeTraversing where
162 promap f (CofreeTraversing p) = CofreeTraversing (f p)
164 instance ProfunctorComonad CofreeTraversing where
[all …]
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/
H A DTraversing.hs7 , CofreeTraversing(..)
143 newtype CofreeTraversing p a b = CofreeTraversing { runCofreeTraversing :: forall f. Traversable f … type
146 lmap f (CofreeTraversing p) = CofreeTraversing (lmap (fmap f) p)
147 rmap g (CofreeTraversing p) = CofreeTraversing (rmap (fmap g) p)
148 dimap f g (CofreeTraversing p) = CofreeTraversing (dimap (fmap f) (fmap g) p)
150 instance Profunctor p => Strong (CofreeTraversing p) where
158 traverse' (CofreeTraversing p) = CofreeTraversing (dimap Compose getCompose p)
160 instance ProfunctorFunctor CofreeTraversing where
161 promap f (CofreeTraversing p) = CofreeTraversing (f p)
163 instance ProfunctorComonad CofreeTraversing where
[all …]
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/
H A DTraversing.hs8 , CofreeTraversing(..)
144 newtype CofreeTraversing p a b = CofreeTraversing { runCofreeTraversing :: forall f. Traversable f … function
147 lmap f (CofreeTraversing p) = CofreeTraversing (lmap (fmap f) p)
148 rmap g (CofreeTraversing p) = CofreeTraversing (rmap (fmap g) p)
149 dimap f g (CofreeTraversing p) = CofreeTraversing (dimap (fmap f) (fmap g) p)
151 instance Profunctor p => Strong (CofreeTraversing p) where
159 traverse' (CofreeTraversing p) = CofreeTraversing (dimap Compose getCompose p)
161 instance ProfunctorFunctor CofreeTraversing where
162 promap f (CofreeTraversing p) = CofreeTraversing (f p)
164 instance ProfunctorComonad CofreeTraversing where
[all …]
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/
H A DTraversing.hs8 , CofreeTraversing(..)
144 newtype CofreeTraversing p a b = CofreeTraversing { runCofreeTraversing :: forall f. Traversable f … constructor
147 lmap f (CofreeTraversing p) = CofreeTraversing (lmap (fmap f) p)
148 rmap g (CofreeTraversing p) = CofreeTraversing (rmap (fmap g) p)
149 dimap f g (CofreeTraversing p) = CofreeTraversing (dimap (fmap f) (fmap g) p)
151 instance Profunctor p => Strong (CofreeTraversing p) where
159 traverse' (CofreeTraversing p) = CofreeTraversing (dimap Compose getCompose p)
161 instance ProfunctorFunctor CofreeTraversing where
162 promap f (CofreeTraversing p) = CofreeTraversing (f p)
164 instance ProfunctorComonad CofreeTraversing where
[all …]
/dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/
H A DTraversing.hs7 , CofreeTraversing(..)
143 newtype CofreeTraversing p a b = CofreeTraversing { runCofreeTraversing :: forall f. Traversable f … type
146 lmap f (CofreeTraversing p) = CofreeTraversing (lmap (fmap f) p)
147 rmap g (CofreeTraversing p) = CofreeTraversing (rmap (fmap g) p)
148 dimap f g (CofreeTraversing p) = CofreeTraversing (dimap (fmap f) (fmap g) p)
150 instance Profunctor p => Strong (CofreeTraversing p) where
158 traverse' (CofreeTraversing p) = CofreeTraversing (dimap Compose getCompose p)
160 instance ProfunctorFunctor CofreeTraversing where
161 promap f (CofreeTraversing p) = CofreeTraversing (f p)
163 instance ProfunctorComonad CofreeTraversing where
[all …]
/dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/
H A DTraversing.hs7 , CofreeTraversing(..)
143 newtype CofreeTraversing p a b = CofreeTraversing { runCofreeTraversing :: forall f. Traversable f … constructor
146 lmap f (CofreeTraversing p) = CofreeTraversing (lmap (fmap f) p)
147 rmap g (CofreeTraversing p) = CofreeTraversing (rmap (fmap g) p)
148 dimap f g (CofreeTraversing p) = CofreeTraversing (dimap (fmap f) (fmap g) p)
150 instance Profunctor p => Strong (CofreeTraversing p) where
158 traverse' (CofreeTraversing p) = CofreeTraversing (dimap Compose getCompose p)
160 instance ProfunctorFunctor CofreeTraversing where
161 promap f (CofreeTraversing p) = CofreeTraversing (f p)
163 instance ProfunctorComonad CofreeTraversing where
[all …]
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/invariant-0.5.4/src/Data/Functor/
H A DInvariant.hs774 instance Invariant2 p => Invariant2 (CofreeTraversing p) where
775 invmap2 f f' g g' (CofreeTraversing p) =
776 CofreeTraversing (invmap2 (fmap f) (fmap f') (fmap g) (fmap g') p)
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/invariant-0.5.4/src/Data/Functor/
H A DInvariant.hs774 instance Invariant2 p => Invariant2 (CofreeTraversing p) where
775 invmap2 f f' g g' (CofreeTraversing p) =
776 CofreeTraversing (invmap2 (fmap f) (fmap f') (fmap g) (fmap g') p)
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/invariant-0.5.4/src/Data/Functor/
H A DInvariant.hs774 instance Invariant2 p => Invariant2 (CofreeTraversing p) where
775 invmap2 f f' g g' (CofreeTraversing p) =
776 CofreeTraversing (invmap2 (fmap f) (fmap f') (fmap g) (fmap g') p)
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/invariant-0.5.3/src/Data/Functor/
H A DInvariant.hs774 instance Invariant2 p => Invariant2 (CofreeTraversing p) where
775 invmap2 f f' g g' (CofreeTraversing p) =
776 CofreeTraversing (invmap2 (fmap f) (fmap f') (fmap g) (fmap g') p)
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/invariant-0.5.3/src/Data/Functor/
H A DInvariant.hs774 instance Invariant2 p => Invariant2 (CofreeTraversing p) where
775 invmap2 f f' g g' (CofreeTraversing p) =
776 CofreeTraversing (invmap2 (fmap f) (fmap f') (fmap g) (fmap g') p)
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/invariant-0.5.4/src/Data/Functor/
H A DInvariant.hs774 instance Invariant2 p => Invariant2 (CofreeTraversing p) where
775 invmap2 f f' g g' (CofreeTraversing p) =
776 CofreeTraversing (invmap2 (fmap f) (fmap f') (fmap g) (fmap g') p)