NarrowCategory
libretto.lambda.NarrowCategory
trait NarrowCategory[->[_, _], Obj[_]] extends Semigroupoid[->]
A category on a subset of Scala types.
Type parameters
- ->
-
morphism of the category
- Obj
-
witnesses that a Scala type is an object of the category.
Attributes
- Graph
-
- Supertypes
Members list
In this article