package LMFDB
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- case class DB(suffix: LocalName, mod: LocalName) extends Product with Serializable
- case class DBField(jsonKey: String, codec: Codec[JSON]) extends Product with Serializable
- case class DBTheory(tp: Term, constructor: Term, parents: List[(DB, Theory)] = Nil) extends Product with Serializable
-
class
ImplementsRule extends SimplificationRule
a simplification rule generated by ImplementsRuleGenerator
-
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.
-
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
-
trait
LMFDBBackend extends AnyRef
Shared code for LMFDB Queries between the Storage and the backend
-
trait
LMFDBQueryIterators extends AnyRef
Query Iterators for LMFDB
- trait LMFDBQueryParser extends AnyRef
- abstract class LMFDBStore extends Storage with LMFDBBackend
- class LMFDBSystem extends VRESystem with LMFDBBackend with LMFDBQueryIterators with LMFDBQueryParser
-
abstract
class
LeafIterator[T, L] extends QueryIterator[List[T], L]
a class simplifying nesting using QueryIteratorJoin
- class Plugin extends api.frontend.Plugin
-
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
-
class
QueryIteratorJoin[T, L] extends QueryIterator[List[T], L]
a lazy query iterator that joins
Value Members
- object DB extends Serializable
- object LMFDB
- object LMFDBStore
- object Metadata