class HoTTWebSession extends SimpleSession[HoTTPostWeb, (Int, Int)]
Linear Supertypes
Type Hierarchy
Ordering
- Alphabetic
- By Inheritance
Inherited
- HoTTWebSession
- SimpleSession
- AnyRef
- Any
Implicitly
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new HoTTWebSession(initialWeb: HoTTPostWeb = new HoTTPostWeb(), bots: Vector[HoTTBot] = HoTTWebSession.initBots, completionResponse: Option[(HoTTPostWeb) => Future[PostData[_, HoTTPostWeb, ID]]])
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- Implicit
- This member is added by an implicit conversion from HoTTWebSession toany2stringadd[HoTTWebSession] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
- def ->[B](y: B): (HoTTWebSession, B)
- Implicit
- This member is added by an implicit conversion from HoTTWebSession toArrowAssoc[HoTTWebSession] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- val completedResponses: ArrayBuffer[((Int, Int), PostResponse[HoTTPostWeb, (Int, Int)])]
- Definition Classes
- SimpleSession
- val completionResponse: Option[(HoTTPostWeb) => Future[PostData[_, HoTTPostWeb, (Int, Int)]]]
- Definition Classes
- SimpleSession
- def ensuring(cond: (HoTTWebSession) => Boolean, msg: => Any): HoTTWebSession
- Implicit
- This member is added by an implicit conversion from HoTTWebSession toEnsuring[HoTTWebSession] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: (HoTTWebSession) => Boolean): HoTTWebSession
- Implicit
- This member is added by an implicit conversion from HoTTWebSession toEnsuring[HoTTWebSession] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean, msg: => Any): HoTTWebSession
- Implicit
- This member is added by an implicit conversion from HoTTWebSession toEnsuring[HoTTWebSession] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean): HoTTWebSession
- Implicit
- This member is added by an implicit conversion from HoTTWebSession toEnsuring[HoTTWebSession] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from HoTTWebSession toStringFormat[HoTTWebSession] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def post[P](content: P, preds: Set[(Int, Int)], withResponse: Boolean = true)(implicit pw: Postable[P, HoTTPostWeb, (Int, Int)], dg: DataGetter[P, HoTTPostWeb, (Int, Int)]): Future[PostData[_, HoTTPostWeb, (Int, Int)]]
recursively posting and running (as side-effects) offspring tasks, this posts the head but bots will be called with a different method that does not post the head, to avoid duplication
recursively posting and running (as side-effects) offspring tasks, this posts the head but bots will be called with a different method that does not post the head, to avoid duplication
- content
the post content
- preds
the predecessor posts
- pw
postability
- returns
the data of the post as a future
- Definition Classes
- SimpleSession
- def postLP(lp: LocalProver, pred: Set[ID] = Set()): Future[PostData[_, HoTTPostWeb, ID]]
- def postLocalProverFuture(lp: LocalProver, pred: Set[ID] = Set()): Future[PostData[_, HoTTPostWeb, ID]]
- def query[Q](predicate: (Q) => Boolean = (_: Q) => true)(implicit q: Queryable[Q, HoTTPostWeb]): Future[Q]
a query from the web
a query from the web
- predicate
condition to be satisfied
- q
queribility
- returns
response to query as a future
- Definition Classes
- SimpleSession
- def queryAt[Q](id: (Int, Int), predicate: (Q) => Boolean = (_: Q) => true)(implicit q: LocalQueryable[Q, HoTTPostWeb, (Int, Int)]): Future[Vector[Q]]
a query from the web at a position
a query from the web at a position
- id
the postion
- predicate
condition to be satisfied
- q
queribility
- returns
response to query as a future
- Definition Classes
- SimpleSession
- def remainingResponses: Vector[((Int, Int), PostResponse[HoTTPostWeb, (Int, Int)])]
- Definition Classes
- SimpleSession
- def respond[P](content: P, postID: (Int, Int))(implicit pw: Postable[P, HoTTPostWeb, (Int, Int)]): Unit
the recursive step for posting, the given content is not posted, only the responses are.
the recursive step for posting, the given content is not posted, only the responses are.
- content
the head content, not post
- postID
the ID of the head, to be used as predecessor for the other posts
- pw
postability
- Definition Classes
- SimpleSession
- def respondSeq(pds: Vector[PostData[_, HoTTPostWeb, (Int, Int)]]): Unit
- Definition Classes
- SimpleSession
- var responses: Vector[PostResponse[HoTTPostWeb, (Int, Int)]]
- Definition Classes
- SimpleSession
- def running: Boolean
- Definition Classes
- HoTTWebSession → SimpleSession
- val startedResponses: ArrayBuffer[((Int, Int), PostResponse[HoTTPostWeb, (Int, Int)])]
- Definition Classes
- SimpleSession
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- val web: HoTTPostWeb
- Definition Classes
- SimpleSession
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated
- def →[B](y: B): (HoTTWebSession, B)
- Implicit
- This member is added by an implicit conversion from HoTTWebSession toArrowAssoc[HoTTWebSession] 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.