pandora-0.1.2: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Basis.Product

Documentation

data Product a b Source #

Constructors

a :* b infixr 1 
Instances
Covariant (Product a) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Product

Methods

(<$>) :: (a0 -> b) -> Product a a0 -> Product a b Source #

comap :: (a0 -> b) -> Product a a0 -> Product a b Source #

(<$) :: a0 -> Product a b -> Product a a0 Source #

($>) :: Product a a0 -> b -> Product a b Source #

void :: Product a a0 -> Product a () Source #

Extendable (Product a) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Product

Methods

(=>>) :: Product a a0 -> (Product a a0 -> b) -> Product a b Source #

(<<=) :: (Product a a0 -> b) -> Product a a0 -> Product a b Source #

extend :: (Product a a0 -> b) -> Product a a0 -> Product a b Source #

duplicate :: Product a a0 -> (Product a :.: Product a) a0 Source #

(=<=) :: (Product a b -> c) -> (Product a a0 -> b) -> Product a a0 -> c Source #

(=>=) :: (Product a a0 -> b) -> (Product a b -> c) -> Product a a0 -> c Source #

Extractable (Product a) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Product

Methods

extract :: Product a a0 -> a0 Source #

Comonad (Product a) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Product

Adjoint (Product a) ((->) a :: Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Product

Methods

phi :: (Product a a0 -> b) -> a0 -> a -> b Source #

psi :: (a0 -> a -> b) -> Product a a0 -> b Source #

eta :: a0 -> ((->) a :.: Product a) a0 Source #

epsilon :: (Product a :.: (->) a) a0 -> a0 Source #

(Semigroup a, Semigroup b) => Semigroup (Product a b) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Product

Methods

(<>) :: Product a b -> Product a b -> Product a b Source #

(Ringoid a, Ringoid b) => Ringoid (Product a b) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Product

Methods

(><) :: Product a b -> Product a b -> Product a b Source #

(Monoid a, Monoid b) => Monoid (Product a b) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Product

Methods

unit :: Product a b Source #

(Group a, Group b) => Group (Product a b) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Product

Methods

inverse :: Product a b -> Product a b Source #

(Supremum a, Supremum b) => Supremum (Product a b) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Product

Methods

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

(Infimum a, Infimum b) => Infimum (Product a b) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Product

Methods

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

(Lattice a, Lattice b) => Lattice (Product a b) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Product

(Setoid a, Setoid b) => Setoid (Product a b) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Product

Methods

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

(/=) :: Product a b -> Product a b -> Boolean Source #

type (:*) = Product infixr 1 Source #

delta :: a -> a :* a Source #

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

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