Decide Predicate Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide Comparison Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide Equivalence Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
FreeOf Decide Dec1 Source # | Since: 0.3.0.0 |
Instance detailsDefined in Data.HFunctor.Final |
Decide (V1 :: Type -> Type) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide (U1 :: Type -> Type) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide (Op r) Source # | Unlike Decidable , requires no constraint on r |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide (Proxy :: Type -> Type) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Divise m => Decide (MaybeT m) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Divise m => Decide (ListT m) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide (Dec1 f) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Divisible.Free |
Decide (Dec f) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Divisible.Free |
Decide f => Decide (Rec1 f) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide f => Decide (Alt f) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide f => Decide (IdentityT f) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide m => Decide (ReaderT r m) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide m => Decide (StateT s m) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide m => Decide (StateT s m) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide m => Decide (WriterT w m) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide m => Decide (WriterT w m) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide f => Decide (Reverse f) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide f => Decide (Backwards f) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decidable f => Decide (WrappedDivisible f) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide f => Decide (Step f) Source # | Since: 0.3.0.0 |
Instance detailsDefined in Control.Applicative.Step |
Decide f => Decide (ListF f) Source # | Since: 0.3.0.0 |
Instance detailsDefined in Control.Applicative.ListF |
Decide f => Decide (NonEmptyF f) Source # | Since: 0.3.0.0 |
Instance detailsDefined in Control.Applicative.ListF |
Decide f => Decide (MaybeF f) Source # | Since: 0.3.3.0 |
Instance detailsDefined in Control.Applicative.ListF |
Semigroup w => Decide (AltConst w :: Type -> Type) Source # | Unlike for Const , this is possible because there is no Decidable
instance to complicate things. |
Instance detailsDefined in Data.HFunctor.Interpret |
Contravariant (Final Decide f) Source # | Since: 0.3.0.0 |
Instance detailsDefined in Data.HFunctor.Final |
(Decide f, Decide g) => Decide (f :*: g) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
(Decide f, Decide g) => Decide (Product f g) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide (ProxyF f :: Type -> Type) Source # | Since: 0.3.0.0 |
Instance detailsDefined in Data.HFunctor |
Contravariant f => Decide (Chain1 Night f) Source # | Chain1 Night is the free "semigroup in the semigroupoidal
category of endofunctors enriched by Night " --- aka, the free
Decide .
Since: 0.3.0.0 |
Instance detailsDefined in Data.HFunctor.Chain |
Decide (Final Decidable f) Source # | Since: 0.3.0.0 |
Instance detailsDefined in Data.HFunctor.Final |
Decide (Final Decide f) Source # | Since: 0.3.0.0 |
Instance detailsDefined in Data.HFunctor.Final |
Decide (Final Conclude f) Source # | Since: 0.3.0.0 |
Instance detailsDefined in Data.HFunctor.Final |
Decide f => Decide (M1 i c f) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
(Apply f, Decide g) => Decide (f :.: g) Source # | Unlike Decidable , requires only Apply on f . |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
(Apply f, Decide g) => Decide (Compose f g) Source # | Unlike Decidable , requires only Apply on f . |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide m => Decide (RWST r w s m) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide m => Decide (RWST r w s m) Source # | |
Instance detailsDefined in Data.Functor.Contravariant.Decide |
Decide (Chain Night Not f) Source # | Since: 0.3.0.0 |
Instance detailsDefined in Data.HFunctor.Chain |