In
Related Doc:
package scalamu
The initial F-algebra: an F-algebra with µ[F],
the least fixpoint of F, as the carrier object.
The initial F-algebra: an F-algebra with µ[F],
the least fixpoint of F, as the carrier object.
endofunctor of the category Scala types
an unwrapped instance of F applied to µ[F],
that is, F[µ[F]]
the resulting wrapped instance of µ[F]
Extractor from initial F-algebra.
Extractor from initial F-algebra.
endofunctor of the category Scala types
a wrapped instance of µ[F]
the resulting unwrapped instance of F[µ[F]]
The Anamorphism (generalized unfold) for the F-coalgebra g with
carrier object B, also denoted [( g )].
The Anamorphism (generalized unfold) for the F-coalgebra g with
carrier object B, also denoted [( g )].
[( g )] corecursively builds up an instance of µ[F] by using g to
generate successive values of type F[B].
Anamorphisms are the categorical dual of catamorphisms.
endofunctor of the category Scala types
carrier object of g
seed value (starting point) for generating successive values
F-coalgebra for generating successive values of type F[B]
Object to hold the initial F-algebra, where
Fis an endofunctor of the category Scala types (type constructor of arity 1 with amapfunction that obeys certain laws). This also serves as a companion to the fixpoint type constructor µ.