Helpers provides new concrete types where we control exactly which
type class instances are available.
Helpers provides new concrete types where we control exactly which
type class instances are available. For example, the SL type has:
Semilattice[SL]
Arbitrary[SL]
Eq[SL]
(All types in Helpers have Arbitrary and Eq instances.)
These are useful when a type constructor (e.g. Function0) can
produce many different instances depending on which instances are
available for its type parameter.
Helpers provides new concrete types where we control exactly which type class instances are available. For example, the SL type has:
(All types in Helpers have Arbitrary and Eq instances.)
These are useful when a type constructor (e.g. Function0) can produce many different instances depending on which instances are available for its type parameter.