Module

Control.Category.Tensor

Package: purescript-monoidal
Repository: mcneissue/purescript-monoidal

#GBifunctor Source

class (Category p, Category q) <= GBifunctor p q r t | t r -> p q where

Members

gbimap :: forall a b c d. p a b -> q c d -> r (t a c) (t b d)

Instances

(GBifunctor Function Function Function t) => GBifunctor Op Op Op t
GBifunctor Function Function Function Tuple
GBifunctor Function Function Function Either
GBifunctor Function Function Function These
GBifunctor (Star Maybe) (Star Maybe) (Star Maybe) These

#grmap Source

grmap :: forall p q r t a b b'. GBifunctor p q r t => q b b' -> r (t a b) (t a b')

#glmap Source

glmap :: forall p q r t a a' b. GBifunctor p q r t => p a a' -> r (t a b) (t a' b)

#Iso Source

type Iso p a b = { bwd :: p b a, fwd :: p a b }

#flipIso Source

flipIso :: forall a b. Iso Function a b -> Iso Op a b

#Associative Source

class (Category p, GBifunctor p p p t) <= Associative t p  where

Members

assoc :: forall a b c. Iso p (t a (t b c)) (t (t a b) c)

Instances

(Associative t Function) => Associative t Op
(Monad m, Associative t Function, GBifunctor (Star m) (Star m) (Star m) t) => Associative t (Star m)
Associative Tuple Function
Associative Either Function
Associative These Function

#Tensor Source

class (Associative t p) <= Tensor t i p | t -> i where

Members

lunit :: forall a. Iso p (t i a) a
runit :: forall a. Iso p (t a i) a

Instances

(Tensor t i Function) => Tensor t i Op
(Monad m, Tensor t i Function, Associative t (Star m)) => Tensor t i (Star m)
Tensor Tuple Unit Function
Tensor Either Void Function
Tensor These Void Function

#Symmetric Source

class (Associative t p) <= Symmetric t p  where

Members

swap :: forall a b. p (t a b) (t b a)

Instances

(Symmetric t Function) => Symmetric t Op
(Monad m, Symmetric t Function, Associative t (Star m)) => Symmetric t (Star m)
Symmetric Tuple Function
Symmetric Either Function
Symmetric These Function

#Cartesian Source

class (Symmetric t p, Tensor t i p) <= Cartesian t i p | i -> t, t -> i where

Members

diagonal :: forall a. p a (t a a)
terminal :: forall a. p a i

Instances

#dup Source

dup :: forall a. a -> a /\ a

#merge Source

merge :: forall a. a \/ a -> a

Modules: Control.Category.Tensor; Data.Bifunctor.ApplicativeDo; Data.Bifunctor.Module; Data.Bifunctor.Monoidal; Data.Bifunctor.Monoidal.Specialized; Data.Functor.ApplicativeDo; Data.Functor.Module; Data.Functor.Monoidal; Data.Trifunctor.ApplicativeDo; Data.Trifunctor.Module; Data.Trifunctor.Monoidal