Modulecontravariant-1.5.6

Data.Functor.Contravariant.Divisible

2 classes
5 values

Packagecontravariant-1.5.6
Exports7
LicenceBSD-3-Clause

valuechosen :: Decidable f => f b -> f c -> f (Either b c)

valueconquered :: Divisible f => f ()

valuedivided :: Divisible f => f a -> f b -> f (a, b)

valueliftD :: Divisible f => (a -> b) -> f b -> f a

valuelost :: Decidable f => f Void

classclass Divisible f => Decidable (f :: Type -> Type) where

Methods

lose :: (a -> Void) -> f a
choose :: (a -> Either b c) -> f b -> f c -> f a

Instances26Decidable, …

Decidable SettableStateVarDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable ComparisonDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable EquivalenceDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable PredicateDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable ProxyDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable U1Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible m => Decidable (MaybeT m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Monoid r => Decidable (Op r)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable f => Decidable (Alt f)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable f => Decidable (Rec1 f)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable f => Decidable (Backwards f)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable f => Decidable (IdentityT f)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable f => Decidable (Reverse f)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable m => Decidable (ReaderT r m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable m => Decidable (StateT s m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable m => Decidable (StateT s m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable m => Decidable (WriterT w m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable m => Decidable (WriterT w m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
(Applicative f, Decidable g) => Decidable (ComposeFC f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Compose
(Decidable f, Decidable g) => Decidable (Product f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
(Decidable f, Decidable g) => Decidable (f :*: g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable f => Decidable (M1 i c f)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable m => Decidable (RWST r w s m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Decidable m => Decidable (RWST r w s m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
(Applicative f, Decidable g) => Decidable (Compose f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
(Applicative f, Decidable g) => Decidable (f :.: g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible

classclass Contravariant f => Divisible (f :: Type -> Type) where

Methods

divide :: (a -> (b, c)) -> f b -> f c -> f a
conquer :: f a

Instances30Divisible, …

Divisible SettableStateVarDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible ComparisonDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible EquivalenceDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible PredicateDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible ProxyDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible U1Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible m => Divisible (MaybeT m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Monoid r => Divisible (Op r)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible f => Divisible (Alt f)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible f => Divisible (Rec1 f)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible f => Divisible (Backwards f)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible f => Divisible (IdentityT f)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible f => Divisible (Reverse f)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible m => Divisible (ExceptT e m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible m => Divisible (ReaderT r m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible m => Divisible (StateT s m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible m => Divisible (StateT s m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible m => Divisible (WriterT w m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible m => Divisible (WriterT w m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Monoid m => Divisible (Const m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Monoid m => Divisible (Constant m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
(Divisible f, Applicative g) => Divisible (ComposeCF f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Compose
(Applicative f, Divisible g) => Divisible (ComposeFC f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Compose
(Divisible f, Divisible g) => Divisible (Product f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
(Divisible f, Divisible g) => Divisible (f :*: g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible f => Divisible (M1 i c f)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible m => Divisible (RWST r w s m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
Divisible m => Divisible (RWST r w s m)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
(Applicative f, Divisible g) => Divisible (Compose f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible
(Applicative f, Divisible g) => Divisible (f :.: g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible