morphir-runtime
API
Generated with
morphir-runtime/org.finos.morphir.runtime/TypeError

TypeError

org.finos.morphir.runtime.TypeError$
See theTypeError companion class
object TypeError

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
TypeError.type

Members list

Type members

Classlikes

final case class ApplyToNonFunction(nonFunction: TypedValue, arg: TypedValue) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class ArgNumberMismatch(first: Int, second: Int, msg: String) extends SizeMismatch

Attributes

Supertypes
trait Product
trait Equals
class SizeMismatch
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class ArgumentDoesNotMatchParameter(arg: TypedValue, param: UType) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class CannotDealias(err: LookupError, msg: String) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class ConstructorMissing(err: LookupError, fqn: FQName) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class DefinitionMissing(err: LookupError) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class ImproperType(tpe: UType, msg: String) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class ImproperTypeSpec(fqn: FQName, spec: USpecification, msg: String) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class InferenceConflict(msg: String) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class LiteralTypeMismatch(lit: Lit, tpe: UType) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class ManyTypeErrors(errors: List[TypeError]) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class OtherTypeError(msg: String) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
class SizeMismatch(first: Int, second: Int, msg: String) extends TypeError

Attributes

Supertypes
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
final case class TypeHasDifferentFieldType(first: UType, second: UType, field: Name, firstTpe: UType, secondTpe: UType) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class TypeHasExtraField(tpe: UType, contract: UType, field: Name) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class TypeLacksField(tpe: UType, field: Name, msg: String) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class TypeMissing(fqn: FQName, err: LookupError) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class TypeVariableMissing(name: Name) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class TypesMismatch(tpe1: UType, tpe2: UType, msg: String) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class UnimplementedType(msg: String) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class ValueHasExtraField(value: TypedValue, contract: UType, field: Name) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class ValueLacksField(value: TypedValue, contract: UType, field: Name) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
class TypeError
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all

Value members

Concrete methods

def succinct[TA, VA](value: Value[TA, VA]): String
def succinct[TA](tpe: Type[TA]): String
def succinct[TA](spec: Specification[TA]): String
Generated with