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 minial Reach program
acc.attach
acc.deploy
acc.networkAccount
account
add
add
Address
address
Algorand
and
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.iota, Array.concat & .concat, Array.empty, Array.zip & .zip, Array.map & .map, Array.reduce & .reduce, and Array.replicate
Array.concat
Array.empty
Array.iota
Array.length
Array.map
Array.reduce
Array.replicate
Array.set
Array.zip
Array_set
Arrow expression
arrow expression
ask
ask.mjs
assert
assert
assert
assert
assert
Assertion Insertion
Assertion Insertion
Assertion Insertion
assume
assume
assume
assumption
attach
backend
backends
balance
balance
balance
balanceOf
band
Bets and Wagers
bigNumberify
bigNumberify
bigNumberToHex
binary expression
binary operator
bior
block
block statement
Block statements
Blocks
Bool
Boolean literal
boolEq
bound identifier
Building decentralized abstractions
bxor
Bytes
bytesEq
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
Compilation Model
Compile
compile
Computations
concat
Conditional expression
conditional expression
conditional statement
connectAccount
connector
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
ctc.getInfo
DApp
Data
Data
Data Definition
Data Definition
Data Definition
data instance
Decentralized applications
declassification
declassify
declassify
declassify
default
deploy
deploy
Deployment Decisions
Deployment Decisions
Deployment Decisions
deployMode
Determinism, simultaneity, and choice in decentralized applications
digest
digest
digest
Discussion
Discussion and Next Steps
Discussion and Next Steps
div
div
done
each
each
Element reference
else
ensure
ensure
ensure
enum
enumeration
eq
ETH.mjs
Ethereum
Evaluation Model
Execute
exit
exit
exit statement
export
export
export
Expression statements
Expressions
Expressions
Expressions
Expressions
Expressions
expressions
false
field
Field reference
Finding and using loop invariants
forall
forall
forall
from
fromMaybe
fromWei
frontend
Fun
function
Function application
function application
function body
function definition
ge
ge
getConnector
getConnectorMode
getInfo
getNetworkTime
gt
gt
Guarantees
Guide
hasRandom
hasRandom
hasRandom
hexToBigNumber
hexToString
honest
How and what to verify
How does Reach use version numbers?
How does Reach work?
identifier definition
Identifier reference
identifiers
if
if
implies
implies
implies
import
import
import
Install and Initialize
Installation
intEq
interact
interact
interact
Interaction and Independence
interaction expression
Interaction Introduction
Interaction Introduction
Interaction Introduction
Interface
invalid
invariant
iota
isBigNumber
isBigNumber
isHex
isolated testing modes
isType
ite
JavaScript
join
keccak256
knowledge assertion
Language Model
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
makeEnum
makeEnum
map
Maybe
Maybe
mod
mod
module
Modules
mul
mul
multi-line comment
network token
networkAccount
newAccountFromMnemonic
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.set
Object.set
Object_set
Objects
only
only and each
Onward and Further
operator
Operator expression
or
originator
Overview
Parenthesized expression
Participant
participant
Participant Backends
participant interact interface
Participant.set
Participant.set and .set
pay
Play and Play Again
polyEq
polyNeq
possibility assertion
possible
possible
possible
private
Problem Analysis
Problem Analysis
Problem Analysis
Programs
programs
protect
public
publication
publish
publish, pay, and timeout
randomUInt256
Reach
reach compile
reach init
reach run
reach scaffold
reach update
reach upgrade
reach version
Reach.App
Reach.App
Reach: The Safest and Easiest DApp Programming Language
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
single-line comment
Some
source file
Standard Library
Statements
Statements
Statements
Statements
Statements
statements
static assertion
stdlib
step
Steps
String literal
sub
sub
switch
switch
switch statement
Syntax Model
T_Address
T_Array
T_Bool
T_Bytes
T_Null
T_Object
T_Tuple
T_UInt256
tail
terminator statement
time
time delta
timeout
timeout
Timeouts and Participation
toHex
token linearity property
toWei
toWeiBigNumber
transfer
transfer
transfer
transfer expression
transfers
true
Trust and Commitments
Tuple
tuple
Tuple.length
Tuple.set
Tuples
Tutorial
type
typeEq
typeOf
typeof
Types
UInt256
uint256ToBytes
unary expression
unary operator
unbound
unknowable
unknowable
unknowable
Usage
Using Reach on Windows
Utilities
valid
Validity
value
value definition
var
Verify
wait
wait
wait
wait statement
waitUntilTime
What are Reach’s limitations and its future roadmap
while
while
while statement
Workshop
Workshop: Crowd-funding
Workshop: Efficient Rock-Paper-Scissors
Workshop: Fair Rock-Paper-Scissors
Workshop: Guardian Account
Workshop: Hash Lock
Workshop: Nim
Workshop: Oracle
Workshop: Periodic Payment
Workshop: Relay Account
Workshop: Rental Agreement
Workshop: Secured Loan
Workshop: Simultaneous Games
Workshop: Tic-Tac-Toe
Workshop: Timed English Auction
Workshop: Trust Fund
yesno
zip
|
||