fixedpoint

Type Members

1. type Cofree[F[_], A] = Mu[[γ$1$]EnvT[A, F, γ$1$]]

   

2. type Colist[A] = Nu[[β$13$]ListF[A, β$13$]]

   

   A lazy (potentially-infinite) list.

3. type Conat = Nu[Option]

   

   The dual of Nat, a potentially-infinite number.

4. type Free[F[_], A] = Mu[[γ$0$]CoEnv[A, F, γ$0$]]

   

5. type List[A] = Mu[[β$2$]ListF[A, β$2$]]

   

6. type Nat = Mu[Option]

   

   Natural numbers represented as the least fixed-point of scala.Option.

7. implicit class NatOps[T] extends AnyRef

   

8. type Partial[A] = Nu[[β$31$]\/[A, β$31$]]

   

   Encodes a function that may diverge.

9. implicit class PartialOps[A] extends AnyRef

   

10. implicit class RecListFOps[T, A] extends AnyRef

    

11. type Stream[A] = Nu[[β$14$](A, β$14$)]

    

    A true stream – infinite.

12. implicit class StreamOps[A] extends AnyRef