p
matryoshka
package matryoshka
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- matryoshka
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- type Algebra[F[_], A] = (F[A]) ⇒ A
- type AlgebraIso[F[_], A] = PIso[F[scalaz.Scalaz.Id[A]], F[scalaz.Scalaz.Id[A]], A, A]
- type AlgebraM[M[_], F[_], A] = (F[A]) ⇒ M[A]
- type AlgebraPrism[F[_], A] = PPrism[F[A], F[A], A, A]
- type AlgebraicGTransform[W[_], T, F[_], G[_]] = (F[W[T]]) ⇒ G[T]
- type AlgebraicGTransformM[W[_], M[_], T, F[_], G[_]] = (F[W[T]]) ⇒ M[G[T]]
- type Coalgebra[F[_], A] = (A) ⇒ F[A]
- type CoalgebraM[M[_], F[_], A] = (A) ⇒ M[F[A]]
- type CoalgebraPrism[F[_], A] = PPrism[A, A, F[A], F[A]]
- type CoalgebraicElgotTransform[N[_], T, F[_], G[_]] = (F[T]) ⇒ N[G[T]]
- type CoalgebraicGTransform[N[_], T, F[_], G[_]] = (F[T]) ⇒ G[N[T]]
- type CoalgebraicGTransformM[N[_], M[_], T, F[_], G[_]] = (F[T]) ⇒ M[G[N[T]]]
- type DistributiveLaw[F[_], G[_]] = NaturalTransformation[[A]F[G[A]], [A]G[F[A]]]
- type ElgotAlgebra[W[_], F[_], A] = (W[F[A]]) ⇒ scalaz.Scalaz.Id[A]
- type ElgotAlgebraIso[W[_], N[_], F[_], A] = PIso[W[F[A]], N[F[A]], A, A]
- type ElgotAlgebraM[W[_], M[_], F[_], A] = (W[F[A]]) ⇒ M[A]
- type ElgotCoalgebra[E[_], F[_], A] = (A) ⇒ E[F[A]]
- type ElgotCoalgebraM[E[_], M[_], F[_], A] = (A) ⇒ M[E[F[A]]]
- type EndoTransform[T, F[_]] = (F[T]) ⇒ F[T]
- type GAlgebra[W[_], F[_], A] = (F[W[A]]) ⇒ A
- type GAlgebraIso[W[_], N[_], F[_], A] = PIso[F[W[A]], F[N[A]], A, A]
- type GAlgebraM[W[_], M[_], F[_], A] = (F[W[A]]) ⇒ M[A]
- type GCoalgebra[N[_], F[_], A] = (A) ⇒ F[N[A]]
- type GCoalgebraM[N[_], M[_], F[_], A] = (A) ⇒ M[F[N[A]]]
- type Transform[T, F[_], G[_]] = (F[T]) ⇒ G[T]
- type TransformM[M[_], T, F[_], G[_]] = (F[T]) ⇒ M[G[T]]
Value Members
- implicit def AlgebraZip[F[_]](implicit arg0: Functor[F]): Zip[[γ$34$](F[scalaz.Scalaz.Id[γ$34$]]) ⇒ γ$34$]
- implicit def ElgotAlgebraMZip[W[_], M[_], F[_]](implicit arg0: Functor[W], arg1: Applicative[M], arg2: Functor[F]): Zip[[δ$36$](W[F[δ$36$]]) ⇒ M[δ$36$]]
- implicit def ElgotAlgebraZip[W[_], F[_]](implicit arg0: Functor[W], arg1: Functor[F]): Zip[[δ$36$](W[F[δ$36$]]) ⇒ scalaz.Scalaz.Id[δ$36$]]
- implicit def GAlgebraZip[W[_], F[_]](implicit arg0: Functor[W], arg1: Functor[F]): Zip[[γ$34$](F[W[γ$34$]]) ⇒ γ$34$]
- def alignThese[T, F[_]](implicit arg0: Align[F], T: Aux[T, F]): ElgotCoalgebra[[β$41$]\/[T, β$41$], F, \&/[T, T]]
- def attrK[F[_], A](k: A)(implicit arg0: Functor[F]): Algebra[F, Cofree[F, A]]
- def attrSelf[T, F[_]](implicit arg0: Functor[F], T: Aux[T, F]): Algebra[F, Cofree[F, T]]
- def attributeAlgebra[F[_], A](f: Algebra[F, A])(implicit arg0: Functor[F]): Algebra[F, Cofree[F, A]]
- def attributeAlgebraM[F[_], M[_], A](f: AlgebraM[M, F, A])(implicit arg0: Functor[F], arg1: Functor[M]): AlgebraM[M, F, Cofree[F, A]]
- def attributeCoalgebra[F[_], B](ψ: Coalgebra[F, B]): Coalgebra[[γ$25$]EnvT[B, F, γ$25$], B]
- def bilambekIso[T, F[_]](implicit arg0: Functor[F], TR: Aux[T, F], TC: Aux[T, F]): AlgebraIso[F, T]
- def binarySequence[A](relation: (A, A) ⇒ A): Coalgebra[[β$42$](A, β$42$), (A, A)]
- def birecursiveIso[T, F[_]](implicit arg0: Functor[F], TR: Aux[T, F], TC: Aux[T, F]): AlgebraIso[F, T]
- implicit def birecursiveTBirecursive[T[_[_]], F[_]](implicit arg0: BirecursiveT[T]): Aux[T[F], F]
- implicit def birecursiveTFunctor[T[_[_]], F[_, _]](implicit arg0: BirecursiveT[T], F: Bifunctor[F]): Functor[[α]T[[β$43$]F[α, β$43$]]]
- def builder[F[_], A, B](fa: F[A], children: List[B])(implicit arg0: Traverse[F]): F[B]
- def chrono[F[_], A, B](a: A)(g: GAlgebra[[β$5$]Cofree[F, β$5$], F, B], f: GCoalgebra[[β$6$]Free[F, β$6$], F, A])(implicit arg0: Functor[F]): B
- def codyna[F[_], A, B](a: A)(φ: Algebra[F, B], ψ: GCoalgebra[[β$1$]Free[F, β$1$], F, A])(implicit arg0: Functor[F]): B
- def codynaM[M[_], F[_], A, B](a: A)(φ: AlgebraM[M, F, B], ψ: GCoalgebraM[[β$3$]Free[F, β$3$], M, F, A])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]
- def coelgot[F[_], A, B](a: A)(φ: ElgotAlgebra[[β$11$](A, β$11$), F, B], ψ: Coalgebra[F, A])(implicit arg0: Functor[F]): B
- implicit def corecursiveTCorecursive[T[_[_]], F[_]](implicit arg0: CorecursiveT[T]): Aux[T[F], F]
- def count[T, F[_]](form: T)(implicit arg0: Equal[T], arg1: Functor[F], arg2: Foldable[F], T: Aux[T, F]): ElgotAlgebra[[β$40$](T, β$40$), F, Int]
- def deattribute[F[_], A, B](φ: Algebra[F, B]): Algebra[[γ$26$]EnvT[A, F, γ$26$], B]
- implicit def delayEqual[F[_], A](implicit A: Equal[A], F: Delay[Equal, F]): Equal[F[A]]
- implicit def delayShow[F[_], A](implicit A: Show[A], F: Delay[Show, F]): Show[F[A]]
- def distAna[F[_]]: DistributiveLaw[scalaz.Scalaz.Id, F]
- def distApo[T, F[_]](implicit arg0: Functor[F], T: Aux[T, F]): DistributiveLaw[[β$19$]\/[T, β$19$], F]
- def distApplicative[F[_], G[_]](implicit arg0: Traverse[F], arg1: Applicative[G]): DistributiveLaw[F, G]
- def distCata[F[_]]: DistributiveLaw[F, scalaz.Scalaz.Id]
- def distDistributive[F[_], G[_]](implicit arg0: Functor[F], arg1: Distributive[G]): DistributiveLaw[F, G]
- def distFutu[F[_]](implicit arg0: Functor[F]): DistributiveLaw[[β$22$]Free[F, β$22$], F]
- def distGApo[F[_], B](g: Coalgebra[F, B])(implicit arg0: Functor[F]): DistributiveLaw[[β$20$]\/[B, β$20$], F]
- def distGApoT[F[_], M[_], B](g: Coalgebra[F, B], k: DistributiveLaw[M, F])(implicit arg0: Functor[F], arg1: Functor[M]): DistributiveLaw[[γ$21$]EitherT[M, B, γ$21$], F]
- def distGFutu[H[_], F[_]](k: DistributiveLaw[H, F])(implicit arg0: Functor[H], F: Functor[F]): DistributiveLaw[[β$23$]Free[H, β$23$], F]
- def distGHisto[F[_], H[_]](k: DistributiveLaw[F, H])(implicit arg0: Functor[F], arg1: Functor[H]): DistributiveLaw[F, [β$18$]Cofree[H, β$18$]]
- def distHisto[F[_]](implicit arg0: Functor[F]): DistributiveLaw[F, [β$17$]Cofree[F, β$17$]]
- def distPara[T, F[_]](implicit arg0: Functor[F], T: Aux[T, F]): DistributiveLaw[F, [β$13$](T, β$13$)]
- def distParaT[T, W[_], F[_]](t: DistributiveLaw[F, W])(implicit arg0: Comonad[W], arg1: Functor[F], T: Aux[T, F]): DistributiveLaw[F, [γ$14$]EnvT[T, W, γ$14$]]
- def distZygo[F[_], B](g: Algebra[F, B])(implicit arg0: Functor[F]): DistributiveLaw[F, [β$15$](B, β$15$)]
- def distZygoT[F[_], W[_], B](g: Algebra[F, B], k: DistributiveLaw[F, W])(implicit arg0: Functor[F], arg1: Comonad[W]): DistributiveLaw[F, [γ$16$]EnvT[B, W, γ$16$]]
- def dyna[F[_], A, B](a: A)(φ: (F[Cofree[F, B]]) ⇒ B, ψ: Coalgebra[F, A])(implicit arg0: Functor[F]): B
- def elgot[F[_], A, B](a: A)(φ: Algebra[F, B], ψ: ElgotCoalgebra[[β$9$]\/[B, β$9$], F, A])(implicit arg0: Functor[F]): B
- def elgotM[M[_], F[_], A, B](a: A)(φ: AlgebraM[M, F, B], ψ: ElgotCoalgebraM[[β$10$]\/[B, β$10$], M, F, A])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]
- implicit def equalTEqual[T[_[_]], F[_]](implicit arg0: Functor[F], T: EqualT[T], F: Delay[Equal, F]): Equal[T[F]]
- def find[T](f: (T) ⇒ Boolean): (T) ⇒ \/[T, T]
- def foldIso[T, F[_], A](alg: AlgebraIso[F, A])(implicit arg0: Functor[F], TR: Aux[T, F], TC: Aux[T, F]): Iso[T, A]
- def foldPrism[T, F[_], A](alg: AlgebraPrism[F, A])(implicit arg0: Traverse[F], TR: Aux[T, F], TC: Aux[T, F]): Prism[T, A]
- def forgetAnnotation[T, R, F[_], A](t: T)(implicit arg0: Functor[F], T: Aux[T, [γ$27$]EnvT[A, F, γ$27$]], R: Aux[R, F]): R
- def ghylo[W[_], N[_], F[_], A, B](a: A)(w: DistributiveLaw[F, W], n: DistributiveLaw[N, F], f: GAlgebra[W, F, B], g: GCoalgebra[N, F, A])(implicit arg0: Comonad[W], arg1: Monad[N], arg2: Functor[F]): B
- def ghyloM[W[_], N[_], M[_], F[_], A, B](a: A)(w: DistributiveLaw[F, W], m: DistributiveLaw[N, F], f: GAlgebraM[W, M, F, B], g: GCoalgebraM[N, M, F, A])(implicit arg0: Comonad[W], arg1: Traverse[W], arg2: Monad[N], arg3: Traverse[N], arg4: Monad[M], arg5: Traverse[F]): M[B]
- def height[F[_]](implicit arg0: Foldable[F]): Algebra[F, Int]
- def holes[F[_], A](fa: F[A])(implicit arg0: Traverse[F]): F[(A, Coalgebra[F, A])]
- def holesList[F[_], A](fa: F[A])(implicit arg0: Traverse[F]): List[(A, Coalgebra[F, A])]
- def hylo[F[_], A, B](a: A)(f: Algebra[F, B], g: Coalgebra[F, A])(implicit arg0: Functor[F]): B
- def hyloM[M[_], F[_], A, B](a: A)(f: AlgebraM[M, F, B], g: CoalgebraM[M, F, A])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]
- def join[A]: Algebra[[α]Option[(A, (α, α))], List[A]]
- def liftT[F[_], A, B](φ: ElgotAlgebra[[β$28$](A, β$28$), F, B]): Algebra[[γ$29$]EnvT[A, F, γ$29$], B]
- def liftTM[M[_], F[_], A, B](φ: ElgotAlgebraM[[β$30$](A, β$30$), M, F, B]): AlgebraM[M, [γ$31$]EnvT[A, F, γ$31$], B]
- def mergeTuple[T, F[_]](implicit arg0: Functor[F], arg1: Merge[F], T: Aux[T, F]): CoalgebraM[Option, F, (T, T)]
- def orDefault[A, B](default: B)(f: (A) ⇒ Option[B]): (A) ⇒ B
- def orOriginal[A](f: (A) ⇒ Option[A]): (A) ⇒ A
- def partition[A](implicit arg0: Order[A]): Coalgebra[[α]Option[(A, (α, α))], List[A]]
- def project[F[_], A](index: Int, fa: F[A])(implicit arg0: Foldable[F]): Option[A]
- def quicksort[A](as: List[A])(implicit arg0: Order[A]): List[A]
- implicit def recursiveTFoldable[T[_[_]], F[_, _]](implicit arg0: RecursiveT[T], FB: Bifoldable[F], FF: Bifunctor[F]): Foldable[[α]T[[β$48$]F[α, β$48$]]]
- implicit def recursiveTRecursive[T[_[_]], F[_]](implicit arg0: RecursiveT[T]): Aux[T[F], F]
- def repeatedly[A](f: (A) ⇒ Option[A]): (A) ⇒ A
- def runT[F[_], A, B](ψ: ElgotCoalgebra[[β$32$]\/[A, β$32$], F, B]): Coalgebra[[γ$33$]CoEnv[A, F, γ$33$], B]
- implicit def showTShow[T[_[_]], F[_]](implicit arg0: Functor[F], T: ShowT[T], F: Delay[Show, F]): Show[T[F]]
- def size[F[_]](implicit arg0: Foldable[F]): Algebra[F, Int]
- def substitute[T](original: T, replacement: T)(implicit arg0: Equal[T]): (T) ⇒ \/[T, T]
- def toTree[F[_]](implicit arg0: Functor[F], arg1: Foldable[F]): Algebra[F, Tree[F[Unit]]]
- def unfoldPrism[T, F[_], A](coalg: CoalgebraPrism[F, A])(implicit arg0: Traverse[F], TR: Aux[T, F], TC: Aux[T, F]): Prism[A, T]
- def zipTuple[T, F[_]](implicit arg0: Functor[F], arg1: Zip[F], T: Aux[T, F]): Coalgebra[F, (T, T)]