| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/kan-extensions-5.2.2/src/Data/Functor/ |
| H A D | Yoneda.hs | 63 newtype Yoneda f a = Yoneda { runYoneda :: forall b. (a -> b) -> f b } type
118 Yoneda m <.> Yoneda n = Yoneda (\f -> m (f .) <.> n id) function
124 Yoneda m <*> Yoneda n = Yoneda (\f -> m (f .) <*> n id) function
229 Yoneda f `maxF` Yoneda g = liftYoneda $ f id `max` g id function
234 Yoneda f `minF` Yoneda g = liftYoneda $ f id `max` g id function
239 Yoneda f `maxM` Yoneda g = lift $ f id `max` g id function
244 Yoneda f `minM` Yoneda g = lift $ f id `min` g id function
249 Yoneda f <!> Yoneda g = Yoneda (\k -> f k <!> g k) function
259 Yoneda f <|> Yoneda g = Yoneda (\k -> f k <|> g k) function
263 Yoneda m >>- k = Yoneda (\f -> m id >>- \a -> runYoneda (k a) f) function
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/kan-extensions-5.2.2/src/Data/Functor/ |
| H A D | Yoneda.hs | 63 newtype Yoneda f a = Yoneda { runYoneda :: forall b. (a -> b) -> f b } constructor
118 Yoneda m <.> Yoneda n = Yoneda (\f -> m (f .) <.> n id) function
124 Yoneda m <*> Yoneda n = Yoneda (\f -> m (f .) <*> n id) function
229 Yoneda f `maxF` Yoneda g = liftYoneda $ f id `max` g id function
234 Yoneda f `minF` Yoneda g = liftYoneda $ f id `max` g id function
239 Yoneda f `maxM` Yoneda g = lift $ f id `max` g id function
244 Yoneda f `minM` Yoneda g = lift $ f id `min` g id function
249 Yoneda f <!> Yoneda g = Yoneda (\k -> f k <!> g k) function
259 Yoneda f <|> Yoneda g = Yoneda (\k -> f k <|> g k) function
263 Yoneda m >>- k = Yoneda (\f -> m id >>- \a -> runYoneda (k a) f) function
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/kan-extensions-5.2.2/src/Data/Functor/ |
| H A D | Yoneda.hs | 63 newtype Yoneda f a = Yoneda { runYoneda :: forall b. (a -> b) -> f b } constructor
118 Yoneda m <.> Yoneda n = Yoneda (\f -> m (f .) <.> n id) function
124 Yoneda m <*> Yoneda n = Yoneda (\f -> m (f .) <*> n id) function
229 Yoneda f `maxF` Yoneda g = liftYoneda $ f id `max` g id function
234 Yoneda f `minF` Yoneda g = liftYoneda $ f id `max` g id function
239 Yoneda f `maxM` Yoneda g = lift $ f id `max` g id function
244 Yoneda f `minM` Yoneda g = lift $ f id `min` g id function
249 Yoneda f <!> Yoneda g = Yoneda (\k -> f k <!> g k) function
259 Yoneda f <|> Yoneda g = Yoneda (\k -> f k <|> g k) function
263 Yoneda m >>- k = Yoneda (\f -> m id >>- \a -> runYoneda (k a) f) function
[all …]
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/kan-extensions-5.2.3/src/Data/Functor/ |
| H A D | Yoneda.hs | 63 newtype Yoneda f a = Yoneda { runYoneda :: forall b. (a -> b) -> f b } type
118 Yoneda m <.> Yoneda n = Yoneda (\f -> m (f .) <.> n id) function
124 Yoneda m <*> Yoneda n = Yoneda (\f -> m (f .) <*> n id) function
229 Yoneda f `maxF` Yoneda g = liftYoneda $ f id `max` g id function
234 Yoneda f `minF` Yoneda g = liftYoneda $ f id `max` g id function
239 Yoneda f `maxM` Yoneda g = lift $ f id `max` g id function
244 Yoneda f `minM` Yoneda g = lift $ f id `min` g id function
249 Yoneda f <!> Yoneda g = Yoneda (\k -> f k <!> g k) function
259 Yoneda f <|> Yoneda g = Yoneda (\k -> f k <|> g k) function
263 Yoneda m >>- k = Yoneda (\f -> m id >>- \a -> runYoneda (k a) f) function
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/kan-extensions-5.2.2/src/Data/Functor/ |
| H A D | Yoneda.hs | 63 newtype Yoneda f a = Yoneda { runYoneda :: forall b. (a -> b) -> f b } function
118 Yoneda m <.> Yoneda n = Yoneda (\f -> m (f .) <.> n id) function
124 Yoneda m <*> Yoneda n = Yoneda (\f -> m (f .) <*> n id) function
229 Yoneda f `maxF` Yoneda g = liftYoneda $ f id `max` g id function
234 Yoneda f `minF` Yoneda g = liftYoneda $ f id `max` g id function
239 Yoneda f `maxM` Yoneda g = lift $ f id `max` g id function
244 Yoneda f `minM` Yoneda g = lift $ f id `min` g id function
249 Yoneda f <!> Yoneda g = Yoneda (\k -> f k <!> g k) function
259 Yoneda f <|> Yoneda g = Yoneda (\k -> f k <|> g k) function
263 Yoneda m >>- k = Yoneda (\f -> m id >>- \a -> runYoneda (k a) f) function
[all …]
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/kan-extensions-5.2/src/Data/Functor/ |
| H A D | Yoneda.hs | 63 newtype Yoneda f a = Yoneda { runYoneda :: forall b. (a -> b) -> f b } function
118 Yoneda m <.> Yoneda n = Yoneda (\f -> m (f .) <.> n id) function
124 Yoneda m <*> Yoneda n = Yoneda (\f -> m (f .) <*> n id) function
229 Yoneda f `maxF` Yoneda g = liftYoneda $ f id `max` g id function
234 Yoneda f `minF` Yoneda g = liftYoneda $ f id `max` g id function
239 Yoneda f `maxM` Yoneda g = lift $ f id `max` g id function
244 Yoneda f `minM` Yoneda g = lift $ f id `min` g id function
249 Yoneda f <!> Yoneda g = Yoneda (\k -> f k <!> g k) function
259 Yoneda f <|> Yoneda g = Yoneda (\k -> f k <|> g k) function
263 Yoneda m >>- k = Yoneda (\f -> m id >>- \a -> runYoneda (k a) f) function
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/kan-extensions-5.2.2/src/Data/Functor/Contravariant/ |
| H A D | Yoneda.hs | 30 newtype Yoneda f a = Yoneda { runYoneda :: forall r. (r -> a) -> f r } type
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/kan-extensions-5.2.2/src/Data/Functor/Contravariant/ |
| H A D | Yoneda.hs | 30 newtype Yoneda f a = Yoneda { runYoneda :: forall r. (r -> a) -> f r } type
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/kan-extensions-5.2.2/src/Data/Functor/Contravariant/ |
| H A D | Yoneda.hs | 30 newtype Yoneda f a = Yoneda { runYoneda :: forall r. (r -> a) -> f r } constructor
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/kan-extensions-5.2.2/src/Data/Functor/Contravariant/ |
| H A D | Yoneda.hs | 30 newtype Yoneda f a = Yoneda { runYoneda :: forall r. (r -> a) -> f r } type
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/kan-extensions-5.2/src/Data/Functor/Contravariant/ |
| H A D | Yoneda.hs | 30 newtype Yoneda f a = Yoneda { runYoneda :: forall r. (r -> a) -> f r } constructor
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/kan-extensions-5.2.3/src/Data/Functor/Contravariant/ |
| H A D | Yoneda.hs | 30 newtype Yoneda f a = Yoneda { runYoneda :: forall r. (r -> a) -> f r } constructor
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/generic-lens-core-2.1.0.0/src/Data/Generics/Internal/VL/ |
| H A D | Traversal.hs | 63 newtype Yoneda f a = Yoneda { runYoneda :: forall b. (a -> b) -> f b } type
76 Yoneda m <*> Yoneda n = Yoneda (\f -> m (f .) <*> n id) function
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/generic-lens-core-2.1.0.0/src/Data/Generics/Internal/VL/ |
| H A D | Traversal.hs | 63 newtype Yoneda f a = Yoneda { runYoneda :: forall b. (a -> b) -> f b } function
76 Yoneda m <*> Yoneda n = Yoneda (\f -> m (f .) <*> n id) function
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
| H A D | Yoneda.hs | 34 newtype Yoneda p a b = Yoneda { runYoneda :: forall x y. (x -> a) -> (b -> y) -> p x y } constructor
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/ |
| H A D | Yoneda.hs | 35 newtype Yoneda p a b = Yoneda { runYoneda :: forall x y. (x -> a) -> (b -> y) -> p x y } type
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
| H A D | Yoneda.hs | 34 newtype Yoneda p a b = Yoneda { runYoneda :: forall x y. (x -> a) -> (b -> y) -> p x y } type
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
| H A D | Yoneda.hs | 34 newtype Yoneda p a b = Yoneda { runYoneda :: forall x y. (x -> a) -> (b -> y) -> p x y } function
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/ |
| H A D | Yoneda.hs | 35 newtype Yoneda p a b = Yoneda { runYoneda :: forall x y. (x -> a) -> (b -> y) -> p x y } constructor
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
| H A D | Yoneda.hs | 34 newtype Yoneda p a b = Yoneda { runYoneda :: forall x y. (x -> a) -> (b -> y) -> p x y } type
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/ |
| H A D | Yoneda.hs | 35 newtype Yoneda p a b = Yoneda { runYoneda :: forall x y. (x -> a) -> (b -> y) -> p x y } constructor
|
| /dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/ |
| H A D | Yoneda.hs | 35 newtype Yoneda p a b = Yoneda { runYoneda :: forall x y. (x -> a) -> (b -> y) -> p x y } type
|
| /dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/ |
| H A D | Yoneda.hs | 35 newtype Yoneda p a b = Yoneda { runYoneda :: forall x y. (x -> a) -> (b -> y) -> p x y } constructor
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
| H A D | Yoneda.hs | 34 newtype Yoneda p a b = Yoneda { runYoneda :: forall x y. (x -> a) -> (b -> y) -> p x y } type
|