Packages

class HoTTWebSession extends SimpleSession[HoTTPostWeb, (Int, Int)]

Linear Supertypes
SimpleSession[HoTTPostWeb, (Int, Int)], AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. HoTTWebSession
  2. SimpleSession
  3. AnyRef
  4. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new HoTTWebSession(initialWeb: HoTTPostWeb = new HoTTPostWeb(), bots: Vector[HoTTBot] = HoTTWebSession.initBots, completionResponse: Option[(HoTTPostWeb) => Future[PostData[_, HoTTPostWeb, ID]]])

Value Members

  1. val completedResponses: ArrayBuffer[((Int, Int), PostResponse[HoTTPostWeb, (Int, Int)])]
    Definition Classes
    SimpleSession
  2. val completionResponse: Option[(HoTTPostWeb) => Future[PostData[_, HoTTPostWeb, (Int, Int)]]]
    Definition Classes
    SimpleSession
  3. 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
  4. def postLP(lp: LocalProver, pred: Set[ID] = Set()): Future[PostData[_, HoTTPostWeb, ID]]
  5. def postLocalProverFuture(lp: LocalProver, pred: Set[ID] = Set()): Future[PostData[_, HoTTPostWeb, ID]]
  6. 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
  7. 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
  8. def remainingResponses: Vector[((Int, Int), PostResponse[HoTTPostWeb, (Int, Int)])]
    Definition Classes
    SimpleSession
  9. 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
  10. def respondSeq(pds: Vector[PostData[_, HoTTPostWeb, (Int, Int)]]): Unit
    Definition Classes
    SimpleSession
  11. var responses: Vector[PostResponse[HoTTPostWeb, (Int, Int)]]
    Definition Classes
    SimpleSession
  12. def running: Boolean
    Definition Classes
    HoTTWebSessionSimpleSession
  13. val startedResponses: ArrayBuffer[((Int, Int), PostResponse[HoTTPostWeb, (Int, Int)])]
    Definition Classes
    SimpleSession
  14. val web: HoTTPostWeb
    Definition Classes
    SimpleSession