fixedpoint

implicit class BirecursiveListFOps[T, A] extends AnyRef
implicit class BirecursiveOptionOps[T] extends AnyRef
implicit class BirecursiveTuple2Ops[T, A] extends AnyRef
type Cofree[F[_], A] = Mu[[γ$1$]EnvT[A, F, γ$1$]]
type Colist[A] = Nu[[β$26$]ListF[A, β$26$]]

A lazy (potentially-infinite) list.
type Conat = Nu[slamdata.Predef.Option]

The dual of Nat, a potentially-infinite number.
implicit class CorecursiveOptionOps[T] extends AnyRef
type Free[F[_], A] = Mu[[γ$0$]CoEnv[A, F, γ$0$]]
type List[A] = Mu[[β$2$]ListF[A, β$2$]]
type Nat = Mu[slamdata.Predef.Option]

Natural numbers represented as the least fixed-point of scala.Option.
type NonEmptyColist[A] = Nu[[β$28$]AndMaybe[A, β$28$]]
type NonEmptyList[A] = Mu[[β$27$]AndMaybe[A, β$27$]]
type Partial[A] = Nu[[β$59$]\/[A, β$59$]]

Encodes a function that may diverge.
implicit class PartialOps[A] extends AnyRef
implicit class RecursiveAndMaybeOps[T, A] extends AnyRef
implicit class RecursiveListFOps[T, A] extends AnyRef
implicit class RecursiveOptionOps[T] extends AnyRef
implicit class RecursiveTuple2Ops[T, A] extends AnyRef
type Stream[A] = Nu[[β$33$](A, β$33$)]

A true stream – infinite.

implicit def BirecursiveTTuple2Ops[T[_[_]], A](self: T[[β$56$](A, β$56$)])(implicit arg0: BirecursiveT[T]): BirecursiveTuple2Ops[T[[β$57$](A, β$57$)], A]
object Conat
object List extends Serializable
object Nat extends Serializable
object Partial
implicit def RecursiveTTuple2Ops[T[_[_]], A](self: T[[β$50$](A, β$50$)])(implicit arg0: RecursiveT[T]): RecursiveTuple2Ops[T[[β$51$](A, β$51$)], A]
object Stream
implicit def birecursiveListFMonoid[T, A](implicit T: Aux[T, [β$25$]ListF[A, β$25$]]): Monoid[T]
implicit def birecursiveTListFOps[T[_[_]], A](self: T[[β$18$]ListF[A, β$18$]])(implicit arg0: BirecursiveT[T]): BirecursiveListFOps[T[[β$19$]ListF[A, β$19$]], A]
implicit val partialMonad: Monad[Partial]
implicit def recursiveTEitherFoldable[T[_[_]]](implicit arg0: RecursiveT[T]): Foldable[[α]T[[β$65$]\/[α, β$65$]]]
implicit def recursiveTListFFoldable[T[_[_]]](implicit arg0: RecursiveT[T]): Foldable[[α]T[[β$21$]ListF[α, β$21$]]]
implicit def recursiveTListFOps[T[_[_]], A](self: T[[β$15$]ListF[A, β$15$]])(implicit arg0: RecursiveT[T]): RecursiveListFOps[T[[β$16$]ListF[A, β$16$]], A]