org.specs2.internal.scalaz
Defines a category.
All instances must satisfy 3 laws:
∀ a. compose(id, a) == a
∀ a. compose(a, id) == a
∀ a b c. compose(a, compose(b, c)) == compose(compose(a, b), c)
Defines a category.
All instances must satisfy 3 laws:
∀ a. compose(id, a) == a
∀ a. compose(a, id) == a
∀ a b c. compose(a, compose(b, c)) == compose(compose(a, b), c)