Pandora.Paradigm.Primary.Functor.Constant

Documentation

newtype Constant a b

Constructors

Constant a

Instances

Invariant (Constant a :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

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

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

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (Constant :: Type -> Type -> Type) b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

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

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

(<-|-|-|-) :: (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))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Constant a :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

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

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

(<-|-|-|-) :: (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))

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Constant a :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

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

Bivariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Constant :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(<->) :: (a -> b) -> (c -> d) -> Constant a c -> Constant b d

Semigroup a => Semigroup (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

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

Ringoid a => Ringoid (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

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

Monoid a => Monoid (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

zero :: Constant a b

Quasiring a => Quasiring (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

one :: Constant a b

Group a => Group (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

invert :: Constant a b -> Constant a b

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

Supremum a => Supremum (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

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

Infimum a => Infimum (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

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

Lattice a => Lattice (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Setoid a => Setoid (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

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

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

Chain a => Chain (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

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

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

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

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

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