at.logic.skeptik

expression

package expression

Linear Supertypes
AnyRef, Any
Content Hierarchy Learn more about scaladoc diagrams
ArrowAtomicTypeoiAtomicTInfixAppAbsVarE
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. expression
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. case class Abs(variable: Var, body: E) extends E with Product with Serializable

  2. case class App(function: E, argument: E) extends E with Product with Serializable

  3. final case class Arrow(t1: T, t2: T) extends T with Product with Serializable

  4. trait Atomic extends AnyRef

  5. final case class AtomicType(name: String) extends T with Atomic with Product with Serializable

  6. sealed abstract class E extends Judgment

  7. trait Infix extends Var

  8. class RichString extends AnyRef

  9. abstract class T extends AnyRef

  10. case class Var(name: String, t: T) extends E with Product with Serializable

Value Members

  1. implicit def enrichString(s: String): RichString

  2. package formula

  3. object i extends T with Atomic with Product with Serializable

  4. object o extends T with Atomic with Product with Serializable

  5. package position

  6. package substitution

Inherited from AnyRef

Inherited from Any

Ungrouped