bscript-builder/com.github.gchudnov.bscript.builder/TypeCheckLaws

TypeCheckLaws

object TypeCheckLaws
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

final case class AdditionResult(tt: TypeTable) extends AnyVal
final case class ArithmeticResult(tt: TypeTable) extends AnyVal
final case class CommonResult(tt: TypeTable) extends AnyVal
final case class EqualityResult(tt: TypeTable) extends AnyVal
final case class LogicResult(tt: TypeTable) extends AnyVal
final case class PromoteFromTo(tt: TypeTable) extends AnyVal
final case class RelationalResult(tt: TypeTable) extends AnyVal
final case class UnaryArithmeticAllow(ts: TypeSet) extends AnyVal
final case class UnaryLogicAllow(ts: TypeSet) extends AnyVal

Types

type TypeSet = Set[Type]
type TypeTable = Map[(Type, Type), Type]