The "Unit typeclass". The only instance of Trivial is given by
Trivial.manifest, and this instance is guaranteed to be in the
implicit scope. Several convenience type aliases are provided in
companion object, covering a few common use cases and avoiding the
need for unnecessary lambdas (e.g. if you want a trivial typeclass
instance for a type constructor, you should use Trivial.PH1).
The "Unit typeclass". The only instance of
Trivial
is given byTrivial.manifest
, and this instance is guaranteed to be in the implicit scope. Several convenience type aliases are provided in companion object, covering a few common use cases and avoiding the need for unnecessary lambdas (e.g. if you want a trivial typeclass instance for a type constructor, you should useTrivial.PH1
).