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

TypeError

org.finos.morphir.runtime.MorphirRuntimeError.TypeError
See theTypeError companion trait
object TypeError

Attributes

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

Members list

Type members

Classlikes

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

Attributes

Supertypes
trait Product
trait Equals
trait TypeError
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
trait TypeError
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class CannotDealias(err: LookupError, xplanation: String) extends TypeError

Attributes

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

Attributes

Supertypes
trait Product
trait Equals
trait TypeError
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class ImproperTypeDef(fqn: FQName, defn: UDefinition, explanation: String) extends TypeError

Attributes

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

Attributes

Supertypes
trait Product
trait Equals
trait TypeError
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class InferenceConflict(older: UType, newer: UType, name: Name) extends TypeError

Attributes

Supertypes
trait Product
trait Equals
trait TypeError
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
trait TypeError
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
trait TypeError
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class OtherTypeError(message: String) extends TypeError

Attributes

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

Attributes

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

Attributes

Supertypes
trait Product
trait Equals
trait TypeError
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
trait TypeError
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
trait TypeError
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class UnknownTypeMismatch(tpe1: UType, tpe2: UType, hint: String) extends TypeError

Attributes

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

Attributes

Supertypes
trait Product
trait Equals
trait TypeError
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
trait TypeError
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
trait TypeError
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
Generated with