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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(?=) :: Constant a b -> Constant a b -> r -> r -> r

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