| /dports/devel/stack/stack-2.7.3/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
| H A D | Monad.hs | 85 produplicate :: Profunctor p => t p :-> t (t p)
89 produplicate (Tannen w) = Tannen $ extend Tannen w function
93 produplicate pq@(Pair p _) = Pair p pq function
|
| H A D | Yoneda.hs | 78 produplicate p = Yoneda $ \l r -> dimap l r p function
180 produplicate = Coyoneda id id function
|
| H A D | Choice.hs | 203 produplicate (TambaraSum p) = TambaraSum (TambaraSum $ dimap hither yon p) where function
219 left' p = runTambaraSum $ produplicate p
397 produplicate (CotambaraSum n p) = CotambaraSum id (CotambaraSum n p) function
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
| H A D | Monad.hs | 85 produplicate :: Profunctor p => t p :-> t (t p)
89 produplicate (Tannen w) = Tannen $ extend Tannen w function
93 produplicate pq@(Pair p _) = Pair p pq function
|
| H A D | Yoneda.hs | 78 produplicate p = Yoneda $ \l r -> dimap l r p function
180 produplicate = Coyoneda id id function
|
| H A D | Choice.hs | 203 produplicate (TambaraSum p) = TambaraSum (TambaraSum $ dimap hither yon p) where function
219 left' p = runTambaraSum $ produplicate p
397 produplicate (CotambaraSum n p) = CotambaraSum id (CotambaraSum n p) function
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/ |
| H A D | Monad.hs | 76 produplicate :: Profunctor p => t p :-> t (t p)
80 produplicate (Tannen w) = Tannen $ extend Tannen w function
84 produplicate pq@(Pair p _) = Pair p pq function
|
| H A D | Yoneda.hs | 79 produplicate p = Yoneda $ \l r -> dimap l r p function
178 produplicate = Coyoneda id id function
|
| H A D | Choice.hs | 201 produplicate (TambaraSum p) = TambaraSum (TambaraSum $ dimap hither yon p) where function
217 left' = runTambaraSum . produplicate
389 produplicate (CotambaraSum n p) = CotambaraSum id (CotambaraSum n p) function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
| H A D | Monad.hs | 85 produplicate :: Profunctor p => t p :-> t (t p)
89 produplicate (Tannen w) = Tannen $ extend Tannen w function
93 produplicate pq@(Pair p _) = Pair p pq function
|
| H A D | Yoneda.hs | 78 produplicate p = Yoneda $ \l r -> dimap l r p function
180 produplicate = Coyoneda id id function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
| H A D | Monad.hs | 85 produplicate :: Profunctor p => t p :-> t (t p)
89 produplicate (Tannen w) = Tannen $ extend Tannen w function
93 produplicate pq@(Pair p _) = Pair p pq function
|
| H A D | Yoneda.hs | 78 produplicate p = Yoneda $ \l r -> dimap l r p function
180 produplicate = Coyoneda id id function
|
| H A D | Choice.hs | 203 produplicate (TambaraSum p) = TambaraSum (TambaraSum $ dimap hither yon p) where function
219 left' p = runTambaraSum $ produplicate p
397 produplicate (CotambaraSum n p) = CotambaraSum id (CotambaraSum n p) function
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
| H A D | Monad.hs | 85 produplicate :: Profunctor p => t p :-> t (t p)
89 produplicate (Tannen w) = Tannen $ extend Tannen w function
93 produplicate pq@(Pair p _) = Pair p pq function
|
| H A D | Yoneda.hs | 78 produplicate p = Yoneda $ \l r -> dimap l r p function
180 produplicate = Coyoneda id id function
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/ |
| H A D | Monad.hs | 76 produplicate :: Profunctor p => t p :-> t (t p)
80 produplicate (Tannen w) = Tannen $ extend Tannen w function
84 produplicate pq@(Pair p _) = Pair p pq function
|
| H A D | Yoneda.hs | 79 produplicate p = Yoneda $ \l r -> dimap l r p function
178 produplicate = Coyoneda id id function
|
| H A D | Choice.hs | 201 produplicate (TambaraSum p) = TambaraSum (TambaraSum $ dimap hither yon p) where function
217 left' = runTambaraSum . produplicate
389 produplicate (CotambaraSum n p) = CotambaraSum id (CotambaraSum n p) function
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/ |
| H A D | Monad.hs | 76 produplicate :: Profunctor p => t p :-> t (t p)
80 produplicate (Tannen w) = Tannen $ extend Tannen w function
84 produplicate pq@(Pair p _) = Pair p pq function
|
| H A D | Yoneda.hs | 79 produplicate p = Yoneda $ \l r -> dimap l r p function
178 produplicate = Coyoneda id id function
|
| /dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/ |
| H A D | Monad.hs | 76 produplicate :: Profunctor p => t p :-> t (t p)
80 produplicate (Tannen w) = Tannen $ extend Tannen w function
84 produplicate pq@(Pair p _) = Pair p pq function
|
| H A D | Yoneda.hs | 79 produplicate p = Yoneda $ \l r -> dimap l r p function
178 produplicate = Coyoneda id id function
|
| /dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/ |
| H A D | Monad.hs | 76 produplicate :: Profunctor p => t p :-> t (t p)
80 produplicate (Tannen w) = Tannen $ extend Tannen w function
84 produplicate pq@(Pair p _) = Pair p pq function
|
| H A D | Yoneda.hs | 79 produplicate p = Yoneda $ \l r -> dimap l r p function
178 produplicate = Coyoneda id id function
|