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

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