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[slamdata.Predef.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[slamdata.Predef.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