Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
implicit
def
constDeadEnd[U, B[_]](implicit arg0: Functor[B]): PreferProjection[[β$26$]Const[DeadEnd, β$26$], U, B]
-
implicit
def
constRead[U, B[_], A](implicit arg0: Functor[B]): PreferProjection[[β$24$]Const[Read[A], β$24$], U, B]
-
implicit
def
constShiftedRead[U, B[_], A](implicit arg0: Functor[B]): PreferProjection[[β$25$]Const[ShiftedRead[A], β$25$], U, B]
-
implicit
def
coproduct[F[_], G[_], T, B[_]](implicit F: PreferProjection[F, T, B], G: PreferProjection[G, T, B]): PreferProjection[[γ$9$]Coproduct[F, G, γ$9$], T, B]
-
-
-
implicit
def
equiJoin[T[_[_]], U, B[_]](implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: Functor[B], UC: Aux[U, B], UR: Aux[U, B], O: Outline[[β$19$]EquiJoin[T, β$19$]]): PreferProjection[[β$20$]EquiJoin[T, β$20$], U, B]
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
-
def
preferProjectionF[F[_], A](fa: Free[F, A])(f: (A) ⇒ Shape)(implicit arg0: Functor[F], P: PreferProjection[F, Free[F, A], [γ$0$]CoEnv[A, F, γ$0$]], O: Outline[F]): Free[F, A]
-
implicit
def
projectBucket[T[_[_]], U, B[_]](implicit arg0: Functor[B]): PreferProjection[[β$23$]ProjectBucket[T, β$23$], U, B]
-
def
projectComplement[T[_[_]], A](fm: FreeMapA[T, A])(f: (A) ⇒ Shape)(implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: Equal[A]): FreeMapA[T, A]
-
def
projectComplementƒ[T[_[_]], F[_], A](implicit arg0: BirecursiveT[T], arg1: Functor[F], I: :<:[[β$5$]MapFuncCore[T, β$5$], F]): ElgotAlgebra[[β$6$](Free[[A]Coproduct[Extension, Common, A], Figure], β$6$), [γ$7$]CoEnv[A, F, γ$7$], Free[F, A]]
-
implicit
def
qScriptCore[T[_[_]], U, B[_]](implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: Functor[B], UC: Aux[U, B], UR: Aux[U, B], O: Outline[[β$11$]QScriptCore[T, β$11$]]): PreferProjection[[β$12$]QScriptCore[T, β$12$], U, B]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
implicit
def
thetaJoin[T[_[_]], U, B[_]](implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: Functor[B], UC: Aux[U, B], UR: Aux[U, B], O: Outline[[β$15$]ThetaJoin[T, β$15$]]): PreferProjection[[β$16$]ThetaJoin[T, β$16$], U, B]
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
