Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Constant a |
Instances
Invariant (Constant a :: Type -> Type) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (Constant :: Type -> Type -> Type) b) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Constant a :: Type -> Type) Source # | |
Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Constant a :: Type -> Type) Source # | |
Bivariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Constant :: Type -> Type -> Type) Source # | |
Semigroup a => Semigroup (Constant a b) Source # | |
Ringoid a => Ringoid (Constant a b) Source # | |
Monoid a => Monoid (Constant a b) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Constant | |
Quasiring a => Quasiring (Constant a b) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Constant | |
Group a => Group (Constant a b) Source # | |
Supremum a => Supremum (Constant a b) Source # | |
Infimum a => Infimum (Constant a b) Source # | |
Lattice a => Lattice (Constant a b) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Constant | |
Setoid a => Setoid (Constant a b) Source # | |
Chain a => Chain (Constant a b) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Constant |