Packages

object Sort

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Sort
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. case class All[S]() extends Sort[S, S] with Product with Serializable

    Sort of all terms with given scala type

  2. case class Filter[S](pred: (S) => Boolean) extends Sort[S, S] with Product with Serializable

    Sort given by predicate

  3. case class Restrict[S, T](optMap: (S) => Option[T]) extends Sort[S, T] with Product with Serializable

    Sort as image of an optional map, which should be injective in the Some(_) case

Value Members

  1. val AllTerms: Sort[Term, Term]

    Sort of all HoTT terms