Module

Control.Subcategory.ClosedSemimonoidal

#ClosedSemimonoidal

class (Closed c, HasCurry c tensor c, HasUncurry c tensor c) <= ClosedSemimonoidal c tensor 

Instances

Modules