PartialOps

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. def +(other: PartialOps[A]): PartialOps[A]

   

   Implicit information

   This member is added by an implicit conversion from PartialOps[A] to NatOps[PartialOps[A]] performed by method NatOps in matryoshka.instances.fixedpoint. This conversion will take place only if an implicit value of type Aux[PartialOps[A], Option] is in scope and at the same time an implicit value of type Aux[PartialOps[A], Option] is in scope.

   Definition Classes

   NatOps

4. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

7. final def eq(arg0: AnyRef): Boolean

   

   Definition Classes

   AnyRef

8. def equals(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

9. def finalize(): Unit

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

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

10. def find(cond: (A) ⇒ Boolean): Option[A]

    

    Implicit information

    This member is added by an implicit conversion from PartialOps[A] to RecListFOps[PartialOps[A], A] performed by method RecListFOps in matryoshka.instances.fixedpoint. This conversion will take place only if an implicit value of type Aux[PartialOps[A], [β$11$]ListF[A, β$11$]] is in scope.

    Definition Classes

    RecListFOps

11. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

12. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

13. def headOption: Option[A]

    

    Implicit information

    This member is added by an implicit conversion from PartialOps[A] to RecListFOps[PartialOps[A], A] performed by method RecListFOps in matryoshka.instances.fixedpoint. This conversion will take place only if an implicit value of type Aux[PartialOps[A], [β$11$]ListF[A, β$11$]] is in scope.

    Definition Classes

    RecListFOps

14. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

15. def length: Int

    

    Implicit information

    This member is added by an implicit conversion from PartialOps[A] to RecListFOps[PartialOps[A], A] performed by method RecListFOps in matryoshka.instances.fixedpoint. This conversion will take place only if an implicit value of type Aux[PartialOps[A], [β$11$]ListF[A, β$11$]] is in scope.

    Definition Classes

    RecListFOps

16. def max(other: PartialOps[A]): PartialOps[A]

    

    Implicit information

    This member is added by an implicit conversion from PartialOps[A] to NatOps[PartialOps[A]] performed by method NatOps in matryoshka.instances.fixedpoint. This conversion will take place only if an implicit value of type Aux[PartialOps[A], Option] is in scope and at the same time an implicit value of type Aux[PartialOps[A], Option] is in scope.

    Definition Classes

    NatOps

17. def min(other: PartialOps[A]): PartialOps[A]

    

    Implicit information

    This member is added by an implicit conversion from PartialOps[A] to NatOps[PartialOps[A]] performed by method NatOps in matryoshka.instances.fixedpoint. This conversion will take place only if an implicit value of type Aux[PartialOps[A], Option] is in scope and at the same time an implicit value of type Aux[PartialOps[A], Option] is in scope.

    Definition Classes

    NatOps

18. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

19. final def notify(): Unit

    

    Definition Classes

    AnyRef

20. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

21. def runFor(steps: Int): \/[A, Partial[A]]

    

    Returns left if the result was found within the given number of steps.

22. def step: \/[A, Partial[A]]

    

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

    

    Definition Classes

    AnyRef

24. def tailOption: Option[PartialOps[A]]

    

    Implicit information

    This member is added by an implicit conversion from PartialOps[A] to RecListFOps[PartialOps[A], A] performed by method RecListFOps in matryoshka.instances.fixedpoint. This conversion will take place only if an implicit value of type Aux[PartialOps[A], [β$11$]ListF[A, β$11$]] is in scope.

    Definition Classes

    RecListFOps

25. def take[N](i: N)(implicit N: Aux[N, Option], C: Aux[PartialOps[A], [β$12$]ListF[A, β$12$]]): PartialOps[A]

    

    Implicit information

    This member is added by an implicit conversion from PartialOps[A] to RecListFOps[PartialOps[A], A] performed by method RecListFOps in matryoshka.instances.fixedpoint. This conversion will take place only if an implicit value of type Aux[PartialOps[A], [β$11$]ListF[A, β$11$]] is in scope.

    Definition Classes

    RecListFOps

26. def toString(): String

    

    Definition Classes

    AnyRef → Any

27. final def unsafePerformSync: A

    

    Run to completion (if it completes).

    Run to completion (if it completes).

    Annotations

    @tailrec()

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

    @throws( ... )

31. def ≈(that: Partial[A])(implicit A: Equal[A]): Partial[Boolean]

    

    If two Partials eventually have the same value, then they are equivalent.