HORIZON HASKELLDocslts/ghc-10.0.xc7d136e2026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12

Modulesemigroupoids-6.0.2

Data.Functor.Bind.Class

  • 2 types
  • 3 classes
  • 5 values
classclass Functor f => Apply (f :: Type -> Type) where
#

Methods

  • (<.>) :: f (a -> b) -> f a -> f binfixl 4
  • (.>) :: f a -> f b -> f binfixl 4
  • (<.) :: f a -> f b -> f ainfixl 4
  • liftF2 :: (a -> b -> c) -> f a -> f b -> f c
Instances69Apply, …
  • Apply ComplexDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply FirstDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply LastDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply MaxDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply MinDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply IntMapDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply SeqDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply TreeDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply NonEmptyDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply IdentityDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply FirstDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply LastDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply DownDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply DualDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply ProductDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply SumDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply ZipListDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply Par1Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply MaybeDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply QDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply IODefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply []Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Applicative f => Apply (WrappedApplicative f)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Monad m => Apply (WrappedMonad m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Semigroup m => Apply (Tuple2 m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Ord k => Apply (Map k)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply U1Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply V1Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply (ST s)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply (Either a)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply (ST s)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply f => Apply (MaybeApply f)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply f => Apply (Lift f)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Functor m, Monad m) => Apply (MaybeT m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Hashable k, Eq k) => Apply (HashMap k)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Semigroup f => Apply (Constant f)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Semigroup m => Apply (Const m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Arrow a => Apply (WrappedArrow a b)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply (Tagged a)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply f => Apply (Alt f)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply f => Apply (Rec1 f)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply f => Apply (Static f a)Defined in semigroupoids-6.0.2 · Data.Semigroupoid.Static
  • Apply f => Apply (Backwards f)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply f => Apply (Reverse f)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply m => Apply (ReaderT e m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply w => Apply (TracedT m w)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply w => Apply (IdentityT w)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Biapply p => Apply (Join p)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind m => Apply (StateT s m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind m => Apply (StateT s m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind m => Apply (WriterT w m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Functor m, Monad m) => Apply (ExceptT e m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Semigroup e, Apply w) => Apply (EnvT e w)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Apply m, Semigroup w) => Apply (WriterT w m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Apply m, Semigroup w) => Apply (WriterT w m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Apply w, Semigroup s) => Apply (StoreT s w)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Semigroup c => Apply (K1 i c)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply (Cokleisli w a)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply (ContT r m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply ((->) m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Apply f, Apply g) => Apply (Product f g)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Apply f, Apply g) => Apply (f :*: g)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Apply f => Apply (M1 i t f)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind m => Apply (RWST r w s m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Apply f, Apply g) => Apply (Compose f g)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Apply f, Apply g) => Apply (f :.: g)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Bind m, Semigroup w) => Apply (RWST r w s m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Bind m, Semigroup w) => Apply (RWST r w s m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
classclass Bifunctor p => Biapply (p :: Type -> Type -> Type) where
#

Methods

  • (<<.>>) :: p (a -> b) (c -> d) -> p a c -> p b dinfixl 4
  • (.>>) :: p a b -> p c d -> p c dinfixl 4
  • (<<.) :: p a b -> p c d -> p a binfixl 4
Instances14Biapply, …
classclass Apply m => Bind (m :: Type -> Type) where
#

Methods

  • (>>-) :: m a -> (a -> m b) -> m binfixl 1
  • join :: m (m a) -> m a
Instances51Bind, …
  • Bind ComplexDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind FirstDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind LastDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind MaxDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind MinDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind IntMapDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind SeqDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind TreeDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind NonEmptyDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind IdentityDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind FirstDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind LastDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind DownDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind DualDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind ProductDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind SumDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind Par1Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind MaybeDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind QDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind IODefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind []Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Monad m => Bind (WrappedMonad m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Semigroup m => Bind (Tuple2 m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Ord k => Bind (Map k)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind U1Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind V1Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind (ST s)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind (Either a)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind (ST s)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Functor m, Monad m) => Bind (MaybeT m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Hashable k, Eq k) => Bind (HashMap k)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind (Tagged a)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind f => Bind (Alt f)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind m => Bind (Rec1 m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind m => Bind (IdentityT m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind m => Bind (ReaderT e m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind m => Bind (StateT s m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind m => Bind (StateT s m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind m => Bind (WriterT w m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Functor m, Monad m) => Bind (ExceptT e m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Bind m, Semigroup w) => Bind (WriterT w m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Bind m, Semigroup w) => Bind (WriterT w m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind (ContT r m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind ((->) m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Bind f, Bind g) => Bind (Product f g)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Bind f, Bind g) => Bind (f :*: g)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind f => Bind (M1 i c f)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • Bind m => Bind (RWST r w s m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Bind m, Semigroup w) => Bind (RWST r w s m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
  • (Bind m, Semigroup w) => Bind (RWST r w s m)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class
newtypenewtype MaybeApply (f :: Type -> Type) a
#

Constructors

Instances5Functor, Applicative, Comonad, Apply, Extend
newtypenewtype WrappedApplicative (f :: Type -> Type) a
#

Constructors

Instances6Functor, Applicative, Alternative, Alt, Apply, Plus