#' Constraint
#'
#' Superclass for all constraints on terms.
#'
#' Constraints are pairs of terms with a relation between them. Constraint
#' subclasses represent specific relations.
#'
#' @name Constraint-class
#' @exportClass typesys::Constraint
setClass("typesys::Constraint", contains = "VIRTUAL",
slots = list(
t1 = "typesys::Term",
t2 = "typesys::Term",
src = "ANY"
))
#' @exportClass typesys::Equivalence
setClass("typesys::Equivalence", contains = "typesys::Constraint")
#' @export
Equivalence = function(t1, t2, src = NULL) {
new("typesys::Equivalence", t1 = t1, t2 = t2, src = src)
}
#' @exportClass typesys::ImplicitInstance
setClass("typesys::ImplicitInstance", contains = "typesys::Constraint",
slots = list(
monomorphic = "list"
))
#' @export
ImplicitInstance = function(t1, t2, monomorphic = list(), src = NULL) {
new("typesys::ImplicitInstance", t1 = t1, t2 = t2, monomorphic = monomorphic,
src = src)
}
## #' @exportClass typesys::ExplicitInstance
## setClass("typesys::ExplicitInstance", contains = "typesys::Constraint")
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.