class CnstFunc[U <: Term with Subs[U], V <: Term with Subs[V]] extends Cnst with Func[U, V]
Instance Constructors
- new CnstFunc(term: Func[U, V])
Type Members
- abstract type Obj <: FuncLike[U, V]
Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- def +(other: String): String
- def ->[B](y: B): (CnstFunc[U, V], B)
- final def ==(arg0: Any): Boolean
- def act(x: U): V
- def andThen[A](g: (V) => A): (U) => A
- def apply(arg: U): V
- def applyUnchecked(arg: U): V
- final def asInstanceOf[T0]: T0
- def canApply(arg: U): Boolean
- def clone(): AnyRef
- val codom: Typ[V]
- def compose[A](g: (A) => U): (A) => V
- val depcodom: (U) => Typ[V]
- def dependsOn(that: Term): Boolean
- val dom: Typ[U]
- def ensuring(cond: (CnstFunc[U, V]) => Boolean, msg: => Any): CnstFunc[U, V]
- def ensuring(cond: (CnstFunc[U, V]) => Boolean): CnstFunc[U, V]
- def ensuring(cond: Boolean, msg: => Any): CnstFunc[U, V]
- def ensuring(cond: Boolean): CnstFunc[U, V]
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- def formatted(fmtstr: String): String
- final def getClass(): Class[_ <: AnyRef]
- def hashCode(): Int
- def indepOf(that: Term): Boolean
- final def isInstanceOf[T0]: Boolean
- final def ne(arg0: AnyRef): Boolean
- def newobj: CnstFunc[U, V]
- final def notify(): Unit
- final def notifyAll(): Unit
- def replace(x: Term, y: Term): Func[U, V] with Subs[Func[U, V]]
- def subs(x: Term, y: Term): CnstFunc[U, V]
- final def synchronized[T0](arg0: => T0): T0
- val term: Func[U, V]
- def toString(): String
- val typ: FuncTyp[U, V]
- def unlift: PartialFunction[U, B]
- def usesVar(t: Term): Boolean
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
Deprecated Value Members
- def finalize(): Unit
- def →[B](y: B): (CnstFunc[U, V], B)
Inherited from Func[U, V]
Value Members
- val depcodom: (U) => Typ[V]
Inherited from FuncLike[U, V]
Value Members
- def apply(arg: U): V
- def applyUnchecked(arg: U): V
- def canApply(arg: U): Boolean
Inherited from (U) => V
Value Members
- def andThen[A](g: (V) => A): (U) => A
- def compose[A](g: (A) => U): (A) => V
- def toString(): String
Inherited from Term
Value Members
- def dependsOn(that: Term): Boolean
- def indepOf(that: Term): Boolean
- def usesVar(t: Term): Boolean
Inherited from AnyRef
Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- final def ==(arg0: Any): Boolean
- def clone(): AnyRef
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- final def getClass(): Class[_ <: AnyRef]
- def hashCode(): Int
- final def ne(arg0: AnyRef): Boolean
- final def notify(): Unit
- final def notifyAll(): Unit
- final def synchronized[T0](arg0: => T0): T0
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- def finalize(): Unit
Inherited from Any
Value Members
- final def asInstanceOf[T0]: T0
- final def isInstanceOf[T0]: Boolean
Inherited by implicit conversion UnliftOps fromCnstFunc[U, V] to UnliftOps[U, B]
Value Members
- def unlift: PartialFunction[U, B]
Inherited by implicit conversion any2stringadd fromCnstFunc[U, V] to any2stringadd[CnstFunc[U, V]]
Value Members
- def +(other: String): String
Inherited by implicit conversion StringFormat fromCnstFunc[U, V] to StringFormat[CnstFunc[U, V]]
Value Members
- def formatted(fmtstr: String): String
Inherited by implicit conversion Ensuring fromCnstFunc[U, V] to Ensuring[CnstFunc[U, V]]
Value Members
- def ensuring(cond: (CnstFunc[U, V]) => Boolean, msg: => Any): CnstFunc[U, V]
- def ensuring(cond: (CnstFunc[U, V]) => Boolean): CnstFunc[U, V]
- def ensuring(cond: Boolean, msg: => Any): CnstFunc[U, V]
- def ensuring(cond: Boolean): CnstFunc[U, V]
Inherited by implicit conversion ArrowAssoc fromCnstFunc[U, V] to ArrowAssoc[CnstFunc[U, V]]
Value Members
- def ->[B](y: B): (CnstFunc[U, V], B)
- def →[B](y: B): (CnstFunc[U, V], B)
Ungrouped
- final def !=(arg0: Any): Boolean
- final def ##: Int
- def +(other: String): String
- def ->[B](y: B): (CnstFunc[U, V], B)
- final def ==(arg0: Any): Boolean
- def act(x: U): V
- def andThen[A](g: (V) => A): (U) => A
- def apply(arg: U): V
- def applyUnchecked(arg: U): V
- final def asInstanceOf[T0]: T0
- def canApply(arg: U): Boolean
- def clone(): AnyRef
- val codom: Typ[V]
- def compose[A](g: (A) => U): (A) => V
- val depcodom: (U) => Typ[V]
- def dependsOn(that: Term): Boolean
- val dom: Typ[U]
- def ensuring(cond: (CnstFunc[U, V]) => Boolean, msg: => Any): CnstFunc[U, V]
- def ensuring(cond: (CnstFunc[U, V]) => Boolean): CnstFunc[U, V]
- def ensuring(cond: Boolean, msg: => Any): CnstFunc[U, V]
- def ensuring(cond: Boolean): CnstFunc[U, V]
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- def formatted(fmtstr: String): String
- final def getClass(): Class[_ <: AnyRef]
- def hashCode(): Int
- def indepOf(that: Term): Boolean
- final def isInstanceOf[T0]: Boolean
- final def ne(arg0: AnyRef): Boolean
- def newobj: CnstFunc[U, V]
- final def notify(): Unit
- final def notifyAll(): Unit
- def replace(x: Term, y: Term): Func[U, V] with Subs[Func[U, V]]
- def subs(x: Term, y: Term): CnstFunc[U, V]
- final def synchronized[T0](arg0: => T0): T0
- val term: Func[U, V]
- def toString(): String
- val typ: FuncTyp[U, V]
- def unlift: PartialFunction[U, B]
- def usesVar(t: Term): Boolean
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- def finalize(): Unit
- def →[B](y: B): (CnstFunc[U, V], B)