scalamu
A (nongeneric) F-algebra with carrier object B.
A (nongeneric) F-coalgebra with carrier object B.
Wraps a value self and provides catamorphism and related recursion
patterns for injection into Cofree.
Wraps a value self and provides catamorphism and related recursion
patterns for injection into Cofree.
branching endofunctor of this structure
generic item type of this structure
A generic F-algebra with carrier object B and type parameter A.
A generic F-coalgebra with carrier object B.
Alias for µ.
Wraps a value self and provides catamorphism and related recursion
patterns for injection into initial F-algebras based on µ.
Wraps a value self and provides catamorphism and related recursion
patterns for injection into initial F-algebras based on µ.
endofunctor of the category Scala types for this structure
(type constructor of arity 1 with a map function that obeys
certain laws).
Trait for combining multiple implicit wrapper mathods into package object.
Trait for combining multiple implicit wrapper mathods into package object.
Trait for combining multiple implicit wrapper mathods into package object.
Wraps a value self and provides catamorphism and related recursion
patterns for injection into Tree.
Wraps a value self and provides catamorphism and related recursion
patterns for injection into Tree.
generic item type of this tree
The least fixpoint operator on endofunctors in the category Scala types.
The least fixpoint operator on endofunctors in the category Scala types.
This is used to form the carrier object (recursive type) for the initial
F-algebra.
Implemented as a partial application of Cofree to Unit.
Object to hold the initial F-algebra, where F is an endofunctor
of the category Scala types (type constructor of arity 1 with a map
function that obeys certain laws).
Object to hold the initial F-algebra, where F is an endofunctor
of the category Scala types (type constructor of arity 1 with a map
function that obeys certain laws).
This also serves as a companion to the fixpoint type constructor µ.
Declaration of any Functor as an instance of Show using toString
on the case classes underlying the functor.
Declaration of any Functor as an instance of Show using toString
on the case classes underlying the functor. Requires the item type
of the functor to be an instance of Show. Maps the corresponding
show method over the functor and then applies toString.
Alias for In.
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.