Packages

  • package root
    Definition Classes
    root
  • package provingground

    This is work towards automated theorem proving based on learning, using homotopy type theory (HoTT) as foundations and natural language processing.

    This is work towards automated theorem proving based on learning, using homotopy type theory (HoTT) as foundations and natural language processing.

    The implementation of homotopy type theory is split into:

    • the object HoTT with terms, types, functions and dependent functions, pairs etc
    • the package induction with general inductive types and recursion/induction on these.

    The learning package has the code for learning.

    Scala code, including the spire library, is integrated with homotopy type theory in the scalahott package

    We have implemented a functor based approach to translation in the translation package, used for nlp as well as serialization and parsing.

    The library package is contains basic structures implemented in HoTT.

    Definition Classes
    root
  • package interface
    Definition Classes
    provingground
  • object QDI

    Definition Classes
    interface
  • FileLog
  • Logger
  • MemLog
  • WebView

class MemLog extends Logger

Linear Supertypes
Logger, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MemLog
  2. Logger
  3. AnyRef
  4. Any
Implicitly
  1. by toXML
  2. by any2stringadd
  3. by StringFormat
  4. by Ensuring
  5. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new MemLog()

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from MemLog toany2stringadd[MemLog] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. final def ++(suffix: Seq[Node]): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    ScalaVersionSpecificNodeSeq
    Annotations
    @inline()
  5. final def ++[B >: A](suffix: IterableOnce[B]): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
    Annotations
    @inline()
  6. final def ++:[B >: A](prefix: IterableOnce[B]): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps → IterableOps
    Annotations
    @inline()
  7. final def +:[B >: A](elem: B): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
    Annotations
    @inline()
  8. def ->[B](y: B): (MemLog, B)
    Implicit
    This member is added by an implicit conversion from MemLog toArrowAssoc[MemLog] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  9. final def :+[B >: A](elem: B): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
    Annotations
    @inline()
  10. final def :++[B >: A](suffix: IterableOnce[B]): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
    Annotations
    @inline()
  11. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  12. def \(that: String): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    NodeSeq
  13. def \@(attributeName: String): String
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    NodeSeq
  14. def \\(that: String): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    NodeSeq
  15. final def addString(b: StringBuilder): StringBuilder
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  16. final def addString(b: StringBuilder, sep: String): StringBuilder
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  17. def addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  18. def andThen[C](k: PartialFunction[Node, C]): PartialFunction[Int, C]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    PartialFunction
  19. def andThen[C](k: (Node) => C): PartialFunction[Int, C]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    PartialFunction → Function1
  20. def appended(base: Node): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    ScalaVersionSpecificNodeSeq
  21. def appended[B >: A](elem: B): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedSeqOps → SeqOps
  22. def appendedAll(suffix: IterableOnce[Node]): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    ScalaVersionSpecificNodeSeq
  23. def appendedAll[B >: A](suffix: IterableOnce[B]): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedSeqOps → SeqOps
  24. def apply(f: (Node) => Boolean): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    NodeSeq
  25. def apply(i: Int): Node
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    NodeSeq → SeqOps → Function1
  26. def applyOrElse[A1 <: A, B1 >: B](x: A1, default: (A1) => B1): B1
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    PartialFunction
  27. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  28. final def attribute(uri: String, key: String): Option[Seq[Node]]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  29. final def attribute(key: String): Option[Seq[Node]]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  30. def attributes: MetaData
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  31. def buildString(stripComments: Boolean): String
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  32. def canEqual(other: Any): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node → NodeSeq → Equality → Seq → Equals
  33. def child: Seq[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  34. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  35. def close: Unit
    Definition Classes
    MemLog → Logger
  36. val closed: Boolean
    Definition Classes
    Logger
  37. def collect[B](pf: PartialFunction[Node, B]): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps → IterableOnceOps
  38. def collectFirst[B](pf: PartialFunction[Node, B]): Option[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  39. def combinations(n: Int): Iterator[NodeSeq]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  40. def compose[R](k: PartialFunction[R, Int]): PartialFunction[R, Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    PartialFunction
  41. def compose[A](g: (A) => Int): (A) => Node
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  42. def concat(suffix: IterableOnce[Node]): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    ScalaVersionSpecificNodeSeq
  43. final def concat[B >: A](suffix: IterableOnce[B]): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps → IterableOps
    Annotations
    @inline()
  44. def contains[A1 >: A](elem: A1): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  45. def containsSlice[B](that: Seq[B]): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  46. def copyToArray[B >: A](xs: Array[B], start: Int, len: Int): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  47. def copyToArray[B >: A](xs: Array[B], start: Int): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  48. def copyToArray[B >: A](xs: Array[B]): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  49. def corresponds[B](that: Seq[B])(p: (Node, B) => Boolean): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  50. def corresponds[B](that: IterableOnce[B])(p: (Node, B) => Boolean): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  51. def count(p: (Node) => Boolean): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  52. def descendant: List[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  53. def descendant_or_self: List[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  54. def diff[B >: A](that: Seq[B]): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedSeqOps → SeqOps
  55. def distinct: NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  56. def distinctBy[B](f: (Node) => B): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedSeqOps → StrictOptimizedSeqOps → SeqOps
  57. def doCollectNamespaces: Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  58. def doTransform: Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  59. def drop(n: Int): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps → IterableOnceOps
  60. def dropRight(n: Int): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps
  61. def dropWhile(p: (Node) => Boolean): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps → IterableOnceOps
  62. def elementWise: ElementWiseExtractor[Int, Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    PartialFunction
  63. def empty: NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    ScalaVersionSpecificNodeSeq → IterableOps
  64. def endsWith[B >: A](that: Iterable[B]): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  65. def ensuring(cond: (MemLog) => Boolean, msg: => Any): MemLog
    Implicit
    This member is added by an implicit conversion from MemLog toEnsuring[MemLog] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  66. def ensuring(cond: (MemLog) => Boolean): MemLog
    Implicit
    This member is added by an implicit conversion from MemLog toEnsuring[MemLog] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  67. def ensuring(cond: Boolean, msg: => Any): MemLog
    Implicit
    This member is added by an implicit conversion from MemLog toEnsuring[MemLog] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  68. def ensuring(cond: Boolean): MemLog
    Implicit
    This member is added by an implicit conversion from MemLog toEnsuring[MemLog] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  69. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  70. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  71. def exists(p: (Node) => Boolean): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  72. def filter(pred: (Node) => Boolean): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps → IterableOnceOps
  73. def filterNot(pred: (Node) => Boolean): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps → IterableOnceOps
  74. def find(p: (Node) => Boolean): Option[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  75. def findLast(p: (Node) => Boolean): Option[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  76. def flatMap(f: (Node) => IterableOnce[Node]): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    ScalaVersionSpecificNodeSeq
  77. def flatMap[B](f: (Node) => IterableOnce[B]): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps → IterableOnceOps
  78. def flatten[B](implicit toIterableOnce: (Node) => IterableOnce[B]): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps → IterableOnceOps
  79. def fold[A1 >: A](z: A1)(op: (A1, A1) => A1): A1
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  80. def foldLeft[B](z: B)(op: (B, Node) => B): B
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  81. def foldRight[B](z: B)(op: (Node, B) => B): B
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  82. def forall(p: (Node) => Boolean): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  83. def foreach[U](f: (Node) => U): Unit
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  84. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from MemLog toStringFormat[MemLog] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  85. def fromSpecific(coll: IterableOnce[Node]): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    ScalaVersionSpecificNodeSeq → IterableOps
  86. def get: Option[Iterator[String]]
    Definition Classes
    MemLog → Logger
  87. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  88. def getNamespace(pre: String): String
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  89. def groupBy[K](f: (Node) => K): Map[K, NodeSeq]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  90. def groupMap[K, B](key: (Node) => K)(f: (Node) => B): Map[K, Seq[B]]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  91. def groupMapReduce[K, B](key: (Node) => K)(f: (Node) => B)(reduce: (B, B) => B): Map[K, B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  92. def grouped(size: Int): Iterator[NodeSeq]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  93. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  94. def head: Node
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  95. def headOption: Option[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  96. def indexOf[B >: A](elem: B): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
    Annotations
    @deprecatedOverriding("Override indexOf(elem, from) instead - indexOf(elem) calls indexOf(elem, 0)", "2.13.0")
  97. def indexOf[B >: A](elem: B, from: Int): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  98. def indexOfSlice[B >: A](that: Seq[B]): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
    Annotations
    @deprecatedOverriding("Override indexOfSlice(that, from) instead - indexOfSlice(that) calls indexOfSlice(that, 0)", "2.13.0")
  99. def indexOfSlice[B >: A](that: Seq[B], from: Int): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  100. def indexWhere(p: (Node) => Boolean): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
    Annotations
    @deprecatedOverriding("Override indexWhere(p, from) instead - indexWhere(p) calls indexWhere(p, 0)", "2.13.0")
  101. def indexWhere(p: (Node) => Boolean, from: Int): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  102. def indices: Range
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  103. def init: NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  104. def inits: Iterator[NodeSeq]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  105. def intersect[B >: A](that: Seq[B]): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedSeqOps → SeqOps
  106. def isAtom: Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  107. def isDefinedAt(idx: Int): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  108. def isEmpty: Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps → IterableOnceOps
  109. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  110. def isTraversableAgain: Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps → IterableOnceOps
  111. def iterableFactory: SeqFactory[Seq]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Seq → Seq → Iterable → Iterable → IterableOps
  112. def iterator: Iterator[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    NodeSeq → IterableOnce
  113. def knownSize: Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnce
  114. def label: String
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  115. def last: Node
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  116. def lastIndexOf[B >: A](elem: B, end: Int): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  117. def lastIndexOfSlice[B >: A](that: Seq[B]): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
    Annotations
    @deprecatedOverriding("Override lastIndexOfSlice(that, end) instead - lastIndexOfSlice(that) calls lastIndexOfSlice(that, Int.MaxValue)", "2.13.0")
  118. def lastIndexOfSlice[B >: A](that: Seq[B], end: Int): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  119. def lastIndexWhere(p: (Node) => Boolean): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
    Annotations
    @deprecatedOverriding("Override lastIndexWhere(p, end) instead - lastIndexWhere(p) calls lastIndexWhere(p, Int.MaxValue)", "2.13.0")
  120. def lastIndexWhere(p: (Node) => Boolean, end: Int): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  121. def lastOption: Option[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  122. def lazyZip[B]: ([B](that: Iterable[B]): scala.collection.LazyZip2[scala.xml.Node,B,_1.type]) forSome {val _1: Node}
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Iterable
  123. def length: Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    NodeSeq → SeqOps
  124. def lengthCompare(that: Iterable[_]): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  125. def lengthCompare(len: Int): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  126. final def lengthIs: SizeCompareOps
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
    Annotations
    @inline()
  127. def lift: (Int) => Option[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    PartialFunction
  128. def log[A](a: A)(implicit arg0: WriteString[A]): Unit
    Definition Classes
    Logger
  129. def map(f: (Node) => Node): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    ScalaVersionSpecificNodeSeq
  130. def map[B](f: (Node) => B): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps → IterableOnceOps
  131. def max[B >: A](implicit ord: Ordering[B]): Node
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  132. def maxBy[B](f: (Node) => B)(implicit cmp: Ordering[B]): Node
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  133. def maxByOption[B](f: (Node) => B)(implicit cmp: Ordering[B]): Option[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  134. def maxOption[B >: A](implicit ord: Ordering[B]): Option[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  135. var mem: Vector[String]
  136. def min[B >: A](implicit ord: Ordering[B]): Node
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  137. def minBy[B](f: (Node) => B)(implicit cmp: Ordering[B]): Node
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  138. def minByOption[B](f: (Node) => B)(implicit cmp: Ordering[B]): Option[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  139. def minOption[B >: A](implicit ord: Ordering[B]): Option[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  140. final def mkString: String
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  141. final def mkString(sep: String): String
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  142. final def mkString(start: String, sep: String, end: String): String
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  143. def nameToString(sb: StringBuilder): StringBuilder
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  144. def namespace: String
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  145. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  146. def newSpecificBuilder: Builder[Node, NodeSeq]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    ScalaVersionSpecificNodeSeq → IterableOps
  147. def nonEmpty: Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecatedOverriding("nonEmpty is defined as !isEmpty; override isEmpty instead", "2.13.0")
  148. def nonEmptyChildren: Seq[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  149. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  150. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  151. def orElse[A1 <: A, B1 >: B](that: PartialFunction[A1, B1]): PartialFunction[A1, B1]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    PartialFunction
  152. def padTo[B >: A](len: Int, elem: B): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedSeqOps → SeqOps
  153. def partition(p: (Node) => Boolean): (NodeSeq, NodeSeq)
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps
  154. def partitionMap[A1, A2](f: (Node) => Either[A1, A2]): (Seq[A1], Seq[A2])
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps
  155. def patch[B >: A](from: Int, other: IterableOnce[B], replaced: Int): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedSeqOps → SeqOps
  156. def permutations: Iterator[NodeSeq]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  157. def prefix: String
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  158. def prepended(base: Node): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    ScalaVersionSpecificNodeSeq
  159. def prepended[B >: A](elem: B): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedSeqOps → SeqOps
  160. def prependedAll(prefix: IterableOnce[Node]): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    ScalaVersionSpecificNodeSeq
  161. def prependedAll[B >: A](prefix: IterableOnce[B]): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedSeqOps → SeqOps
  162. def product[B >: A](implicit num: Numeric[B]): B
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  163. def put(x: String): Unit
    Definition Classes
    MemLog → Logger
  164. def reduce[B >: A](op: (B, B) => B): B
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  165. def reduceLeft[B >: A](op: (B, Node) => B): B
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  166. def reduceLeftOption[B >: A](op: (B, Node) => B): Option[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  167. def reduceOption[B >: A](op: (B, B) => B): Option[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  168. def reduceRight[B >: A](op: (Node, B) => B): B
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  169. def reduceRightOption[B >: A](op: (Node, B) => B): Option[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  170. def reverse: NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  171. def reverseIterator: Iterator[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  172. def runWith[U](action: (Node) => U): (Int) => Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    PartialFunction
  173. def sameElements[B >: A](that: IterableOnce[B]): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  174. def scan[B >: A](z: B)(op: (B, B) => B): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  175. def scanLeft[B](z: B)(op: (B, Node) => B): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps → IterableOnceOps
  176. def scanRight[B](z: B)(op: (Node, B) => B): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  177. def scope: NamespaceBinding
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  178. def search[B >: A](elem: B, from: Int, to: Int)(implicit ord: Ordering[B]): SearchResult
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  179. def search[B >: A](elem: B)(implicit ord: Ordering[B]): SearchResult
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  180. def segmentLength(p: (Node) => Boolean, from: Int): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  181. final def segmentLength(p: (Node) => Boolean): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  182. final def size: Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps → IterableOnceOps
  183. final def sizeCompare(that: Iterable[_]): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps → IterableOps
  184. final def sizeCompare(otherSize: Int): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps → IterableOps
  185. final def sizeIs: SizeCompareOps
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
    Annotations
    @inline()
  186. def slice(from: Int, until: Int): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps → IterableOnceOps
  187. def sliding(size: Int, step: Int): Iterator[NodeSeq]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  188. def sliding(size: Int): Iterator[NodeSeq]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  189. def sortBy[B](f: (Node) => B)(implicit ord: Ordering[B]): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  190. def sortWith(lt: (Node, Node) => Boolean): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  191. def sorted[B >: A](implicit ord: Ordering[B]): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedSeqOps → SeqOps
  192. def span(p: (Node) => Boolean): (NodeSeq, NodeSeq)
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps → IterableOnceOps
  193. def splitAt(n: Int): (NodeSeq, NodeSeq)
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps → IterableOnceOps
  194. def startsWith[B >: A](that: IterableOnce[B], offset: Int): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
  195. def stepper[S <: Stepper[_]](implicit shape: StepperShape[Node, S]): S
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnce
  196. def strict_!=(other: Equality): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Equality
  197. def strict_==(other: Equality): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node → NodeSeq → Equality
  198. def sum[B >: A](implicit num: Numeric[B]): B
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  199. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  200. def tail: NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  201. def tails: Iterator[NodeSeq]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  202. def take(n: Int): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps → IterableOnceOps
  203. def takeRight(n: Int): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps
  204. def takeWhile(p: (Node) => Boolean): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps → IterableOnceOps
  205. def tapEach[U](f: (Node) => U): NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps → IterableOnceOps
  206. def text: String
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node → NodeSeq
  207. def theSeq: Seq[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node → NodeSeq
  208. def to[C1](factory: Factory[Node, C1]): C1
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  209. def toArray[B >: A](implicit arg0: ClassTag[B]): Array[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  210. final def toBuffer[B >: A]: Buffer[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  211. def toIndexedSeq: IndexedSeq[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  212. final def toIterable: Node
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Iterable → IterableOps
  213. def toList: List[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  214. def toMap[K, V](implicit ev: <:<[Node, (K, V)]): Map[K, V]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  215. final def toSeq: Node
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Seq → IterableOnceOps
  216. def toSet[B >: A]: Set[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  217. def toString(): String
    Definition Classes
    AnyRef → Any
  218. def toVector: Vector[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
  219. def transpose[B](implicit asIterable: (Node) => Iterable[B]): Seq[Seq[B]]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  220. def unapply(a: Int): Option[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    PartialFunction
  221. def unzip[A1, A2](implicit asPair: (Node) => (A1, A2)): (Seq[A1], Seq[A2])
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps
  222. def unzip3[A1, A2, A3](implicit asTriple: (Node) => (A1, A2, A3)): (Seq[A1], Seq[A2], Seq[A3])
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps
  223. def updated[B >: A](index: Int, elem: B): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedSeqOps → SeqOps
  224. def view: SeqView[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps → IterableOps
  225. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  226. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  227. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  228. def withFilter(p: (Node) => Boolean): WithFilter[Node, [_]Seq[_]]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  229. def xmlType(): TypeSymbol
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Node
  230. final def xml_!=(other: Any): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Equality
  231. final def xml_==(other: Any): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Equality
  232. def xml_sameElements[A](that: Iterable[A]): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    NodeSeq
  233. def zip[B](that: IterableOnce[B]): Seq[(Node, B)]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps
  234. def zipAll[A1 >: A, B](that: Iterable[B], thisElem: A1, thatElem: B): Seq[(A1, B)]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
  235. def zipWithIndex: Seq[(Node, Int)]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    StrictOptimizedIterableOps → IterableOps → IterableOnceOps

Shadowed Implicit Value Members

  1. def equals(other: Any): Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (memLog: Node).equals(other)
    Definition Classes
    Equality → Equals → AnyRef → Any
  2. def hashCode(): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (memLog: Node).hashCode()
    Definition Classes
    Equality → AnyRef → Any
  3. def toString(): String
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (memLog: Node).toString()
    Definition Classes
    Node → NodeSeq → Seq → Function1 → Iterable → AnyRef → Any

Deprecated Value Members

  1. final def /:[B](z: B)(op: (B, Node) => B): B
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use foldLeft instead of /:

  2. final def :\[B](z: B)(op: (Node, B) => B): B
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use foldRight instead of :\

  3. def aggregate[B](z: => B)(seqop: (B, Node) => B, combop: (B, B) => B): B
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) aggregate is not relevant for sequential collections. Use foldLeft(z)(seqop) instead.

  4. def companion: IterableFactory[[_]Seq[_]]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
    Annotations
    @deprecated @deprecatedOverriding("Use iterableFactory instead", "2.13.0") @inline()
    Deprecated

    (Since version 2.13.0) Use iterableFactory instead

  5. final def copyToBuffer[B >: A](dest: Buffer[B]): Unit
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use dest ++= coll instead

  6. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated
  7. def hasDefiniteSize: Boolean
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Check .knownSize instead of .hasDefiniteSize for more actionable information (see scaladoc for details)

  8. final def prefixLength(p: (Node) => Boolean): Int
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use segmentLength instead of prefixLength

  9. final def repr: NodeSeq
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use coll instead of repr in a collection implementation, use the collection value itself from the outside

  10. def reverseMap[B](f: (Node) => B): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use .reverseIterator.map(f).to(...) instead of .reverseMap(f)

  11. def seq: Node
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    Iterable
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Iterable.seq always returns the iterable itself

  12. final def toIterator: Iterator[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use .iterator instead of .toIterator

  13. final def toStream: Stream[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use .to(LazyList) instead of .toStream

  14. final def toTraversable: Traversable[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use toIterable instead

  15. final def union[B >: A](that: Seq[B]): Seq[B]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    SeqOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use concat instead

  16. def view(from: Int, until: Int): View[Node]
    Implicit
    This member is added by an implicit conversion from MemLog toNode performed by method toXML in provingground.interface.QDI.This conversion will take place only if an implicit value of type WebView[MemLog] is in scope.
    Definition Classes
    IterableOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use .view.slice(from, until) instead of .view(from, until)

  17. def →[B](y: B): (MemLog, B)
    Implicit
    This member is added by an implicit conversion from MemLog toArrowAssoc[MemLog] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use -> instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.

Inherited from Logger

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion toXML fromMemLog to Node

Inherited by implicit conversion any2stringadd fromMemLog to any2stringadd[MemLog]

Inherited by implicit conversion StringFormat fromMemLog to StringFormat[MemLog]

Inherited by implicit conversion Ensuring fromMemLog to Ensuring[MemLog]

Inherited by implicit conversion ArrowAssoc fromMemLog to ArrowAssoc[MemLog]

Ungrouped