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