UnificationResult

scalus.sir.SIRUnify.UnificationResult
See theUnificationResult companion object
sealed trait UnificationResult[+T]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Concrete methods

def isFailure: Boolean
def isSuccess: Boolean
def map[U](f: T => U): UnificationResult[U]