Reduce

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. object EditUpdate

   

   Definition Classes

   DepGraph

5. object ScopeUpdate

   

   Definition Classes

   DepGraph

6. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

7. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8. lazy val containsSplitArg: Boolean

   

   Definition Classes

   Reduce → DepGraph

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

   

   Definition Classes

   AnyRef

10. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

11. def foldDown[Z](enterSplitChild: Boolean)(f0: PartialFunction[DepGraph, Z])(implicit monoid: Monoid[Z]): Z

    

    Definition Classes

    DepGraph

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

    

    Definition Classes

    AnyRef → Any

13. lazy val identities: Specs

    

    Definition Classes

    Reduce → DepGraph

14. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

15. val isSingleton: Boolean

    

    Definition Classes

    Reduce → DepGraph

16. val loc: yggdrasil.bytecode.Instructions.instructions.Line

    

    Definition Classes

    Reduce → DepGraph

17. def mapDown(body: ((DepGraph) ⇒ DepGraph) ⇒ PartialFunction[DepGraph, DepGraph]): DepGraph

    

    Definition Classes

    DepGraph

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. val parent: DepGraph

    

22. val red: yggdrasil.bytecode.Instructions.Lib.Reduction

    

23. final def size: Int

    

    Definition Classes

    DepGraph

24. def substituteDown[S, E](scope: S, edit: (E, E))(implicit arg0: ScopeUpdate[S], arg1: EditUpdate[E]): (DepGraph, S)

    

    Performs a scoped node substitution on this DepGraph.

    Performs a scoped node substitution on this DepGraph.

    The substitution is represented as a pair from -> to both of type E. The replacement is performed everywhere in the DAG below the scope node of type S. Both S and E are constained to be one of DepGraph or BucketSpec by the availability of instances of the type classes EditUpdate[E] and ScopeUpdate[S] as defined above.

    returns

    A pair of the whole rewritten DAG and the rewritten scope node.

    Definition Classes

    DepGraph

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

    

    Definition Classes

    AnyRef

26. def uniqueIdentities: Boolean

    

    Returns true if the identities are guaranteed to be unique.

    Returns true if the identities are guaranteed to be unique.

    Definition Classes

    Reduce → DepGraph

27. def valueKeys: Set[Int]

    

    The set of available value-sorted keys.

    The set of available value-sorted keys.

    Definition Classes

    Reduce → DepGraph

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( ... )