Apply [] Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Maybe Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply IO Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Par1 Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Q Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Complex Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Min Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Max Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply First Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Last Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Option Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply ZipList Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Identity Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply First Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Last Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Dual Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Sum Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Product Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Down Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply NonEmpty Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply IntMap Source # | An IntMap is not Applicative , but it is an instance of Apply |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Tree Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply Seq Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply (Either a) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply (V1 :: Type -> Type) Source # | A V1 is not Applicative , but it is an instance of Apply |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply (U1 :: Type -> Type) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Semigroup m => Apply ((,) m) Source # | A (,) m is not Applicative unless its m is a Monoid , but it is an instance of Apply |
Instance detailsDefined in Data.Functor.Bind.Class Methods (<.>) :: (m, a -> b) -> (m, a) -> (m, b) Source # (.>) :: (m, a) -> (m, b) -> (m, b) Source # (<.) :: (m, a) -> (m, b) -> (m, a) Source # liftF2 :: (a -> b -> c) -> (m, a) -> (m, b) -> (m, c) Source # |
Monad m => Apply (WrappedMonad m) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply (Proxy :: Type -> Type) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Ord k => Apply (Map k) Source # | A 'Map k' is not Applicative , but it is an instance of Apply |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply f => Apply (Lift f) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
(Functor m, Monad m) => Apply (MaybeT m) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply m => Apply (ListT m) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
(Hashable k, Eq k) => Apply (HashMap k) Source # | A 'HashMap k' is not Applicative , but it is an instance of Apply |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply f => Apply (MaybeApply f) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Applicative f => Apply (WrappedApplicative f) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply f => Apply (Rec1 f) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Arrow a => Apply (WrappedArrow a b) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Semigroup m => Apply (Const m :: Type -> Type) Source # | A Const m is not Applicative unless its m is a Monoid , but it is an instance of Apply |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply f => Apply (Alt f) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Biapply p => Apply (Join p) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply w => Apply (TracedT m w) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
(Apply w, Semigroup s) => Apply (StoreT s w) Source # | A StoreT s w is not Applicative unless its s is a Monoid , but it is an instance of Apply |
Instance detailsDefined in Data.Functor.Bind.Class |
(Semigroup e, Apply w) => Apply (EnvT e w) Source # | An EnvT e w is not Applicative unless its e is a Monoid , but it is an instance of Apply |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply w => Apply (IdentityT w) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply (Tagged a) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply f => Apply (Reverse f) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Semigroup f => Apply (Constant f :: Type -> Type) Source # | A Constant f is not Applicative unless its f is a Monoid , but it is an instance of Apply |
Instance detailsDefined in Data.Functor.Bind.Class |
(Apply m, Semigroup w) => Apply (WriterT w m) Source # | A WriterT w m is not Applicative unless its w is a Monoid , but it is an instance of Apply |
Instance detailsDefined in Data.Functor.Bind.Class |
(Apply m, Semigroup w) => Apply (WriterT w m) Source # | A WriterT w m is not Applicative unless its w is a Monoid , but it is an instance of Apply |
Instance detailsDefined in Data.Functor.Bind.Class |
Bind m => Apply (WriterT w m) Source # | Since: 5.3.6 |
Instance detailsDefined in Data.Functor.Bind.Class |
Bind m => Apply (StateT s m) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Bind m => Apply (StateT s m) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply m => Apply (ReaderT e m) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
(Functor m, Monad m) => Apply (ExceptT e m) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
(Functor m, Monad m) => Apply (ErrorT e m) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply f => Apply (Backwards f) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply f => Apply (Static f a) Source # | |
Instance detailsDefined in Data.Semigroupoid.Static |
Apply ((->) m :: Type -> Type) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Semigroup c => Apply (K1 i c :: Type -> Type) Source # | A K1 i c is not Applicative unless its c is a Monoid , but it is an instance of Apply |
Instance detailsDefined in Data.Functor.Bind.Class |
(Apply f, Apply g) => Apply (f :*: g) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
(Apply f, Apply g) => Apply (Product f g) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply (Cokleisli w a) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply (ContT r m) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
Apply f => Apply (M1 i t f) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
(Apply f, Apply g) => Apply (f :.: g) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
(Apply f, Apply g) => Apply (Compose f g) Source # | |
Instance detailsDefined in Data.Functor.Bind.Class |
(Bind m, Semigroup w) => Apply (RWST r w s m) Source # | An RWST r w s m is not Applicative unless its w is a Monoid , but it is an instance of Apply |
Instance detailsDefined in Data.Functor.Bind.Class |
(Bind m, Semigroup w) => Apply (RWST r w s m) Source # | An RWST r w s m is not Applicative unless its w is a Monoid , but it is an instance of Apply |
Instance detailsDefined in Data.Functor.Bind.Class |
Bind m => Apply (RWST r w s m) Source # | Since: 5.3.6 |
Instance detailsDefined in Data.Functor.Bind.Class |