NonEmptyKinding

Abstract Value Members

abstract val head: Variable

The marked root variable.
The marked root variable.

Attributes
protected
abstract val underlyingMap: Map[Variable, Finite[Type]]

A map where each variable is assigned finitely many types it can be susbstituted by
A map where each variable is assigned finitely many types it can be susbstituted by

Attributes
protected[org.combinators.cls.types]
Definition Classes
Kinding

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def addOption(ty: Type): NonEmptyKinding

Adds a single new option for the root variable.
Adds a single new option for the root variable.
returns
a new non-empty kinding with the same root variable.
def addOption(substitution: PartialFunction[Variable, Type]): FiniteSubstitutionSpace

Adds an allowed substitution to this space.
Adds an allowed substitution to this space.

Definition Classes
FiniteSubstitutionSpace
def addOptions(options: Finite[Type]): NonEmptyKinding

Adds a finite enumeration of options for the root variable.
Adds a finite enumeration of options for the root variable.
returns
a new non-empty kinding with the same root variable.
lazy val allowedSubstitutions: Finite[PartialFunction[Variable, Type]]

Kindings induce finite substitution spaces.
Kindings induce finite substitution spaces. We have: S in WF iff S(alpha) = sigma for sigma in Kinding(alpha).

Definition Classes
Kinding → FiniteSubstitutionSpace
def andThen[A](g: (Finite[Type]) ⇒ A): (Variable) ⇒ A

Definition Classes
Function1
Annotations
@unspecialized()
def apply(v: Variable): Finite[Type]

Looks up substitutions allowed for variable v.
Looks up substitutions allowed for variable v.
returns
the substitutions or an empty enumeration, if the variable has no defined kinding.

Definition Classes
Kinding → Function1
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @throws( ... )
def compose[A](g: (A) ⇒ Variable): (A) ⇒ Finite[Type]

Definition Classes
Function1
Annotations
@unspecialized()
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def merge(other: NonEmptyKinding): NonEmptyKinding

Merges two kindings allowing the union of their substitutions.
Merges two kindings allowing the union of their substitutions. All options of the other kinding will become options for this kinding. The second kinding has to be non-empty (i.e. include information for at least one variable).
returns
a new kinding allowing all the options of this and the other kinding.

Definition Classes
NonEmptyKinding → Kinding
def merge(other: Kinding): NonEmptyKinding

Merges two kindings allowing the union of their substitutions.
Merges two kindings allowing the union of their substitutions.
returns
a new kinding allowing all the options of this and the other kinding.

Definition Classes
NonEmptyKinding → Kinding
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
Function1 → AnyRef → Any
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Deprecated Value Members

def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
Deprecated
(Since version ) see corresponding Javadoc for more information.

Related Doc: package types

sealed trait NonEmptyKinding extends Kinding

Abstract Value Members

abstract val head: Variable

abstract val underlyingMap: Map[Variable, Finite[Type]]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def addOption(ty: Type): NonEmptyKinding

def addOption(substitution: PartialFunction[Variable, Type]): FiniteSubstitutionSpace

def addOptions(options: Finite[Type]): NonEmptyKinding

lazy val allowedSubstitutions: Finite[PartialFunction[Variable, Type]]

def andThen[A](g: (Finite[Type]) ⇒ A): (Variable) ⇒ A

def apply(v: Variable): Finite[Type]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def compose[A](g: (A) ⇒ Variable): (A) ⇒ Finite[Type]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def merge(other: NonEmptyKinding): NonEmptyKinding

def merge(other: Kinding): NonEmptyKinding

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

final def wait(): Unit

Deprecated Value Members

def finalize(): Unit

Inherited from Kinding

Inherited from FiniteSubstitutionSpace

Inherited from (Variable) ⇒ Finite[Type]

Inherited from AnyRef

Inherited from Any

Ungrouped