case class Rec[U <: Term with Subs[U]](init: U, g: Func[Nat, Func[U, U]]) extends RecFunc[Nat, U] with Product with Serializable
Instance Constructors
- new Rec(init: U, g: Func[Nat, Func[U, U]])
Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- def +(other: String): String
- def ->[B](y: B): (Rec[U], B)
- def <(that: Rec[U]): Boolean
- def <=(that: Rec[U]): Boolean
- final def ==(arg0: Any): Boolean
- def >(that: Rec[U]): Boolean
- def >=(that: Rec[U]): Boolean
- def act(x: Nat): U
- def andThen[A](g: (U) => A): (Nat) => A
- def apply(arg: Nat): U
- def applyUnchecked(arg: Nat): U
- final def asInstanceOf[T0]: T0
- def baseFunction: ExstFunc
- def canApply(arg: Nat): Boolean
- def clone(): AnyRef
- val codom: Typ[U]
- def compare(that: Rec[U]): Int
- def compareTo(that: Rec[U]): Int
- def compose[A](g: (A) => Nat): (A) => U
- val defnData: Vector[Term]
- val depcodom: (Nat) => Typ[U]
- def dependsOn(that: Term): Boolean
- val dom: NatRing.LocalTyp.type
- def ensuring(cond: (Rec[U]) => Boolean, msg: => Any): Rec[U]
- def ensuring(cond: (Rec[U]) => Boolean): Rec[U]
- def ensuring(cond: Boolean, msg: => Any): Rec[U]
- def ensuring(cond: Boolean): Rec[U]
- final def eq(arg0: AnyRef): Boolean
- def equals(that: Any): Boolean
- def formatted(fmtstr: String): String
- def fromData(data: Vector[Term]): RecFunc[Nat, U]
- lazy val fullData: (Typ[Nat], Typ[U], Vector[Term])
- val g: Func[Nat, Func[U, U]]
- final def getClass(): Class[_ <: AnyRef]
- def h: (SafeLong) => Func[U, U]
- def hashCode(): Int
- def indepOf(that: Term): Boolean
- val init: U
- lazy val intros: Vector[Term]
- final def isInstanceOf[T0]: Boolean
- final def ne(arg0: AnyRef): Boolean
- def newobj: Rec[U]
- final def notify(): Unit
- final def notifyAll(): Unit
- def productElementNames: Iterator[String]
- def replace(x: Term, y: Term): Func[Nat, U] with Subs[Func[Nat, U]]
- def subs(x: Term, y: Term): Rec[U]
- final def synchronized[T0](arg0: => T0): T0
- def toString(): String
- val typ: FuncTyp[Nat, U]
- def unlift: PartialFunction[Nat, 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): (Rec[U], B)
Inherited from Product
Value Members
- def productElementNames: Iterator[String]
Value Members
- def baseFunction: ExstFunc
- def equals(that: Any): Boolean
- lazy val fullData: (Typ[Nat], Typ[U], Vector[Term])
- def hashCode(): Int
- def toString(): String
- def usesVar(t: Term): Boolean
Inherited from Func[Nat, U]
Value Members
- val depcodom: (Nat) => Typ[U]
Value Members
- def apply(arg: Nat): U
- def applyUnchecked(arg: Nat): U
- def canApply(arg: Nat): Boolean
Inherited from (Nat) => U
Value Members
- def andThen[A](g: (U) => A): (Nat) => A
- def compose[A](g: (A) => Nat): (A) => U
Inherited from Term
Value Members
- def dependsOn(that: Term): Boolean
- def indepOf(that: 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
- final def getClass(): Class[_ <: AnyRef]
- 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 fromRec[U] to UnliftOps[Nat, B]
Value Members
- def unlift: PartialFunction[Nat, B]
Inherited by implicit conversion orderingToOrdered fromRec[U] to Ordered[Rec[U]]
Value Members
- def <(that: Rec[U]): Boolean
- def <=(that: Rec[U]): Boolean
- def >(that: Rec[U]): Boolean
- def >=(that: Rec[U]): Boolean
- def compare(that: Rec[U]): Int
- def compareTo(that: Rec[U]): Int
Inherited by implicit conversion any2stringadd fromRec[U] to any2stringadd[Rec[U]]
Value Members
- def +(other: String): String
Inherited by implicit conversion StringFormat fromRec[U] to StringFormat[Rec[U]]
Value Members
- def formatted(fmtstr: String): String
Inherited by implicit conversion Ensuring fromRec[U] to Ensuring[Rec[U]]
Value Members
- def ensuring(cond: (Rec[U]) => Boolean, msg: => Any): Rec[U]
- def ensuring(cond: (Rec[U]) => Boolean): Rec[U]
- def ensuring(cond: Boolean, msg: => Any): Rec[U]
- def ensuring(cond: Boolean): Rec[U]
Inherited by implicit conversion ArrowAssoc fromRec[U] to ArrowAssoc[Rec[U]]
Value Members
- def ->[B](y: B): (Rec[U], B)
- def →[B](y: B): (Rec[U], B)
Ungrouped
- final def !=(arg0: Any): Boolean
- final def ##: Int
- def +(other: String): String
- def ->[B](y: B): (Rec[U], B)
- def <(that: Rec[U]): Boolean
- def <=(that: Rec[U]): Boolean
- final def ==(arg0: Any): Boolean
- def >(that: Rec[U]): Boolean
- def >=(that: Rec[U]): Boolean
- def act(x: Nat): U
- def andThen[A](g: (U) => A): (Nat) => A
- def apply(arg: Nat): U
- def applyUnchecked(arg: Nat): U
- final def asInstanceOf[T0]: T0
- def baseFunction: ExstFunc
- def canApply(arg: Nat): Boolean
- def clone(): AnyRef
- val codom: Typ[U]
- def compare(that: Rec[U]): Int
- def compareTo(that: Rec[U]): Int
- def compose[A](g: (A) => Nat): (A) => U
- val defnData: Vector[Term]
- val depcodom: (Nat) => Typ[U]
- def dependsOn(that: Term): Boolean
- val dom: NatRing.LocalTyp.type
- def ensuring(cond: (Rec[U]) => Boolean, msg: => Any): Rec[U]
- def ensuring(cond: (Rec[U]) => Boolean): Rec[U]
- def ensuring(cond: Boolean, msg: => Any): Rec[U]
- def ensuring(cond: Boolean): Rec[U]
- final def eq(arg0: AnyRef): Boolean
- def equals(that: Any): Boolean
- def formatted(fmtstr: String): String
- def fromData(data: Vector[Term]): RecFunc[Nat, U]
- lazy val fullData: (Typ[Nat], Typ[U], Vector[Term])
- val g: Func[Nat, Func[U, U]]
- final def getClass(): Class[_ <: AnyRef]
- def h: (SafeLong) => Func[U, U]
- def hashCode(): Int
- def indepOf(that: Term): Boolean
- val init: U
- lazy val intros: Vector[Term]
- final def isInstanceOf[T0]: Boolean
- final def ne(arg0: AnyRef): Boolean
- def newobj: Rec[U]
- final def notify(): Unit
- final def notifyAll(): Unit
- def productElementNames: Iterator[String]
- def replace(x: Term, y: Term): Func[Nat, U] with Subs[Func[Nat, U]]
- def subs(x: Term, y: Term): Rec[U]
- final def synchronized[T0](arg0: => T0): T0
- def toString(): String
- val typ: FuncTyp[Nat, U]
- def unlift: PartialFunction[Nat, 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): (Rec[U], B)