extended-categories-0.1.0: Extended Categories

Safe HaskellNone
LanguageHaskell2010

Monoidal

Documentation

class (Category c, Functor (Mu c) (KProxy :: KProxy ((k, k) -> k)), Domain (Mu c) ~ (c :><: c), Codomain (Mu c) ~ c, Object c (I c)) => Monoidal c Source

Associated Types

type Mu c Source

type I c :: k Source

Instances

(ProductCategory * c, Terminal c) => Monoidal * c 
Category k c => Monoidal * (NatTr k k c c) 

(<>) :: forall c a1 a2 b1 b2. Monoidal c => c a1 b1 -> c a2 b2 -> c (FMap (Mu c) `(a1, a2)`) (FMap (Mu c) `(b1, b2)`) Source