pandora-0.5.1: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Primary.Functor.Constant

Documentation

newtype Constant a b Source #

Constructors

Constant a 

Instances

Instances details
Invariant (Constant a :: Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(<!<) :: (a0 -> b) -> (b -> a0) -> Constant a a0 -> Constant a b Source #

invmap :: (a0 -> b) -> (b -> a0) -> Constant a a0 -> Constant a b Source #

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (Constant :: Type -> Type -> Type) b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(<-|-) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source #

(<-|--) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source #

(<-|---) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source #

(<-|----) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source #

(<-|-----) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source #

(<-|------) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source #

(<-|-------) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source #

(<-|--------) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source #

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0) Source #

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u (v a)) -> Flip Constant b (u (v b0)) Source #

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Constant a :: Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(<-|-) :: (a0 -> b) -> Constant a a0 -> Constant a b Source #

(<-|--) :: (a0 -> b) -> Constant a a0 -> Constant a b Source #

(<-|---) :: (a0 -> b) -> Constant a a0 -> Constant a b Source #

(<-|----) :: (a0 -> b) -> Constant a a0 -> Constant a b Source #

(<-|-----) :: (a0 -> b) -> Constant a a0 -> Constant a b Source #

(<-|------) :: (a0 -> b) -> Constant a a0 -> Constant a b Source #

(<-|-------) :: (a0 -> b) -> Constant a a0 -> Constant a b Source #

(<-|--------) :: (a0 -> b) -> Constant a a0 -> Constant a b Source #

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b) Source #

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u (v a0)) -> Constant a (u (v b)) Source #

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Constant a :: Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(>-|-) :: (a0 -> b) -> Constant a b -> Constant a a0 Source #

(>-|--) :: (a0 -> b) -> Constant a b -> Constant a a0 Source #

(>-|---) :: (a0 -> b) -> Constant a b -> Constant a a0 Source #

(>-|----) :: (a0 -> b) -> Constant a b -> Constant a a0 Source #

(>-|-----) :: (a0 -> b) -> Constant a b -> Constant a a0 Source #

(>-|------) :: (a0 -> b) -> Constant a b -> Constant a a0 Source #

(>-|-------) :: (a0 -> b) -> Constant a b -> Constant a a0 Source #

(>-|--------) :: (a0 -> b) -> Constant a b -> Constant a a0 Source #

(>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b) Source #

Semigroup a => Semigroup (Constant a b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(+) :: Constant a b -> Constant a b -> Constant a b Source #

Ringoid a => Ringoid (Constant a b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(*) :: Constant a b -> Constant a b -> Constant a b Source #

Monoid a => Monoid (Constant a b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

zero :: Constant a b Source #

Quasiring a => Quasiring (Constant a b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

one :: Constant a b Source #

Group a => Group (Constant a b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

invert :: Constant a b -> Constant a b Source #

(-) :: Constant a b -> Constant a b -> Constant a b Source #

Supremum a => Supremum (Constant a b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(\/) :: Constant a b -> Constant a b -> Constant a b Source #

Infimum a => Infimum (Constant a b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(/\) :: Constant a b -> Constant a b -> Constant a b Source #

Lattice a => Lattice (Constant a b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Setoid a => Setoid (Constant a b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(==) :: Constant a b -> Constant a b -> Boolean Source #

(!=) :: Constant a b -> Constant a b -> Boolean Source #

Chain a => Chain (Constant a b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(<=>) :: Constant a b -> Constant a b -> Ordering Source #

(<) :: Constant a b -> Constant a b -> Boolean Source #

(<=) :: Constant a b -> Constant a b -> Boolean Source #

(>) :: Constant a b -> Constant a b -> Boolean Source #

(>=) :: Constant a b -> Constant a b -> Boolean Source #