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 Put | |
Methods pure :: a -> Put a # (<*>) :: Put (a -> b) -> Put a -> Put b # (*>) :: Put a -> Put b -> Put b # (<*) :: Put a -> Put b -> Put a # |
Applicative Get | |
|
Applicative PutM | |
|
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 Array | |
Methods pure :: a -> Array a # (<*>) :: Array (a -> b) -> Array a -> Array b # (*>) :: Array a -> Array b -> Array b # (<*) :: Array a -> Array b -> Array a # |
Applicative Angle # | |
|
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) | |
|
Monad m => Applicative (CatchT m) | |
|
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) | |
|
(Applicative (Rep p), Representable p) => Applicative (Prep p) | |
|
(Functor m, Monad m) => Applicative (MaybeT m) | |
|
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 # |
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 # |
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 # |
Monad m => Applicative (IterT m) | |
Methods pure :: a -> IterT m a # (<*>) :: IterT m (a -> b) -> IterT m a -> IterT m b # (*>) :: IterT m a -> IterT m b -> IterT m b # (<*) :: IterT m a -> IterT m b -> IterT m a # |
Functor f => Applicative (AltF f) | |
Methods pure :: a -> AltF f a # (<*>) :: AltF f (a -> b) -> AltF f a -> AltF f b # (*>) :: AltF f a -> AltF f b -> AltF f b # (<*) :: AltF f a -> AltF f b -> AltF f a # |
Functor f => Applicative (Alt f) | |
Methods pure :: a -> Alt f a # (<*>) :: Alt f (a -> b) -> Alt f a -> Alt f b # (*>) :: Alt f a -> Alt f b -> Alt f b # (<*) :: Alt f a -> Alt f b -> Alt 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 (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) | |
|
(Profunctor p, Arrow p) => Applicative (Tambara p a) | |
|
Applicative f => Applicative (Star f a) | |
|
Applicative (Costar f a) | |
|
Applicative (Tagged k s) | |
|
Applicative f => Applicative (Reverse * f) | Derived instance. |
|
Applicative m => Applicative (IdentityT * m) | |
|
Monoid a => Applicative (Constant * a) | |
|
Biapplicative p => Applicative (Fix * p) | |
Methods pure :: a -> Fix * p a # (<*>) :: Fix * p (a -> b) -> Fix * p a -> Fix * p b # (*>) :: Fix * p a -> Fix * p b -> Fix * p b # (<*) :: Fix * p a -> Fix * p b -> Fix * p 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 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 # |
Applicative f => Applicative (Static f a) | |
Methods pure :: a -> Static f a a # (<*>) :: Static f a (a -> b) -> Static f a a -> Static f a b # (*>) :: Static f a a -> Static f a b -> Static f a b # (<*) :: Static f a a -> Static f a b -> Static f a 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 # |
(Alternative f, Applicative w) => Applicative (CofreeT f w) | |
Methods pure :: a -> CofreeT f w a # (<*>) :: CofreeT f w (a -> b) -> CofreeT f w a -> CofreeT f w b # (*>) :: CofreeT f w a -> CofreeT f w b -> CofreeT f w b # (<*) :: CofreeT f w a -> CofreeT f w b -> CofreeT f w a # |
Applicative g => Applicative (ApF f g) | |
Methods pure :: a -> ApF f g a # (<*>) :: ApF f g (a -> b) -> ApF f g a -> ApF f g b # (*>) :: ApF f g a -> ApF f g b -> ApF f g b # (<*) :: ApF f g a -> ApF f g b -> ApF f g a # |
Applicative g => Applicative (ApT f g) | |
Methods pure :: a -> ApT f g a # (<*>) :: ApT f g (a -> b) -> ApT f g a -> ApT f g b # (*>) :: ApT f g a -> ApT f g b -> ApT f g b # (<*) :: ApT f g a -> ApT f g b -> ApT f g 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 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 # |