package
fixedpoint
Type Members
-
type
Cofree[F[_], A] = Mu[[γ$1$]EnvT[A, F, γ$1$]]
-
type
Colist[A] = Nu[[β$13$]ListF[A, β$13$]]
-
type
Conat = Nu[Option]
-
type
Free[F[_], A] = Mu[[γ$0$]CoEnv[A, F, γ$0$]]
-
type
List[A] = Mu[[β$2$]ListF[A, β$2$]]
-
type
Nat = Mu[Option]
-
implicit
class
NatOps[T] extends AnyRef
-
type
Partial[A] = Nu[[β$31$]\/[A, β$31$]]
-
implicit
class
PartialOps[A] extends AnyRef
-
implicit
class
RecListFOps[T, A] extends AnyRef
-
type
Stream[A] = Nu[[β$14$](A, β$14$)]
-
implicit
class
StreamOps[A] extends AnyRef
Value Members
-
-
object
List extends Serializable
-
implicit
def
ListOps[A](self: List[A]): RecListFOps[List[A], A]
-
object
Nat extends Serializable
-
-
-
implicit
val
partialMonad: Monad[Partial]
Inherited from AnyRef
Inherited from Any
This package provides instances of various common data structures implemented explicitly as fixed-points.