fixedpoint

Type Members

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

   

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

   

   A lazy (potentially-infinite) list.

3. type Conat = Nu[Option]

   

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

   

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

   

6. implicit class ListOps[A] extends AnyRef

   

7. type Nat = Mu[Option]

   

8. implicit class NatOps[T] extends AnyRef

   

9. type Partial[A] = Nu[[β$21$]\/[A, β$21$]]

   

   Encodes a function that may diverge.

10. implicit class PartialOps[A] extends AnyRef

    

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

    

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

    

    A true stream – infinite.

13. implicit class StreamOps[A] extends AnyRef