scalak

Type Members

1. type Algebra[F[_], B] = (F[B]) ⇒ B

   A (nongeneric) F-algebra with carrier object B.

2. type Coalgebra[F[_], B] = (B) ⇒ F[B]

   A (nongeneric) F-coalgebra with carrier object B.

3. implicit class CofreeOps[F[+_], +A] extends AnyRef

   Wrapper class for injecting useful methods into Cofree (similar to C# extension methods).

4. type GenericAlgebra[A, F[_], B] = (A) ⇒ (F[B]) ⇒ B

   A generic F-algebra with carrier object B and type parameter A.

5. type Mu[F[+_]] = Cofree[F, Unit]

6. implicit class MuOps[F[+_]] extends AnyRef

   Wrapper class for injecting useful methods into µ.

7. type µ[F[+_]] = Cofree[F, Unit]

   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.