| /dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/semigroupoids-5.3.6/src/Data/Functor/Bind/ |
| H A D | Class.hs | 449 newtype MaybeApply f a = MaybeApply { runMaybeApply :: Either (f a) a } constructor
453 ff <.*> MaybeApply (Left fa) = ff <.> fa function
454 ff <.*> MaybeApply (Right a) = ($ a) <$> ff function
459 MaybeApply (Left ff) <*.> fa = ff <.> fa function
460 MaybeApply (Right f) <*.> fa = f <$> fa function
477 MaybeApply a <. MaybeApply (Right _) = MaybeApply a function
478 MaybeApply (Right a) <. MaybeApply (Left fb) = MaybeApply (Left (a <$ fb)) function
479 MaybeApply (Left fa) <. MaybeApply (Left fb) = MaybeApply (Left (fa <. fb)) function
481 MaybeApply (Right _) .> MaybeApply b = MaybeApply b function
482 MaybeApply (Left fa) .> MaybeApply (Right b) = MaybeApply (Left (fa $> b )) function
[all …]
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/semigroupoids-5.3.5/src/Data/Functor/Bind/ |
| H A D | Class.hs | 416 newtype MaybeApply f a = MaybeApply { runMaybeApply :: Either (f a) a } constructor
423 MaybeApply (Right f) <.> MaybeApply (Right a) = MaybeApply (Right (f a )) function
424 MaybeApply (Right f) <.> MaybeApply (Left fa) = MaybeApply (Left (f <$> fa)) function
425 MaybeApply (Left ff) <.> MaybeApply (Right a) = MaybeApply (Left (($a) <$> ff)) function
426 MaybeApply (Left ff) <.> MaybeApply (Left fa) = MaybeApply (Left (ff <.> fa)) function
428 MaybeApply a <. MaybeApply (Right _) = MaybeApply a function
429 MaybeApply (Right a) <. MaybeApply (Left fb) = MaybeApply (Left (a <$ fb)) function
430 MaybeApply (Left fa) <. MaybeApply (Left fb) = MaybeApply (Left (fa <. fb)) function
432 MaybeApply (Right _) .> MaybeApply b = MaybeApply b function
433 MaybeApply (Left fa) .> MaybeApply (Right b) = MaybeApply (Left (fa $> b )) function
[all …]
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/semigroupoids-5.3.4/src/Data/Functor/Bind/ |
| H A D | Class.hs | 416 newtype MaybeApply f a = MaybeApply { runMaybeApply :: Either (f a) a } function
423 MaybeApply (Right f) <.> MaybeApply (Right a) = MaybeApply (Right (f a )) function
424 MaybeApply (Right f) <.> MaybeApply (Left fa) = MaybeApply (Left (f <$> fa)) function
425 MaybeApply (Left ff) <.> MaybeApply (Right a) = MaybeApply (Left (($a) <$> ff)) function
426 MaybeApply (Left ff) <.> MaybeApply (Left fa) = MaybeApply (Left (ff <.> fa)) function
428 MaybeApply a <. MaybeApply (Right _) = MaybeApply a function
429 MaybeApply (Right a) <. MaybeApply (Left fb) = MaybeApply (Left (a <$ fb)) function
430 MaybeApply (Left fa) <. MaybeApply (Left fb) = MaybeApply (Left (fa <. fb)) function
432 MaybeApply (Right _) .> MaybeApply b = MaybeApply b function
433 MaybeApply (Left fa) .> MaybeApply (Right b) = MaybeApply (Left (fa $> b )) function
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/semigroupoids-5.3.5/src/Data/Functor/Bind/ |
| H A D | Class.hs | 416 newtype MaybeApply f a = MaybeApply { runMaybeApply :: Either (f a) a } function
423 MaybeApply (Right f) <.> MaybeApply (Right a) = MaybeApply (Right (f a )) function
424 MaybeApply (Right f) <.> MaybeApply (Left fa) = MaybeApply (Left (f <$> fa)) function
425 MaybeApply (Left ff) <.> MaybeApply (Right a) = MaybeApply (Left (($a) <$> ff)) function
426 MaybeApply (Left ff) <.> MaybeApply (Left fa) = MaybeApply (Left (ff <.> fa)) function
428 MaybeApply a <. MaybeApply (Right _) = MaybeApply a function
429 MaybeApply (Right a) <. MaybeApply (Left fb) = MaybeApply (Left (a <$ fb)) function
430 MaybeApply (Left fa) <. MaybeApply (Left fb) = MaybeApply (Left (fa <. fb)) function
432 MaybeApply (Right _) .> MaybeApply b = MaybeApply b function
433 MaybeApply (Left fa) .> MaybeApply (Right b) = MaybeApply (Left (fa $> b )) function
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/semigroupoids-5.3.5/src/Data/Functor/Bind/ |
| H A D | Class.hs | 416 newtype MaybeApply f a = MaybeApply { runMaybeApply :: Either (f a) a } constructor
423 MaybeApply (Right f) <.> MaybeApply (Right a) = MaybeApply (Right (f a )) function
424 MaybeApply (Right f) <.> MaybeApply (Left fa) = MaybeApply (Left (f <$> fa)) function
425 MaybeApply (Left ff) <.> MaybeApply (Right a) = MaybeApply (Left (($a) <$> ff)) function
426 MaybeApply (Left ff) <.> MaybeApply (Left fa) = MaybeApply (Left (ff <.> fa)) function
428 MaybeApply a <. MaybeApply (Right _) = MaybeApply a function
429 MaybeApply (Right a) <. MaybeApply (Left fb) = MaybeApply (Left (a <$ fb)) function
430 MaybeApply (Left fa) <. MaybeApply (Left fb) = MaybeApply (Left (fa <. fb)) function
432 MaybeApply (Right _) .> MaybeApply b = MaybeApply b function
433 MaybeApply (Left fa) .> MaybeApply (Right b) = MaybeApply (Left (fa $> b )) function
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/semigroupoids-5.3.5/src/Data/Functor/Bind/ |
| H A D | Class.hs | 416 newtype MaybeApply f a = MaybeApply { runMaybeApply :: Either (f a) a } function
423 MaybeApply (Right f) <.> MaybeApply (Right a) = MaybeApply (Right (f a )) function
424 MaybeApply (Right f) <.> MaybeApply (Left fa) = MaybeApply (Left (f <$> fa)) function
425 MaybeApply (Left ff) <.> MaybeApply (Right a) = MaybeApply (Left (($a) <$> ff)) function
426 MaybeApply (Left ff) <.> MaybeApply (Left fa) = MaybeApply (Left (ff <.> fa)) function
428 MaybeApply a <. MaybeApply (Right _) = MaybeApply a function
429 MaybeApply (Right a) <. MaybeApply (Left fb) = MaybeApply (Left (a <$ fb)) function
430 MaybeApply (Left fa) <. MaybeApply (Left fb) = MaybeApply (Left (fa <. fb)) function
432 MaybeApply (Right _) .> MaybeApply b = MaybeApply b function
433 MaybeApply (Left fa) .> MaybeApply (Right b) = MaybeApply (Left (fa $> b )) function
[all …]
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/semigroupoids-5.3.4/src/Data/Functor/Bind/ |
| H A D | Class.hs | 416 newtype MaybeApply f a = MaybeApply { runMaybeApply :: Either (f a) a } type
423 MaybeApply (Right f) <.> MaybeApply (Right a) = MaybeApply (Right (f a )) function
424 MaybeApply (Right f) <.> MaybeApply (Left fa) = MaybeApply (Left (f <$> fa)) function
425 MaybeApply (Left ff) <.> MaybeApply (Right a) = MaybeApply (Left (($a) <$> ff)) function
426 MaybeApply (Left ff) <.> MaybeApply (Left fa) = MaybeApply (Left (ff <.> fa)) function
428 MaybeApply a <. MaybeApply (Right _) = MaybeApply a function
429 MaybeApply (Right a) <. MaybeApply (Left fb) = MaybeApply (Left (a <$ fb)) function
430 MaybeApply (Left fa) <. MaybeApply (Left fb) = MaybeApply (Left (fa <. fb)) function
432 MaybeApply (Right _) .> MaybeApply b = MaybeApply b function
433 MaybeApply (Left fa) .> MaybeApply (Right b) = MaybeApply (Left (fa $> b )) function
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/semigroupoids-5.3.5/src/Data/Functor/Bind/ |
| H A D | Class.hs | 416 newtype MaybeApply f a = MaybeApply { runMaybeApply :: Either (f a) a } type
423 MaybeApply (Right f) <.> MaybeApply (Right a) = MaybeApply (Right (f a )) function
424 MaybeApply (Right f) <.> MaybeApply (Left fa) = MaybeApply (Left (f <$> fa)) function
425 MaybeApply (Left ff) <.> MaybeApply (Right a) = MaybeApply (Left (($a) <$> ff)) function
426 MaybeApply (Left ff) <.> MaybeApply (Left fa) = MaybeApply (Left (ff <.> fa)) function
428 MaybeApply a <. MaybeApply (Right _) = MaybeApply a function
429 MaybeApply (Right a) <. MaybeApply (Left fb) = MaybeApply (Left (a <$ fb)) function
430 MaybeApply (Left fa) <. MaybeApply (Left fb) = MaybeApply (Left (fa <. fb)) function
432 MaybeApply (Right _) .> MaybeApply b = MaybeApply b function
433 MaybeApply (Left fa) .> MaybeApply (Right b) = MaybeApply (Left (fa $> b )) function
[all …]
|
| /dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/semigroupoids-5.3.4/src/Data/Functor/Bind/ |
| H A D | Class.hs | 416 newtype MaybeApply f a = MaybeApply { runMaybeApply :: Either (f a) a } type
423 MaybeApply (Right f) <.> MaybeApply (Right a) = MaybeApply (Right (f a )) function
424 MaybeApply (Right f) <.> MaybeApply (Left fa) = MaybeApply (Left (f <$> fa)) function
425 MaybeApply (Left ff) <.> MaybeApply (Right a) = MaybeApply (Left (($a) <$> ff)) function
426 MaybeApply (Left ff) <.> MaybeApply (Left fa) = MaybeApply (Left (ff <.> fa)) function
428 MaybeApply a <. MaybeApply (Right _) = MaybeApply a function
429 MaybeApply (Right a) <. MaybeApply (Left fb) = MaybeApply (Left (a <$ fb)) function
430 MaybeApply (Left fa) <. MaybeApply (Left fb) = MaybeApply (Left (fa <. fb)) function
432 MaybeApply (Right _) .> MaybeApply b = MaybeApply b function
433 MaybeApply (Left fa) .> MaybeApply (Right b) = MaybeApply (Left (fa $> b )) function
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/semigroupoids-5.3.5/src/Data/Functor/Bind/ |
| H A D | Class.hs | 416 newtype MaybeApply f a = MaybeApply { runMaybeApply :: Either (f a) a } type
423 MaybeApply (Right f) <.> MaybeApply (Right a) = MaybeApply (Right (f a )) function
424 MaybeApply (Right f) <.> MaybeApply (Left fa) = MaybeApply (Left (f <$> fa)) function
425 MaybeApply (Left ff) <.> MaybeApply (Right a) = MaybeApply (Left (($a) <$> ff)) function
426 MaybeApply (Left ff) <.> MaybeApply (Left fa) = MaybeApply (Left (ff <.> fa)) function
428 MaybeApply a <. MaybeApply (Right _) = MaybeApply a function
429 MaybeApply (Right a) <. MaybeApply (Left fb) = MaybeApply (Left (a <$ fb)) function
430 MaybeApply (Left fa) <. MaybeApply (Left fb) = MaybeApply (Left (fa <. fb)) function
432 MaybeApply (Right _) .> MaybeApply b = MaybeApply b function
433 MaybeApply (Left fa) .> MaybeApply (Right b) = MaybeApply (Left (fa $> b )) function
[all …]
|
| /dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/semigroupoids-5.3.4/src/Data/Functor/Bind/ |
| H A D | Class.hs | 416 newtype MaybeApply f a = MaybeApply { runMaybeApply :: Either (f a) a } type
423 MaybeApply (Right f) <.> MaybeApply (Right a) = MaybeApply (Right (f a )) function
424 MaybeApply (Right f) <.> MaybeApply (Left fa) = MaybeApply (Left (f <$> fa)) function
425 MaybeApply (Left ff) <.> MaybeApply (Right a) = MaybeApply (Left (($a) <$> ff)) function
426 MaybeApply (Left ff) <.> MaybeApply (Left fa) = MaybeApply (Left (ff <.> fa)) function
428 MaybeApply a <. MaybeApply (Right _) = MaybeApply a function
429 MaybeApply (Right a) <. MaybeApply (Left fb) = MaybeApply (Left (a <$ fb)) function
430 MaybeApply (Left fa) <. MaybeApply (Left fb) = MaybeApply (Left (fa <. fb)) function
432 MaybeApply (Right _) .> MaybeApply b = MaybeApply b function
433 MaybeApply (Left fa) .> MaybeApply (Right b) = MaybeApply (Left (fa $> b )) function
[all …]
|