bscript-builder
bscript-builder
com.github.gchudnov.bscript.builder
AstMeta
Builder
Builder
TypeCheckLaws
TypeCheckLaws
AdditionResult
ArithmeticResult
CommonResult
EqualityResult
LogicResult
PromoteFromTo
RelationalResult
UnaryArithmeticAllow
UnaryLogicAllow
com.github.gchudnov.bscript.builder.state
Ctx
Ctx
Meta
Meta
given_Show_Meta
ScopeTree
ScopeTree
given_Show_ScopeTree
com.github.gchudnov.bscript.builder.util
Base26
BaseN
EqWrap
EqWrap
Gen
Gen
bscript-builder
/
com.github.gchudnov.bscript.builder
/
TypeCheckLaws
TypeCheckLaws
trait
TypeCheckLaws
A collection of tables that define rules for type checking
Companion:
object
Graph
Supertypes
class
Object
trait
Matchable
class
Any
Value members
Value members
Abstract methods
def
additionTable
:
AdditionResult
def
arithmeticTable
:
ArithmeticResult
def
commonTable
:
CommonResult
def
equalityTable
:
EqualityResult
def
logicTable
:
LogicResult
def
promoteFromToTable
:
PromoteFromTo
def
relationalTable
:
RelationalResult
def
unaryArithmeticSet
:
UnaryArithmeticAllow
def
unaryLogicSet
:
UnaryLogicAllow