Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

5.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @native() @throws( ... )

6.  implicit def constDeadEnd[U, B[_]](implicit arg0: Functor[B]): PreferProjection[[β$26$]Const[DeadEnd, β$26$], U, B]

   Definition Classes

   PreferProjectionInstances

7.  implicit def constRead[U, B[_], A](implicit arg0: Functor[B]): PreferProjection[[β$24$]Const[Read[A], β$24$], U, B]

   Definition Classes

   PreferProjectionInstances

8.  implicit def constShiftedRead[U, B[_], A](implicit arg0: Functor[B]): PreferProjection[[β$25$]Const[ShiftedRead[A], β$25$], U, B]

   Definition Classes

   PreferProjectionInstances

9.  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]

   Definition Classes

   PreferProjectionInstances

10.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

11.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

12.  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]

    Definition Classes

    PreferProjectionInstances

13.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

14.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

15.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

16.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

17.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

18.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

19.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

20.  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]
21.  implicit def projectBucket[T[_[_]], U, B[_]](implicit arg0: Functor[B]): PreferProjection[[β$23$]ProjectBucket[T, β$23$], U, B]

    Definition Classes

    PreferProjectionInstances

22.  def projectComplement[T[_[_]], A](fm: FreeMapA[T, A])(f: (A) ⇒ Shape)(implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: Equal[A]): FreeMapA[T, A]
23.  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]]

    Replaces key deletion of a map having statically known structure with a projection of the complement of the deleted key.

24.  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]

    Definition Classes

    PreferProjectionInstances

25.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

26.  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]

    Definition Classes

    PreferProjectionInstances

27.  def toString(): String

    Definition Classes

    AnyRef → Any

28.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

29.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

30.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

31.  object preferProjection

    Rewrites map key deletion into construction of a new map containing the keys in the complement of the singleton set consisting of the deleted key.