The "Unit type class". 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 type class
instance for a type constructor, you should use Trivial.PH1).
The "Unit type class". 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 type class instance for a type constructor, you should useTrivial.PH1
).