package interface
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- class AkkaParserService extends AnyRef
- class Blender[A] extends AnyRef
- class CompactJson extends AnyRef
- trait Display[A] extends AnyRef
- trait FallbackDisplay extends AnyRef
- trait FallbackPrinter extends AnyRef
- case class IndexedIndMod(name: Name, typF: Term, intros: Vector[Term], numParams: Int, isPropn: Boolean) extends TermIndMod with Product with Serializable
- trait JsFunc[F[_]] extends AnyRef
- case class LeanCodeGen(parser: LeanParser) extends Product with Serializable
- case class LeanContextException(exc: Throwable, vars: Vector[Term], args: Vector[Expr] = Vector()) extends Exception with Product with Serializable
- trait LeanParse extends AnyRef
- class LeanParser extends AnyRef
- class LeanParserEq extends LeanParser
- case class LeanRoutes()(implicit cc: castor.Context, log: Logger) extends Routes with Product with Serializable
- case class LeanToTerm(defnMap: Map[Name, Term], termIndModMap: Map[Name, TermIndMod], unparsed: Vector[Name]) extends LeanParse with Product with Serializable
- case class LeanToTermMut(defnMap: Map[Name, Term], termIndModMap: Map[Name, TermIndMod], unparsed: ArrayBuffer[Name] = ArrayBuffer()) extends LeanParse with Product with Serializable
- case class MantleRoutes()(implicit cc: castor.Context, log: Logger) extends Routes with Product with Serializable
- class MantleService extends AnyRef
- trait MsgFunc[F[_]] extends AnyRef
- case class MultiTask(jobs: Map[String, (String) => Task[String]]) extends (String) => Task[String] with Product with Serializable
- case class NewParseDiffersException(name: Name, value: Expr, old: Term, p: Try[Term]) extends Exception with Product with Serializable
- case class NoConstantException(name: Name) extends IllegalArgumentException with Product with Serializable
- case class NoIndexedInducE(mod: IndexedIndMod, fmlOpt: Option[Term], exp: Expr, W: Term, family: Any, newParams: Vector[Term]) extends Exception with Product with Serializable
- case class ParserRoutes()(implicit cc: castor.Context, log: Logger) extends Routes with Product with Serializable
- trait Printer[A] extends AnyRef
- case class RecFoldException(indMod: TermIndMod, argFmlyExps: Vector[Expr], recFn: Term, argsFmlyTerm: Vector[Term], vec: Vector[Term], fail: ApplnFailException) extends IllegalArgumentException with Product with Serializable
- case class RecFuncException(indMod: TermIndMod, argsFmly: Vector[Try[Term]], xs: Vector[Try[Term]], exception: Throwable) extends Exception with Product with Serializable
- case class SimpleIndMod(name: Name, typF: Term, intros: Vector[Term], numParams: Int, isPropn: Boolean) extends TermIndMod with Product with Serializable
- class SvgPlot extends AnyRef
- class TaskSocket extends WebSocketConnectionCallback
- sealed trait TermIndMod extends AnyRef
- class TermSampler extends AnyRef
- case class UnParsedException(exp: Expr) extends IllegalArgumentException with Product with Serializable
Deprecated Type Members
- case class LeanToTermMonix(defnMap: Map[Name, Term], termIndModMap: Map[Name, TermIndMod]) extends Product with Serializable
- Annotations
- @deprecated
- Deprecated
(Since version buggy, avoid) use LeanParser
Value Members
- object Amm
- object AmmScriptServer
- object AmmService
- object ChompSession
- object ChompSessionEq
- object CompactJson
- object ConciseTermJson
- object ContextJson
- object ContextPack
- object CzSlRun extends App
- object Display extends FallbackDisplay
- object EquationJson
- object FileName
- object Header
- object InducJson
- object InducPack
- object InductionSession
- object JsFunc
- object LeanBug
- object LeanCodeGen extends Serializable
- object LeanInterface
- object LeanParser
- object LeanParserEq
- object LeanResources
- object LeanToTerm extends Serializable
- object LeanToTermMut extends Serializable
- object MDocService
- object MantleCask extends Main
- object MantleServer extends App
- object MantleService
- object MonoidServer
- object MsgFunc
- object MultiTask extends Serializable
- object NLPParser
- object ParChompSessionEq
- object ParserCask extends Main
- object Printer extends FallbackPrinter
- object QDI
- object ReflPickle
Reflection based picking for case objects which are terms.
- object ReplCask
- object Sampler
- object ScriptServer extends App
- object SigmaProve
- object Site
- object SvgPlot
- object TermBson
- object TermJson
- object TermObj
- object TermPack
- object TermSampler
- object Tuts
- object WebServer
- object WordNet
Deprecated Value Members
- object LeanToTermMonix extends Serializable
- Annotations
- @deprecated
- Deprecated
(Since version buggy, avoid) use LeanParser