| Plus [] # | |
|
| Plus Maybe # | |
|
| Plus IO # | |
|
| Plus U1 # | |
|
| Plus Option # | |
|
| Plus Seq # | |
|
| Plus IntMap # | |
|
| Plus f => Plus (Rec1 f) # | |
|
| MonadPlus m => Plus (WrappedMonad m) # | |
|
| Plus (Proxy *) # | |
|
| Ord k => Plus (Map k) # | |
|
| Plus f => Plus (Lift f) # | |
|
| (Bind f, Monad f) => Plus (MaybeT f) # | |
|
| (Apply f, Applicative f) => Plus (ListT f) # | |
|
| Alternative f => Plus (WrappedApplicative f) # | |
|
| (Plus f, Plus g) => Plus ((:*:) f g) # | |
|
| ArrowPlus a => Plus (WrappedArrow a b) # | |
|
| Plus f => Plus (IdentityT * f) # | |
|
| Plus f => Plus (Reverse * f) # | |
|
| Plus f => Plus (Backwards * f) # | |
|
| Plus f => Plus (WriterT w f) # | |
|
| Plus f => Plus (WriterT w f) # | |
|
| Plus f => Plus (StateT e f) # | |
|
| Plus f => Plus (StateT e f) # | |
|
| (Bind f, Monad f, Error e) => Plus (ErrorT e f) # | |
|
| (Bind f, Monad f, Semigroup e, Monoid e) => Plus (ExceptT e f) # | |
|
| Plus f => Plus (Static f a) # | |
|
| Plus f => Plus (M1 i c f) # | |
|
| (Plus f, Plus g) => Plus (Product * f g) # | |
|
| Plus f => Plus (ReaderT * e f) # | |
|
| (Plus f, Functor g) => Plus (Compose * * f g) # | |
|
| Plus f => Plus (RWST r w s f) # | |
|
| Plus f => Plus (RWST r w s f) # | |
|