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
#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)
#Associative Source
class (Category p, GBifunctor p p p t) <= Associative t p where
Members
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