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

trait Logger extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
FileLog, MemLog
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Logger
  2. AnyRef
  3. 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

Abstract Value Members

  1. abstract def close: Unit
  2. abstract def get: Option[Iterator[String]]
  3. abstract def put(x: String): Unit

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

Inherited from Any

Inherited by implicit conversion toXML fromLogger to Node

Inherited by implicit conversion any2stringadd fromLogger to any2stringadd[Logger]

Inherited by implicit conversion StringFormat fromLogger to StringFormat[Logger]

Inherited by implicit conversion Ensuring fromLogger to Ensuring[Logger]

Inherited by implicit conversion ArrowAssoc fromLogger to ArrowAssoc[Logger]

Ungrouped