/dports/devel/stack/stack-2.7.3/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
H A D | Traversing.hs | 8 , 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 D | Traversing.hs | 7 , 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 D | Traversing.hs | 8 , 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 D | Traversing.hs | 7 , 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 D | Traversing.hs | 8 , 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 D | Traversing.hs | 7 , 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 D | Traversing.hs | 8 , 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 D | Traversing.hs | 8 , 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 D | Traversing.hs | 7 , 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 D | Traversing.hs | 7 , 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 D | Invariant.hs | 774 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 D | Invariant.hs | 774 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 D | Invariant.hs | 774 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 D | Invariant.hs | 774 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 D | Invariant.hs | 774 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 D | Invariant.hs | 774 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)
|