Packages

package LMFDB

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. case class DB(suffix: LocalName, mod: LocalName) extends Product with Serializable
  2. case class DBField(jsonKey: String, codec: Codec[JSON]) extends Product with Serializable
  3. case class DBTheory(tp: Term, constructor: Term, parents: List[(DB, Theory)] = Nil) extends Product with Serializable
  4. class ImplementsRule extends SimplificationRule

    a simplification rule generated by ImplementsRuleGenerator

  5. class ImplementsRuleGenerator extends ChangeListener

    generates rules for fields in schema-theories These rules reduce F(a) is the result of F is stored as a field f in the record a This happens when f is annotated with a special metadatum that links to F.

  6. class JSONURLIterator[T] extends LeafIterator[(JSONObject, T), String]

    A query iterator retrieving results from a pagination JSON API

    A query iterator retrieving results from a pagination JSON API

    T

    Type of extra data

  7. trait LMFDBBackend extends AnyRef

    Shared code for LMFDB Queries between the Storage and the backend

  8. trait LMFDBQueryIterators extends AnyRef

    Query Iterators for LMFDB

  9. trait LMFDBQueryParser extends AnyRef
  10. abstract class LMFDBStore extends Storage with LMFDBBackend
  11. class LMFDBSystem extends VRESystem with LMFDBBackend with LMFDBQueryIterators with LMFDBQueryParser
  12. abstract class LeafIterator[T, L] extends QueryIterator[List[T], L]

    a class simplifying nesting using QueryIteratorJoin

  13. class Plugin extends api.frontend.Plugin
  14. trait QueryIterator[T, L] extends AnyRef

    An object that can lazily resolve queries

    An object that can lazily resolve queries

    T

    Type of Data the query returns

    L

    Labels of individual query results

  15. class QueryIteratorJoin[T, L] extends QueryIterator[List[T], L]

    a lazy query iterator that joins

Value Members

  1. object DB extends Serializable
  2. object LMFDB
  3. object LMFDBStore
  4. object Metadata

Ungrouped