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 WebView[A] extends AnyRef

Linear Supertypes
AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. WebView
  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 asXML(a: A): Node

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

Inherited by implicit conversion any2stringadd fromWebView[A] to any2stringadd[WebView[A]]

Inherited by implicit conversion StringFormat fromWebView[A] to StringFormat[WebView[A]]

Inherited by implicit conversion Ensuring fromWebView[A] to Ensuring[WebView[A]]

Inherited by implicit conversion ArrowAssoc fromWebView[A] to ArrowAssoc[WebView[A]]

Ungrouped