HORIZON HASKELLDocslts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulesemigroupoids-6.0.2Haskell2010

Data.Functor.Plus

Synopsis
classclass Alt f => Plus (f :: Type -> Type) where
Source#

Laws:

zero <!> m = m
m <!> zero = m

If extended to an Alternative then zero should equal empty.

Methods

Instances37Plus, …
  • Plus IntMapDefined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus SeqDefined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus FirstDefined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus LastDefined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus MaybeDefined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus IODefined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus []Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Alternative f => Plus (WrappedApplicative f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • MonadPlus m => Plus (WrappedMonad m)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Ord k => Plus (Map k)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus U1Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus f => Plus (Lift f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • (Functor f, Monad f) => Plus (MaybeT f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • (Hashable k, Eq k) => Plus (HashMap k)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • ArrowPlus a => Plus (WrappedArrow a b)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus f => Plus (Rec1 f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus f => Plus (Static f a)Defined in semigroupoids-6.0.2 · Data.Semigroupoid.Static
  • Plus f => Plus (Backwards f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus f => Plus (IdentityT f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus f => Plus (ReaderT e f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus f => Plus (StateT e f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus f => Plus (StateT e f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus f => Plus (WriterT w f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus f => Plus (WriterT w f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus f => Plus (WriterT w f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus f => Plus (Reverse f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • (Functor f, Monad f, Semigroup e, Monoid e) => Plus (ExceptT e f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Monoid c => Plus (K1 i c)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • (Plus f, Plus g) => Plus (Product f g)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • (Plus f, Plus g) => Plus (f :*: g)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus f => Plus (M1 i c f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus f => Plus (RWST r w s f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus f => Plus (RWST r w s f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • Plus f => Plus (RWST r w s f)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • (Plus f, Functor g) => Plus (Compose f g)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
  • (Plus f, Functor g) => Plus (f :.: g)Defined in semigroupoids-6.0.2 · Data.Functor.Plus
valuepsum :: (Foldable t, Plus f) => t (f a) -> f a
Source#

The sum of a collection of actions, generalizing concat.

Example1 expression
psum [Just "Hello", Nothing, Just "World"]Just "Hello"

module Data.Functor.Alt