SIRUnify
scalus.sir.SIRUnify
object SIRUnify
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
SIRUnify.type
Members list
Type members
Classlikes
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
object Env
object TypeVarSyntaxUnify extends Unify[TypeVar]
Attributes
- Supertypes
- Self type
-
TypeVarSyntaxUnify.type
case class UnificationFailure[S](path: List[String], left: S, right: S) extends UnificationResult[Nothing]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait UnificationResult[Nothing]class Objecttrait Matchableclass AnyShow all
object UnificationResult
Attributes
- Companion
- trait
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
UnificationResult.type
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class UnificationFailure[S]class UnificationSuccess[T]
case class UnificationSuccess[T](env: Env, unificator: T) extends UnificationResult[T]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait UnificationResult[T]class Objecttrait Matchableclass AnyShow all
object Unify
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object TypeVarSyntaxUnifyobject given_Unify_Stringobject given_Unify_Bindingobject given_Unify_Caseobject given_Unify_ConstrDeclobject given_Unify_DataDeclobject given_Unify_Declobject given_Unify_SIRobject given_Unify_SIRTypeobject given_Unify_TypeBindingShow all
object given_Unify_Binding extends Unify[Binding]
Attributes
- Supertypes
- Self type
-
given_Unify_Binding.type
object given_Unify_Case extends Unify[Case]
Attributes
- Supertypes
- Self type
-
given_Unify_Case.type
object given_Unify_ConstrDecl extends Unify[ConstrDecl]
Attributes
- Supertypes
- Self type
object given_Unify_DataDecl extends Unify[DataDecl]
Attributes
- Supertypes
- Self type
-
given_Unify_DataDecl.type
object given_Unify_Decl extends Unify[Decl]
Attributes
- Supertypes
- Self type
-
given_Unify_Decl.type
object given_Unify_SIR extends Unify[SIR]
Unify two SIR expressions. Annotations are ignored during unification and can be different.
Unify two SIR expressions. Annotations are ignored during unification and can be different.
Attributes
- Supertypes
- Self type
-
given_Unify_SIR.type
object given_Unify_SIRType extends Unify[SIRType]
Attributes
- Supertypes
- Self type
-
given_Unify_SIRType.type
object given_Unify_TypeBinding extends Unify[TypeBinding]
Attributes
- Supertypes
- Self type
Value members
Concrete methods
def unifyList[T](left: List[T], right: List[T], env: Env)(using Unify[T]): UnificationResult[List[T]]
def unifyTypeBinding(left: TypeBinding, right: TypeBinding, env: Env): UnificationResult[TypeBinding]
Givens
Givens
Unify two SIR expressions. Annotations are ignored during unification and can be different.
Unify two SIR expressions. Annotations are ignored during unification and can be different.
Attributes
Extensions
Extensions
In this article