Applicative [] | |
Methods pure :: a -> [a] # (<*>) :: [a -> b] -> [a] -> [b] # (*>) :: [a] -> [b] -> [b] # (<*) :: [a] -> [b] -> [a] # |
Applicative Maybe | |
|
Applicative IO | |
|
Applicative U1 | |
|
Applicative Par1 | |
|
Applicative Q | |
|
Applicative Active | |
|
Applicative Duration | |
|
Applicative Id | |
Methods pure :: a -> Id a # (<*>) :: Id (a -> b) -> Id a -> Id b # (*>) :: Id a -> Id b -> Id b # (<*) :: Id a -> Id b -> Id a # |
Applicative P | |
Methods pure :: a -> P a # (<*>) :: P (a -> b) -> P a -> P b # (*>) :: P a -> P b -> P b # (<*) :: P a -> P b -> P a # |
Applicative Identity | |
|
Applicative Min | |
|
Applicative Max | |
|
Applicative First | |
|
Applicative Last | |
|
Applicative Option | |
|
Applicative NonEmpty | |
|
Applicative Complex | |
|
Applicative ZipList | |
|
Applicative STM | |
|
Applicative Dual | |
|
Applicative Sum | |
|
Applicative Product | |
|
Applicative First | |
|
Applicative Last | |
|
Applicative ReadPrec | |
|
Applicative ReadP | |
|
Applicative Get | |
|
Applicative RGB | |
|
Applicative Tree | |
|
Applicative Seq | |
|
Applicative Interval | |
|
Applicative Vector | |
Methods pure :: a -> Vector a # (<*>) :: Vector (a -> b) -> Vector a -> Vector b # (*>) :: Vector a -> Vector b -> Vector b # (<*) :: Vector a -> Vector b -> Vector a # |
Applicative Quaternion | |
|
Applicative Plucker | |
|
Applicative V4 | |
|
Applicative V3 | |
|
Applicative V2 | |
|
Applicative V1 | |
|
Applicative V0 | |
|
Applicative ComplResult | |
Methods pure :: a -> ComplResult a # (<*>) :: ComplResult (a -> b) -> ComplResult a -> ComplResult b # (*>) :: ComplResult a -> ComplResult b -> ComplResult b # (<*) :: ComplResult a -> ComplResult b -> ComplResult a # |
Applicative P | |
|
Applicative Completion | |
|
Applicative ReadM | |
|
Applicative Parser | |
|
Applicative ParserM | |
|
Applicative ParserResult | |
|
Applicative Chunk | |
|
Applicative Box | |
Methods pure :: a -> Box a # (<*>) :: Box (a -> b) -> Box a -> Box b # (*>) :: Box a -> Box b -> Box b # (<*) :: Box a -> Box b -> Box a # |
Applicative Id | |
Methods pure :: a -> Id a # (<*>) :: Id (a -> b) -> Id a -> Id b # (*>) :: Id a -> Id b -> Id b # (<*) :: Id a -> Id b -> Id a # |
Applicative Get | |
Methods pure :: a -> Get a # (<*>) :: Get (a -> b) -> Get a -> Get b # (*>) :: Get a -> Get b -> Get b # (<*) :: Get a -> Get b -> Get a # |
Applicative Angle # | |
|
Applicative Id | |
Methods pure :: a -> Id a # (<*>) :: Id (a -> b) -> Id a -> Id b # (*>) :: Id a -> Id b -> Id b # (<*) :: Id a -> Id b -> Id a # |
Applicative Stream | |
Methods pure :: a -> Stream a # (<*>) :: Stream (a -> b) -> Stream a -> Stream b # (*>) :: Stream a -> Stream b -> Stream b # (<*) :: Stream a -> Stream b -> Stream a # |
Applicative ((->) a) | |
Methods pure :: a -> a -> a # (<*>) :: (a -> a -> b) -> (a -> a) -> a -> b # (*>) :: (a -> a) -> (a -> b) -> a -> b # (<*) :: (a -> a) -> (a -> b) -> a -> a # |
Applicative (Either e) | |
|
Applicative f => Applicative (Rec1 f) | |
|
Monoid a => Applicative ((,) a) | |
Methods pure :: a -> (a, a) # (<*>) :: (a, a -> b) -> (a, a) -> (a, b) # (*>) :: (a, a) -> (a, b) -> (a, b) # (<*) :: (a, a) -> (a, b) -> (a, a) # |
Representable f => Applicative (Co f) | |
|
Applicative (ST s) | |
|
Applicative (StateL s) | |
Methods pure :: a -> StateL s a # (<*>) :: StateL s (a -> b) -> StateL s a -> StateL s b # (*>) :: StateL s a -> StateL s b -> StateL s b # (<*) :: StateL s a -> StateL s b -> StateL s a # |
Applicative (StateR s) | |
Methods pure :: a -> StateR s a # (<*>) :: StateR s (a -> b) -> StateR s a -> StateR s b # (*>) :: StateR s a -> StateR s b -> StateR s b # (<*) :: StateR s a -> StateR s b -> StateR s a # |
Monad m => Applicative (WrappedMonad m) | |
|
Arrow a => Applicative (ArrowMonad a) | |
|
Applicative (Proxy *) | |
|
Applicative (State s) | |
Methods pure :: a -> State s a # (<*>) :: State s (a -> b) -> State s a -> State s b # (*>) :: State s a -> State s b -> State s b # (<*) :: State s a -> State s b -> State s a # |
Applicative (Measured n) | |
|
Applicative f => Applicative (Point f) | |
|
Applicative f => Applicative (Yoneda f) | |
Methods pure :: a -> Yoneda f a # (<*>) :: Yoneda f (a -> b) -> Yoneda f a -> Yoneda f b # (*>) :: Yoneda f a -> Yoneda f b -> Yoneda f b # (<*) :: Yoneda f a -> Yoneda f b -> Yoneda f a # |
Applicative (ReifiedGetter s) | |
|
Applicative (ReifiedFold s) | |
|
Applicative f => Applicative (Indexing f) | |
|
Applicative f => Applicative (Indexing64 f) | |
|
Applicative m => Applicative (ListT m) | |
|
Monad m => Applicative (ListT m) | |
|
Monad m => Applicative (NondetT m) | |
|
(Functor m, Monad m) => Applicative (MaybeT m) | |
|
(Applicative (Rep p), Representable p) => Applicative (Prep p) | |
Methods pure :: a -> Prep p a # (<*>) :: Prep p (a -> b) -> Prep p a -> Prep p b # (*>) :: Prep p a -> Prep p b -> Prep p b # (<*) :: Prep p a -> Prep p b -> Prep p a # |
Alternative f => Applicative (Cofree f) | |
Methods pure :: a -> Cofree f a # (<*>) :: Cofree f (a -> b) -> Cofree f a -> Cofree f b # (*>) :: Cofree f a -> Cofree f b -> Cofree f b # (<*) :: Cofree f a -> Cofree f b -> Cofree f a # |
Apply f => Applicative (MaybeApply f) | |
Methods pure :: a -> MaybeApply f a # (<*>) :: MaybeApply f (a -> b) -> MaybeApply f a -> MaybeApply f b # (*>) :: MaybeApply f a -> MaybeApply f b -> MaybeApply f b # (<*) :: MaybeApply f a -> MaybeApply f b -> MaybeApply f a # |
Applicative f => Applicative (WrappedApplicative f) | |
Methods pure :: a -> WrappedApplicative f a # (<*>) :: WrappedApplicative f (a -> b) -> WrappedApplicative f a -> WrappedApplicative f b # (*>) :: WrappedApplicative f a -> WrappedApplicative f b -> WrappedApplicative f b # (<*) :: WrappedApplicative f a -> WrappedApplicative f b -> WrappedApplicative f a # |
Applicative (StateR s) | |
Methods pure :: a -> StateR s a # (<*>) :: StateR s (a -> b) -> StateR s a -> StateR s b # (*>) :: StateR s a -> StateR s b -> StateR s b # (<*) :: StateR s a -> StateR s b -> StateR s a # |
Applicative (StateL s) | |
Methods pure :: a -> StateL s a # (<*>) :: StateL s (a -> b) -> StateL s a -> StateL s b # (*>) :: StateL s a -> StateL s b -> StateL s b # (<*) :: StateL s a -> StateL s b -> StateL s a # |
(Applicative f, Applicative g) => Applicative ((:*:) f g) | |
|
(Applicative f, Applicative g) => Applicative ((:.:) f g) | |
|
Arrow a => Applicative (WrappedArrow a b) | |
|
Monoid m => Applicative (Const * m) | |
|
Applicative f => Applicative (Alt * f) | |
|
Applicative (Query v n) | |
|
Applicative f => Applicative (Backwards * f) | Apply f -actions in the reverse order. |
|
(Functor m, Monad m) => Applicative (ErrorT e m) | |
|
Applicative (Indexed i a) | |
|
(Monad m, Monoid s) => Applicative (Focusing m s) | |
|
Applicative (k (May s)) => Applicative (FocusingMay k s) | |
|
(Monad m, Monoid r) => Applicative (Effect m r) | |
|
Dim k n => Applicative (V k n) | |
|
(Functor m, Monad m) => Applicative (ExceptT e m) | |
|
(Functor m, Monad m) => Applicative (StateT s m) | |
|
(Functor m, Monad m) => Applicative (StateT s m) | |
|
(Monoid w, Applicative m) => Applicative (WriterT w m) | |
|
(Monoid w, Applicative m) => Applicative (WriterT w m) | |
|
Applicative (Tagged k s) | |
|
Applicative f => Applicative (Reverse * f) | Derived instance. |
|
Applicative m => Applicative (IdentityT * m) | |
|
Monoid a => Applicative (Constant * a) | |
|
(Profunctor p, Arrow p) => Applicative (Tambara p a) | |
Methods pure :: a -> Tambara p a a # (<*>) :: Tambara p a (a -> b) -> Tambara p a a -> Tambara p a b # (*>) :: Tambara p a a -> Tambara p a b -> Tambara p a b # (<*) :: Tambara p a a -> Tambara p a b -> Tambara p a a # |
Applicative f => Applicative (Star f a) | |
Methods pure :: a -> Star f a a # (<*>) :: Star f a (a -> b) -> Star f a a -> Star f a b # (*>) :: Star f a a -> Star f a b -> Star f a b # (<*) :: Star f a a -> Star f a b -> Star f a a # |
Applicative (Costar f a) | |
Methods pure :: a -> Costar f a a # (<*>) :: Costar f a (a -> b) -> Costar f a a -> Costar f a b # (*>) :: Costar f a a -> Costar f a b -> Costar f a b # (<*) :: Costar f a a -> Costar f a b -> Costar f a a # |
Applicative (Cokleisli w a) | |
Methods pure :: a -> Cokleisli w a a # (<*>) :: Cokleisli w a (a -> b) -> Cokleisli w a a -> Cokleisli w a b # (*>) :: Cokleisli w a a -> Cokleisli w a b -> Cokleisli w a b # (<*) :: Cokleisli w a a -> Cokleisli w a b -> Cokleisli w a a # |
(Profunctor p, Arrow p) => Applicative (Closure p a) | |
Methods pure :: a -> Closure p a a # (<*>) :: Closure p a (a -> b) -> Closure p a a -> Closure p a b # (*>) :: Closure p a a -> Closure p a b -> Closure p a b # (<*) :: Closure p a a -> Closure p a b -> Closure p a a # |
(Applicative f, Applicative g) => Applicative (Day f g) | |
Methods pure :: a -> Day f g a # (<*>) :: Day f g (a -> b) -> Day f g a -> Day f g b # (*>) :: Day f g a -> Day f g b -> Day f g b # (<*) :: Day f g a -> Day f g b -> Day f g a # |
Applicative w => Applicative (TracedT m w) | |
Methods pure :: a -> TracedT m w a # (<*>) :: TracedT m w (a -> b) -> TracedT m w a -> TracedT m w b # (*>) :: TracedT m w a -> TracedT m w b -> TracedT m w b # (<*) :: TracedT m w a -> TracedT m w b -> TracedT m w a # |
(Functor f, Monad m) => Applicative (FreeT f m) | |
Methods pure :: a -> FreeT f m a # (<*>) :: FreeT f m (a -> b) -> FreeT f m a -> FreeT f m b # (*>) :: FreeT f m a -> FreeT f m b -> FreeT f m b # (<*) :: FreeT f m a -> FreeT f m b -> FreeT f m a # |
Biapplicative p => Applicative (Join * p) | |
Methods pure :: a -> Join * p a # (<*>) :: Join * p (a -> b) -> Join * p a -> Join * p b # (*>) :: Join * p a -> Join * p b -> Join * p b # (<*) :: Join * p a -> Join * p b -> Join * p a # |
Applicative f => Applicative (M1 i c f) | |
|
(Applicative f, Applicative g) => Applicative (Product * f g) | |
|
(Monad m, Monoid s, Monoid w) => Applicative (FocusingWith w m s) | |
|
Applicative (k (s, w)) => Applicative (FocusingPlus w k s) | |
|
Applicative (k (f s)) => Applicative (FocusingOn f k s) | |
|
Applicative (k (Err e s)) => Applicative (FocusingErr e k s) | |
|
Applicative (ContT k r m) | |
|
Applicative m => Applicative (ReaderT * r m) | |
|
(Applicative f, Applicative g) => Applicative (Compose * * f g) | |
|
Applicative (k (Freed f m s)) => Applicative (FocusingFree f m k s) | |
|
(Monoid s, Monoid w, Monad m) => Applicative (EffectRWS w st m s) | |
|
(Monoid w, Functor m, Monad m) => Applicative (RWST r w s m) | |
|
(Monoid w, Functor m, Monad m) => Applicative (RWST r w s m) | |
|
Reifies k s (ReifiedApplicative f) => Applicative (ReflectedApplicative k * f s) | |
Methods pure :: a -> ReflectedApplicative k * f s a # (<*>) :: ReflectedApplicative k * f s (a -> b) -> ReflectedApplicative k * f s a -> ReflectedApplicative k * f s b # (*>) :: ReflectedApplicative k * f s a -> ReflectedApplicative k * f s b -> ReflectedApplicative k * f s b # (<*) :: ReflectedApplicative k * f s a -> ReflectedApplicative k * f s b -> ReflectedApplicative k * f s a # |