Pandora.Paradigm.Basis.Product

Documentation

data Product a b

Constructors

a :* b infixr 1

Instances

Covariant (Product a)

Defined in Pandora.Paradigm.Basis.Product

Methods

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

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

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

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

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

Extendable (Product a)

Defined in Pandora.Paradigm.Basis.Product

Methods

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

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

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

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

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

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

Extractable (Product a)

Defined in Pandora.Paradigm.Basis.Product

Methods

extract :: Product a a0 -> a0

Comonad (Product a)

Defined in Pandora.Paradigm.Basis.Product

Adjoint (Product a) ((->) a :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Product

Methods

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

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

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

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

type (:*) = Product infixr 1

delta :: a -> a :* a

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

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