A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

!
!=
!==
%
&
&&
*
+
-
/
<
<<
<=
==
===
=>
>
>=
>>
?
^
A minimal Reach program
acc.attach
acc.deploy
acc.networkAccount
account
add
add
Address
address
addressEq
addressEq
ALGO
Algorand
all
and
any
App
array
Array
array
array
Array & tuple length: Tuple.length, Array.length, and .length
Array & tuple update: Tuple.set, Array.set, and .set
Array group operations
Array.all
Array.and
Array.any
Array.average
Array.concat
Array.count
Array.empty
Array.findIndex
Array.forEach
Array.includes
Array.indexOf
Array.iota
Array.length
Array.map
Array.max
Array.min
Array.or
Array.product
Array.reduce
Array.replicate
Array.set
Array.sum
Array.zip
Array_set
Arrow expression
arrow expression
ask
ask.mjs
assert
assert
assert
assert
assert
Assertion Insertion
Assertion Insertion
Assertion Insertion
Assertion Insertion
Assertion Insertion
assume
assume
assume
assumption
atomic
atomic unit
atomicUnit
attach
average
backend
backends
balance
balance
balance
balanceOf
band
Bets and Wagers
bigNumberify
bigNumberify
bigNumberToHex
bigNumberToNumber
binary expression
binary operator
bior
bit width
block
block statement
Block statements
Blocks
Bool
Boolean literal
boolEq
bound identifier
Building decentralized abstractions
bxor
Bytes
bytesEq
canonicalizeConnectorMode
case
checkCommitment
checkCommitment
checkCommitment
Choosing a deployment mode
closeTo
closeTo
closeTo
Comments
commit
commit
commit statement
commits
Communication Construction
Communication Construction
Communication Construction
Communication Construction
Communication Construction
Compilation Model
Compile
compile
compose
compose
compose
Computations
concat
Conditional expression
conditional expression
conditional statement
connectAccount
connector
connectors
consensus computation
consensus network
Consensus Network Connectors
consensus state
consensus step
Consensus Steps
consensus transfer
const
const and function
continuations
continue
continue
continue statement
Contracts
count
createAccount
ctc.getInfo
DApp
Data
Data
Data Definition
Data Definition
Data Definition
Data Definition
Data Definition
data instance
Decentralized applications
declassification
declassify
declassify
declassify
default
deploy
deploy
Deployment Decisions
Deployment Decisions
Deployment Decisions
Deployment Decisions
Deployment Decisions
deployMode
Determinism, simultaneity, and choice in decentralized applications
digest
Digest
digest
digest
digest
digestEq
digestEq
Discussion
Discussion and Next Steps
Discussion and Next Steps
Discussion and Next Steps
Discussion and Next Steps
div
div
done
each
each
Either
either
either
Element reference
else
ensure
ensure
ensure
enum
enumeration
eq
ETH
Ethereum
Evaluation Model
Execute
exit
exit
exit statement
export
export
export
Expression statements
Expressions
Expressions
Expressions
Expressions
Expressions
expressions
fail
fail
fail
false
field
Field reference
findIndex
Finding and using loop invariants
fixed
Fixed-Point Numbers
FixedPoint
forall
forall
forall
forEach
fork
fork
fork statement
formatCurrency
from
fromLeft
fromLeft
fromMaybe
fromRight
fromRight
frontend
Fun
function
Function application
function application
function body
function definition
fundFromFaucet
fx
fx
fxadd
fxcmp
fxdiv
fxdiv
fxeq
fxeq
fxfloor
fxge
fxgt
fxint
fxint
fxle
fxlt
fxmod
fxmul
fxne
fxpow
fxpow
fxpowi
fxpowui
fxpowui
fxrescale
fxrescale
fxsqrt
fxsub
fxunify
fxunify
ge
ge
getConnector
getConnectorMode
getDefaultAccount
getInfo
getNetworkTime
gt
gt
Guarantees
Guide
hasRandom
hasRandom
hasRandom
hexToBigNumber
honest
How and what to verify
How does Reach use version numbers?
How does Reach work?
iadd
IDE/Text Editor Support
identifier definition
Identifier reference
identifiers
idiv
ieq
ieq
if
if
ige
igt
ile
ilt
imod
implies
implies
implies
import
import
import
imul
includes
indexOf
ine
Install and Initialize
Installation
Int
int
int
intEq
interact
interact
interact
Interaction and Independence
interaction expression
Interaction Introduction
Interaction Introduction
Interaction Introduction
Interaction Introduction
Interaction Introduction
Interface
invalid
invariant
iota
isBigNumber
isBigNumber
isHex
isLeft
isLeft
isNone
isNone
isolated testing modes
isRight
isRight
isSome
isSome
isType
isub
ite
JavaScript
join
knowledge assertion
Language Model
lastConsensusTime
lastConsensusTime
lastConsensusTime
le
le
length
literal value
Literal values
loader.mjs
local computation
local state
local step
Local Steps
loop invariant
lsh
lt
lt
makeCommitment
makeCommitment
makeCommitment
makeDeadline
makeDeadline
makeDeadline
makeEnum
makeEnum
map
match
match
match expression
max
Maybe
Maybe
min
minimumBalance
mod
mod
module
Modules
mul
mul
multi-line comment
Neg
network token
networkAccount
newAccountFromMnemonic
newAccountFromSecret
newTestAccount
Next steps
Non-participation: What it is and how to protect against it
None
Null
null
null literal
Numeric literal
Object
object
object literal
object reference
object splice
Object.has
Object.has
Object.set
Object.set
Object.setIfUnset
Object.setIfUnset
Object_set
Object_setIfUnset
Objects
only
only and each
only and each
Onward and Further
operator
Operator expression
or
originator
Overview
parallel reduce statement
parallel_reduce
parallel_reduce
Parenthesized expression
parseCurrency
parseFixedPoint
parseInt
Participant
participant
Participant Backends
participant class
participant constructor
Participant Constructors
participant instances
participant interact interface
Participant.set
Participant.set and .set
ParticipantClass
pay
Play and Play Again
polyEq
polyNeq
Pos
possibility assertion
possible
possible
possible
pow
pow
pow
private
Problem Analysis
Problem Analysis
Problem Analysis
Problem Analysis
Problem Analysis
product
Programs
programs
protect
public
publication
publish
publish, pay, when, and timeout
race
race
race expression
Racing non-determinism in decentralized applications
randomUInt
Reach
reach compile
reach hashes
reach init
reach run
reach scaffold
reach update
reach upgrade
reach version
Reach.App
Reach.App
Reach: The Safest and Easiest DApp Programming Language
REACH_CONNECTOR_MODE
reduce
Reference
reference
relay account
require
require
require
requirement
return
return
return statement
Rock, Paper, and Scissors
rsh
Scaffolding and Setup
secret
Security levels and scope
set
Signed Integers
single-line comment
Some
source file
sqrt
sqrt
sqrt
Standard Library
standard unit
standardUnit
Statements
Statements
Statements
Statements
Statements
statements
static assertion
stdlib
step
Steps
String literal
stringToHex
sub
sub
sum
switch
switch
switch statement
Syntax Model
T_Address
T_Array
T_Bool
T_Bytes
T_Null
T_Object
T_Tuple
T_UInt
tail
terminator statement
this
this
this
time
time delta
timeout
timeout
Timeouts and Participation
token linearity property
transfer
transfer
transfer
transfer expression
transfers
true
Trust and Commitments
Tuple
tuple
Tuple.length
Tuple.set
Tuples
Tutorial
type
typeEq
typeOf
typeof
Types
UInt
uintToBytes
unary expression
unary operator
unbound
unknowable
unknowable
unknowable
Usage
Using Reach on Windows
Utilities
valid
Validity
value
value definition
var
Verify
verifyArithmetic
verifyPerConnector
wait
wait
wait
wait statement
waitUntilTime
Web app
Web Interaction
What are Reach’s limitations and its future roadmap
while
while
while statement
Workshop
Workshop: Chicken
Workshop: Crowd-funding
Workshop: Efficient Rock-Paper-Scissors
Workshop: Fair Rock-Paper-Scissors
Workshop: Fear of Missing Out
Workshop: Fear of Missing Out Generalized
Workshop: Guardian Account
Workshop: Hash Lock
Workshop: Nim
Workshop: Oracle
Workshop: Periodic Payment
Workshop: Popularity Contest
Workshop: Race
Workshop: Relay Account
Workshop: Rental Agreement
Workshop: Secured Loan
Workshop: Simultaneous Games
Workshop: Tic-Tac-Toe
Workshop: Timed English Auction
Workshop: Trust Fund
xor
xor
yesno
zip
|
||