Packages

object EnumFuncs

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

Value Members

  1. def EnumFunc[U <: Term with Subs[U], V <: Term with Subs[V]](dom: Typ[U], codom: Typ[V]): Func[Term, Func[Term, Term]]
  2. def EnumSec[U <: Term with Subs[U], V <: Term with Subs[V]](dom: Typ[U], codoms: (U) => Typ[V])(implicit su: ScalaUniv[U], sv: ScalaUniv[V]): Func[Term, Func[FuncLike[U, Term], Term]]
  3. def allFunc[U <: Term with Subs[U], V <: Term with Subs[V]](domenum: EnumTerm[U])(codomenum: EnumTerm[V]): EnumTerm[Func[U, V]]
  4. def allMaps[U, V](dom: List[U], codom: List[V]): List[Map[U, V]]
  5. def allPairs[U <: Term with Subs[U], V <: Term with Subs[V]](dom: List[U], cods: (U) => Option[List[V]]): Option[List[AbsPair[U, V]]]
  6. def allSec[U <: Term with Subs[U], V <: Term with Subs[V]](domenum: EnumTerm[U])(codomenums: (U) => EnumTerm[V])(implicit sv: ScalaUniv[V]): EnumTerm[FuncLike[U, V]]
  7. def allSecMaps[U, V](dom: List[U], codoms: (U) => List[V]): List[Map[U, V]]
  8. def allSecMapsOpt[U, V](dom: List[U], codoms: (U) => Option[List[V]]): Option[List[Map[U, V]]]
  9. val enumFn: FuncLike[Typ[Term], FuncLike[Typ[Term], Func[Term, Func[Term, Term]]]]
  10. val enumSec: FuncLike[Typ[Term], FuncLike[Func[Term, Typ[Term]], Func[Term, Func[FuncLike[Term, Term], Term]]]]
  11. def pairs[U <: Term with Subs[U], V <: Term with Subs[V]](first: List[U], second: List[V]): List[PairTerm[U, V]]