object Substitutable extends ExprSubstitutable7 with SeqSubstitutable
- Source
- Substitutable.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Substitutable
- SeqSubstitutable
- ExprSubstitutable7
- ExprSubstitutable6
- ExprSubstitutable5
- ExprSubstitutable4
- ExprSubstitutable3
- ExprSubstitutable2
- ExprSubstitutable1
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Value Members
-
implicit
object
SubstitutableTy extends ClosedUnderSub[Ty]
- Definition Classes
- ExprSubstitutable1
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
implicit
val
ConstClosedUnderSub: ClosedUnderSub[Const]
- Definition Classes
- ExprSubstitutable3
-
implicit
val
ExprClosedUnderSub: ClosedUnderSub[Expr]
- Definition Classes
- ExprSubstitutable1
-
implicit
val
FOLAtomClosedUnderFOLSub: ClosedUnderFOLSub[FOLAtom]
- Definition Classes
- ExprSubstitutable7
-
implicit
val
FOLAtomSubstitutable: Substitutable[Substitution, FOLAtom, Atom]
- Definition Classes
- ExprSubstitutable5
-
implicit
val
FOLExpressionClosedUnderFOLSub: ClosedUnderFOLSub[FOLExpression]
- Definition Classes
- ExprSubstitutable4
-
implicit
val
FOLFormulaClosedUnderFOLSub: ClosedUnderFOLSub[FOLFormula]
- Definition Classes
- ExprSubstitutable6
-
implicit
val
FOLTermClosedUnderFOLSub: ClosedUnderFOLSub[FOLTerm]
- Definition Classes
- ExprSubstitutable6
-
implicit
val
FormulaClosedUnderSub: ClosedUnderSub[Formula]
- Definition Classes
- ExprSubstitutable2
-
implicit
def
SubstitutableOption[S <: Substitution, T, U](implicit ev: Substitutable[S, T, U]): Substitutable[S, Option[T], Option[U]]
Testifies that an Option of substitutable objects is itself substitutable (by mapping over it).
-
implicit
def
SubstitutablePair[S <: Substitution, T1, U1, T2, U2](implicit ev1: Substitutable[S, T1, U1], ev2: Substitutable[S, T2, U2]): Substitutable[S, (T1, T2), (U1, U2)]
Testifies that a pair of substitutable objects is substitutable (by applying the substitution to each element).
-
implicit
def
SubstitutableSeq[S <: Substitution, T, U](implicit ev: Substitutable[S, T, U]): Substitutable[S, Seq[T], Seq[U]]
- Definition Classes
- SeqSubstitutable
-
implicit
def
SubstitutableSequent[S <: Substitution, T, U](implicit ev: Substitutable[S, T, U]): Substitutable[S, Sequent[T], Sequent[U]]
Testifies that a Sequent of substitutable objects is itself substitutable (by mapping over it).
-
implicit
def
SubstitutableSet[S <: Substitution, T, U](implicit ev: Substitutable[S, T, U]): Substitutable[S, Set[T], Set[U]]
Testifies that a Set of substitutable objects is itself substitutable (by mapping over it).
-
def
applySub(sub: Substitution, t: Expr): Expr
The general method for applying substitutions to lambda expressions.
The general method for applying substitutions to lambda expressions.
- sub
A substitution.
- t
A lambda expression.
- returns
The substituted lambda expression.
- Attributes
- protected
- Definition Classes
- ExprSubstitutable1
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate() @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- implicit def listSubstitutable[S <: Substitution, T, U](implicit ev: Substitutable[S, T, U]): Substitutable[S, List[T], List[U]]
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- implicit val substitutableString: ClosedUnderSub[String]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
- implicit def vectorSubstitutable[S <: Substitution, T, U](implicit ev: Substitutable[S, T, U]): Substitutable[S, Vector[T], Vector[U]]
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
This is the API documentation for GAPT.
The main package is gapt.