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.Contravariant.Divise

  • 1 type
  • 1 class
  • 3 values
classclass Contravariant f => Divise (f :: Type -> Type) where
#

Methods

  • divise :: (a -> (b, c)) -> f b -> f c -> f a
Instances29Divise, …
  • Divise ComparisonDefined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise EquivalenceDefined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise PredicateDefined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divisible f => Divise (WrappedDivisible f)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Semigroup r => Divise (Op r)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise ProxyDefined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise U1Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise V1Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise m => Divise (MaybeT m)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Semigroup m => Divise (Const m)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Semigroup m => Divise (Constant m)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise f => Divise (Alt f)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise f => Divise (Rec1 f)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise f => Divise (Backwards f)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise f => Divise (IdentityT f)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise f => Divise (Reverse f)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise m => Divise (ExceptT e m)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise m => Divise (ReaderT r m)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise m => Divise (StateT s m)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise m => Divise (StateT s m)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise m => Divise (WriterT w m)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise m => Divise (WriterT w m)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • (Divise f, Divise g) => Divise (Product f g)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • (Divise f, Divise g) => Divise (f :*: g)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise f => Divise (M1 i c f)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise m => Divise (RWST r w s m)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • Divise m => Divise (RWST r w s m)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • (Apply f, Divise g) => Divise (Compose f g)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
  • (Apply f, Divise g) => Divise (f :.: g)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise
newtypenewtype WrappedDivisible (f :: Type -> Type) a
#

Constructors

Instances4Contravariant, Conclude, Decide, Divise