Kinding

Abstract Value Members

abstract 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.
abstract def merge(other: Kinding): Kinding

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.
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]

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(substitution: PartialFunction[Variable, Type]): FiniteSubstitutionSpace

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

Definition Classes
FiniteSubstitutionSpace
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
@IntrinsicCandidate() @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
@IntrinsicCandidate()
def hashCode(): Int

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

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

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

Definition Classes
AnyRef
Annotations
@IntrinsicCandidate()
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 Docs: object Kinding | package types

sealed trait Kinding extends (Variable) ⇒ Finite[Type] with FiniteSubstitutionSpace

Abstract Value Members

abstract def merge(other: NonEmptyKinding): NonEmptyKinding

abstract def merge(other: Kinding): Kinding

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(substitution: PartialFunction[Variable, Type]): FiniteSubstitutionSpace

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

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 FiniteSubstitutionSpace

Inherited from (Variable) ⇒ Finite[Type]

Inherited from AnyRef

Inherited from Any

Ungrouped