Since: base-4.9.0.0
Instance detailsDefined in Data.Complex
Applicative First Source #Since: base-4.9.0.0
Instance detailsDefined in Data.Semigroup
Applicative Last Source #Since: base-4.9.0.0
Instance detailsDefined in Data.Semigroup
Applicative Max Source #Since: base-4.9.0.0
Instance detailsDefined in Data.Semigroup
Applicative Min Source #Since: base-4.9.0.0
Instance detailsDefined in Data.Semigroup
Applicative NonEmpty Source #Since: base-4.9.0.0
Instance detailsDefined in GHC.Internal.Base
Applicative STM Source #Since: base-4.8.0.0
Instance detailsDefined in GHC.Internal.Conc.Sync
Applicative Identity Source #Since: base-4.8.0.0
Instance detailsDefined in GHC.Internal.Data.Functor.Identity
Applicative First Source #Since: base-4.8.0.0
Instance detailsDefined in GHC.Internal.Data.Monoid
Applicative Last Source #Since: base-4.8.0.0
Instance detailsDefined in GHC.Internal.Data.Monoid
Applicative Down Source #Since: base-4.11.0.0
Instance detailsDefined in GHC.Internal.Data.Ord
Applicative Dual Source #Since: base-4.8.0.0
Instance detailsDefined in GHC.Internal.Data.Semigroup.Internal
Applicative Product Source #Since: base-4.8.0.0
Instance detailsDefined in GHC.Internal.Data.Semigroup.Internal
Applicative Sum Source #Since: base-4.8.0.0
Instance detailsDefined in GHC.Internal.Data.Semigroup.Internal
Applicative ZipList Source #f <$> ZipList xs1 <*> ... <*> ZipList xsN = ZipList (zipWithN f xs1 ... xsN)
where zipWithN
refers to the zipWith
function of the appropriate arity (zipWith
, zipWith3
, zipWith4
, ...). For example:
(\a b c -> stimes c [a, b]) <$> ZipList "abcd" <*> ZipList "567" <*> ZipList [1..] = ZipList (zipWith3 (\a b c -> stimes c [a, b]) "abcd" "567" [1..]) = ZipList {getZipList = ["a5","b6b6","c7c7c7"]}
Since: base-2.1
Instance detailsDefined in GHC.Internal.Functor.ZipList
Applicative NoIO Source #Since: base-4.8.0.0
Instance detailsDefined in GHC.Internal.GHCi
Applicative Par1 Source #Since: base-4.9.0.0
Instance detailsDefined in GHC.Internal.Generics
Applicative Q Source # Instance detailsDefined in GHC.Internal.TH.Syntax
Applicative P Source #Since: base-4.5.0.0
Instance detailsDefined in GHC.Internal.Text.ParserCombinators.ReadP
Applicative ReadP Source #Since: base-4.6.0.0
Instance detailsDefined in GHC.Internal.Text.ParserCombinators.ReadP
Applicative ReadPrec Source #Since: base-4.6.0.0
Instance detailsDefined in GHC.Internal.Text.ParserCombinators.ReadPrec
Applicative IO Source #Since: base-2.1
Instance detailsDefined in GHC.Internal.Base
Applicative Maybe Source #Since: base-2.1
Instance detailsDefined in GHC.Internal.Base
Applicative Solo Source #Since: base-4.15
Instance detailsDefined in GHC.Internal.Base
Applicative [] Source #Since: base-2.1
Instance detailsDefined in GHC.Internal.Base
Monad m => Applicative (WrappedMonad m) Source #Since: base-2.1
Instance detailsDefined in Control.Applicative
Arrow a => Applicative (ArrowMonad a) Source #Since: base-4.6.0.0
Instance detailsDefined in GHC.Internal.Control.Arrow
Applicative (ST s) Source #Since: base-2.1
Instance detailsDefined in GHC.Internal.Control.Monad.ST.Lazy.Imp
Applicative (Either e) Source #Since: base-3.0
Instance detailsDefined in GHC.Internal.Data.Either
Applicative (StateL s) Source #Since: base-4.0
Instance detailsDefined in GHC.Internal.Data.Functor.Utils
Applicative (StateR s) Source #Since: base-4.0
Instance detailsDefined in GHC.Internal.Data.Functor.Utils
Applicative (Proxy :: Type -> Type) Source #Since: base-4.7.0.0
Instance detailsDefined in GHC.Internal.Data.Proxy
Applicative (U1 :: Type -> Type) Source #Since: base-4.9.0.0
Instance detailsDefined in GHC.Internal.Generics
Applicative (ST s) Source #Since: base-4.4.0.0
Instance detailsDefined in GHC.Internal.ST
Monoid a => Applicative ((,) a) Source #For tuples, the Monoid
constraint on a
determines how the first values merge. For example, String
s concatenate:
("hello ", (+15)) <*> ("world!", 2002) ("hello world!",2017)
Since: base-2.1
Instance detailsDefined in GHC.Internal.Base
Methods
pure :: a0 -> (a, a0) Source #
(<*>) :: (a, a0 -> b) -> (a, a0) -> (a, b) Source #
liftA2 :: (a0 -> b -> c) -> (a, a0) -> (a, b) -> (a, c) Source #
(*>) :: (a, a0) -> (a, b) -> (a, b) Source #
(<*) :: (a, a0) -> (a, b) -> (a, a0) Source #
Arrow a => Applicative (WrappedArrow a b) Source #Since: base-2.1
Instance detailsDefined in Control.Applicative
Applicative m => Applicative (Kleisli m a) Source #Since: base-4.14.0.0
Instance detailsDefined in GHC.Internal.Control.Arrow
Monoid m => Applicative (Const m :: Type -> Type) Source #Since: base-2.0.1
Instance detailsDefined in GHC.Internal.Data.Functor.Const
Monad m => Applicative (StateT s m) Source #Since: base-4.18.0.0
Instance detailsDefined in GHC.Internal.Data.Functor.Utils
Applicative f => Applicative (Ap f) Source #Since: base-4.12.0.0
Instance detailsDefined in GHC.Internal.Data.Monoid
Applicative f => Applicative (Alt f) Source #Since: base-4.8.0.0
Instance detailsDefined in GHC.Internal.Data.Semigroup.Internal
(Generic1 f, Applicative (Rep1 f)) => Applicative (Generically1 f) Source #Since: base-4.17.0.0
Instance detailsDefined in GHC.Internal.Generics
Applicative f => Applicative (Rec1 f) Source #Since: base-4.9.0.0
Instance detailsDefined in GHC.Internal.Generics
(Monoid a, Monoid b) => Applicative ((,,) a b) Source #Since: base-4.14.0.0
Instance detailsDefined in GHC.Internal.Base
Methods
pure :: a0 -> (a, b, a0) Source #
(<*>) :: (a, b, a0 -> b0) -> (a, b, a0) -> (a, b, b0) Source #
liftA2 :: (a0 -> b0 -> c) -> (a, b, a0) -> (a, b, b0) -> (a, b, c) Source #
(*>) :: (a, b, a0) -> (a, b, b0) -> (a, b, b0) Source #
(<*) :: (a, b, a0) -> (a, b, b0) -> (a, b, a0) Source #
(Applicative f, Applicative g) => Applicative (Product f g) Source #Since: base-4.9.0.0
Instance detailsDefined in Data.Functor.Product
(Applicative f, Applicative g) => Applicative (f :*: g) Source #Since: base-4.9.0.0
Instance detailsDefined in GHC.Internal.Generics
Monoid c => Applicative (K1 i c :: Type -> Type) Source #Since: base-4.12.0.0
Instance detailsDefined in GHC.Internal.Generics
(Monoid a, Monoid b, Monoid c) => Applicative ((,,,) a b c) Source #Since: base-4.14.0.0
Instance detailsDefined in GHC.Internal.Base
Methods
pure :: a0 -> (a, b, c, a0) Source #
(<*>) :: (a, b, c, a0 -> b0) -> (a, b, c, a0) -> (a, b, c, b0) Source #
liftA2 :: (a0 -> b0 -> c0) -> (a, b, c, a0) -> (a, b, c, b0) -> (a, b, c, c0) Source #
(*>) :: (a, b, c, a0) -> (a, b, c, b0) -> (a, b, c, b0) Source #
(<*) :: (a, b, c, a0) -> (a, b, c, b0) -> (a, b, c, a0) Source #
Applicative ((->) r) Source #Since: base-2.1
Instance detailsDefined in GHC.Internal.Base
(Applicative f, Applicative g) => Applicative (Compose f g) Source #Since: base-4.9.0.0
Instance detailsDefined in Data.Functor.Compose
(Applicative f, Applicative g) => Applicative (f :.: g) Source #Since: base-4.9.0.0
Instance detailsDefined in GHC.Internal.Generics
Applicative f => Applicative (M1 i c f) Source #Since: base-4.9.0.0
Instance detailsDefined in GHC.Internal.Generics
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4