amy-language
amy-language
API
amyc
analyzer
EmptyScope
NameAnalyzer
Scope
Scope
SymbolTable
Transformer
ast
NominalTreeModule
QualifiedName
SymbolicTreeModule
TreeModule
AbstractClassDef
BooleanLiteral
Call
CaseClassDef
CaseClassPattern
ClassOrFunDef
ClassTypeTree
Definition
EmptyExpr
Error
Expr
FunDef
FunRef
FunctionTypeTree
IdPattern
InfixCall
IntLiteral
Ite
Let
Literal
LiteralPattern
Match
MatchCase
ModuleDef
Neg
Not
ParamDef
Pattern
Program
Sequence
StringLiteral
TTypeTree
Tree
TypeTree
UnitLiteral
Variable
WildcardPattern
backend
wasm
builtin
amy
Boolean
Int
Std
String
Unit
unnamed
BuiltIn
BuiltInModule
gen
CodePrinter
HTMLWrapper
ModulePrinter
NodeJSWrapper
WASMCodeGenerator
WASMFileGenerator
WATFile
handlers
LocalsHandler
LocalsHandler
ModuleHandler
utils
Indices
Instructions
Block
Code
Comment
Instruction
Loop
`else`
`if`
`return`
br
br_if
br_table
call
call_indirect
data
drop
drop
elem
drop
end
f32
f64
global
get
set
i32
add
and
clz
const
ctz
div_s
div_u
eq
eqz
extend16_s
extend8_s
ge_s
ge_u
gt_s
gt_u
le_s
le_u
load
load16_s
load16_u
load8_s
load8_u
lt_s
lt_u
mul
ne
or
popcnt
reinterpret_f32
rem_s
rem_u
rotl
rotr
shl
shr_s
shr_u
store
store16
store8
sub
trunc_f32_s
trunc_f32_u
trunc_f64_s
trunc_f64_u
trunc_sat_f32_s
trunc_sat_f32_u
trunc_sat_f64_s
trunc_sat_f64_u
wrap_i64
xor
i64
local
get
set
tee
memory
copy
fill
grow
init
size
nop
ref
`null`
func
is_null
table
copy
fill
get
grow
init
set
size
unreachable
v128
Modules
Data
ElementSegment
Export
Function
Function
Global
Import
Memory
Module
Start
Table
Types
externref
funcref
functype
heaptype
local
numtype
param
reftype
result
typeuse
valtype
vectype
Values
name
fs
core
Context
Context
Identifier
Identifier
StdDefinitions
StdDefinitions
StdTypes
StdTypes
Symbols
ApplicationSymbol
ConstructorSymbol
FunctionSymbol
LocalSymbol
ModuleSymbol
NoSymbol
ParameterSymbol
Symbol
TypeSymbol
Types
BottomType
ClassType
ErrorType
FunctionType
MultiTypeVariable
NoType
OrType
Type
TypeVariable
TypeVariable
WildCardType
interpreter
builtin
amy
Std
String
BuiltIns
BuiltinModule
BuiltinModule
BooleanValue
BuiltInFunctionValue
CaseClassValue
FunctionValue
IntValue
Interpreter
StringValue
UnitValue
Value
Value
parsing
Lexer
Parser
Token
TokenKind
TokenKind
TokenKinds
DelimiterKind
EOFKind
IdentifierKind
KeywordKind
LiteralKind
ModifierKind
NoKind
OperatorKind
Tokens
BoolLitToken
CommentToken
DelimiterToken
EOFToken
ErrorToken
IdentifierToken
IntLitToken
KeywordToken
ModifierToken
OperatorToken
SpaceToken
StringLitToken
keywords
Keyword
`abstract`
`case`
`class`
`else`
`if`
`match`
`val`
end
error
fn
module
wildcard
modifiers
Modifier
typer
TypeAssigner
TypeChecker
TypeInferer
Typer
utils
printers
highlight
Highlighter
NoHighlight
phases
DisplayTokens
NominalTreePrinter
SymbolicTreePrinter
NominalPrinter
Printer
SymbolicPrinter
AmycFatalError
ConsumerPipeline
Document
Env
Linux
Mac
OS
Windows
FetchFiles
FileWriter
Frontend
Indented
Lined
NoPosition
Noop
Pipeline
Pipeline
Position
Position
Positioned
Preconditions
Raw
Reporter
SourcePosition
SourcePositioner
Stacked
Stacked
Unindented
UniqueCounter
UnitPipeline
error
compiler
runner
amy-language
/
amyc
/
amyc.utils
/
Preconditions
Preconditions
amyc.utils.Preconditions$
object
Preconditions
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Preconditions
.type
Members list
Clear all
Value members
Concrete methods
inline
def
require
(
cc
:
Boolean
)(
using
Context
):
Unit
inline
def
require
[
A
](
cc
:
Boolean
)(
body
:
=>
A
)(
using
Context
):
A
In this article
Attributes
Members list
Value members
Concrete methods