Small extensions to scalaz for working with F-algebras, where F is an
endofunctor of the category Scala types (type constructor of arity 1
with a map function that obeys certain laws).
Small extensions to scalaz for working with F-algebras, where F is an
endofunctor of the category Scala types (type constructor of arity 1
with a map function that obeys certain laws).
CofreeInstances declares Cofree and thereby µ as an instance of
scalaz typeclasses Equal (using structural equality)
and Show (using case-class-like conversion to a string).
This enables ===, assert_===, and .show on µ instances.
Small extensions to scalaz for working with F-algebras, where
Fis an endofunctor of the category Scala types (type constructor of arity 1 with amapfunction that obeys certain laws).CofreeInstancesdeclaresCofreeand therebyµas an instance of scalaz typeclassesEqual(using structural equality) andShow(using case-class-like conversion to a string). This enables===,assert_===, and.showonµinstances.