Skip to content

HORIZON HASKELL Docs lts/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

Modulecontravariant-1.5.6

Data.Functor.Contravariant.Generic

2 classes

Packagecontravariant-1.5.6
Exports2
LicenceBSD-3-Clause

classclass (Generic a, GDeciding q (Rep' a)) => Deciding (q :: Type -> Constraint) a where

Methods

deciding :: Decidable f => p q -> (forall b. q b => f b) -> f a

Instances1Deciding

(Generic a, GG (Rep a), GDeciding q (Rep' a)) => Deciding q aDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Generic

classclass (Generic1 t, GDeciding1 q (Rep1' t)) => Deciding1 (q :: Type -> Constraint) (t :: Type -> Type) where

Methods

deciding1 :: Decidable f => p q -> (forall b. q b => f b) -> f a -> f (t a)

Instances1Deciding1

(Generic1 t, GDeciding1 q (Rep1' t), GG (Rep1 t)) => Deciding1 q tDefined in contravariant-1.5.6 · Data.Functor.Contravariant.Generic