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

!
!=
!==
%
&
&&
’use strict’
'use strict'
*
+
-
.throwTimeout
.timeRemaining
/
0.1.0: 2019/09 - 2020/09
0.1.1: 2019/09 - 2020/09
0.1.2: 2020/09 - 2021/07
0.1.3: 2020/07 - present
<
<<
<=
==
===
=>
>
>=
>>
?
^
A minimal Reach program
abs
acc.attach
acc.deploy
acc.getAddress
acc.networkAccount
acc.setDebugLabel
acc.setGasLimit
acc.tokenAccept
acc.tokenMetadata
Accessors
account
Accounts
add
add
Address
address
addressEq
addressEq
ALGO
ALGO-browser
ALGO-devnet
ALGO-live
ALGO_FAUCET_PASSPHRASE
ALGO_INDEXER_PORT
ALGO_INDEXER_SERVER
ALGO_INDEXER_TOKEN
ALGO_PORT
ALGO_SERVER
ALGO_TOKEN
Algorand
Algorand
Algorand: AlgoSigner
Algorand: mnemonic
all
and
any
Anybody
Anybody
Anybody
API key
App
Application Initialization
application initialization
Are multiple participants able to cause the transfer, but each will provide different data?
Are there multiple participants that each want to do different things?
Arithmetic Operations
array
Array
array
array
Array & tuple length: Tuple.length, Array.length, and .length
Array & tuple update: Tuple.set, Array.set, and .set
Array element type: Array.elemType and .elemType
Array group operations
Array.concat
Array.concat && .concat
Array.elemType
Array.empty
Array.empty
Array.find
Array.find && .find
Array.findIndex
Array.findIndex && .findIndex
Array.indexOf
Array.indexOf && .indexOf
Array.iota
Array.iota
Array.length
Array.map
Array.map && .map
Array.mapWithIndex
Array.mapWithIndex && .mapWithIndex
Array.reduce
Array.reduce && .reduce
Array.reduceWithIndex
Array.reduceWithIndex && .reduceWithIndex
Array.replicate
Array.replicate && .replicate
Array.set
Array.slice
Array.slice && .slice
Array.withIndex
Array.withIndex && .withIndex
Array.zip
Array.zip && .zip
Array_empty
Array_replicate
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
bill
binary expression
binary operator
bior
bit width
block
block statement
Block statements
Blocks
Bool
Boolean literal
boolEq
bound identifier
Building decentralized abstractions
burn
burn
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
compilation options
Compile
compile
compose
compose
compose
Computations
concat
Conclusion
Conditional expression
conditional expression
conditional statement
connectAccount
Connector
connector
connector
connectors
consensus computation
consensus network
Consensus Network Connectors
consensus state
consensus step
Consensus Steps
consensus transfer
const
const and function
Constructors
continuations
continue
continue
continue statement
Contracts
Contracts
count
createAccount
ctc.getInfo
ctc.getViews
DApp
Data
Data
Data Definition
Data Definition
Data Definition
Data Definition
Data Definition
data instance
Decentralized applications
declassification
declassify
declassify
declassify
default
define
deploy
deploy
deploy
deploy
deploy statement
Deployment Decisions
Deployment Decisions
Deployment Decisions
Deployment Decisions
Deployment Decisions
deployMode
Deprecated long-form
destroy
destroyed
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
Do I have to use JavaScript to write my frontend? What about Python, Go, or other languages?
dominated
Domination
done
each
each
Either
either
either
Element reference
elemType
else
empty
ensure
ensure
ensure
enum
enumeration
eq
Error Codes
ETH
ETH-browser
ETH-devnet
ETH-live
ETH_NODE_NETWORK
ETH_NODE_URI
Ethereum
Ethereum-specific
Evaluation Model
Execute
exit
exit
exit statement
export
export
export
Expression statements
Expressions
Expressions
Expressions
Expressions
Expressions
Expressions
expressions
fail
fail
fail
false
field
Field reference
find
findIndex
Finding and using loop invariants
fixed
Fixed-Point Numbers
FixedPoint
Foldable
Foldable operations
Foldable.all
Foldable.all && .all
Foldable.and
Foldable.and && .and
Foldable.any
Foldable.any && .any
Foldable.average
Foldable.average && .average
Foldable.count
Foldable.count && .count
Foldable.forEach
Foldable.forEach && .forEach
Foldable.includes
Foldable.includes && .includes
Foldable.max
Foldable.max && .max
Foldable.min
Foldable.min && .min
Foldable.or
Foldable.or && .or
Foldable.product
Foldable.product && .product
Foldable.size
Foldable.size && .size
Foldable.sum
Foldable.sum && .sum
forall
forall
forall
forEach
fork
fork
fork intuition
fork statement
formatAddress
formatCurrency
from
fromLeft
fromLeft
fromMaybe
fromRight
fromRight
fromSome
fromSome
frontend
Frontend Support
Fun
function
Function application
function application
function body
function definition
function type
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
getAddress
getConnector
getConnectorMode
getDefaultAccount
getExports
getInfo
getNetworkTime
getViews
Go (RPC)
gt
gt
Guarantees
Guide
hasConsoleLogger
hasConsoleLogger
hasConsoleLogger
hasConsoleLogger (Frontend)
hasRandom
hasRandom
hasRandom
hasRandom (Frontend)
hexToBigNumber
honest
How and what to verify
How do I add tracing logs to my Reach program?
How does Reach development compare to Solidity development?
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
imax
imod
implies
implies
implies
import
import
imports
imul
includes
indexOf
ine
insert
Install and Initialize
Installation
Int
int
int
intEq
interact
interact
interact
interact shorthand
Interaction and Independence
interaction expression
Interaction Introduction
Interaction Introduction
Interaction Introduction
Interaction Introduction
Interaction Introduction
interactive RPC callback
interactive RPC continuation
Interactive RPC methods
Interface
Interval
interval
intervalAbs
intervalAbs
intervalAdd
intervalCC
intervalCO
intervalDiv
intervalEq
intervalGt
intervalGte
intervalIntersection
intervalIntersection
intervalLt
intervalLte
intervalMul
intervalNe
intervalOC
intervalOO
Intervals
intervalSub
IntervalType
intervalUnion
intervalUnion
intervalWidth
intervalWidth
invalid
invariant
iota
is
Is a single participant responsible for the transfer?
isBigNumber
isBigNumber
isHex
isLeft
isLeft
isNone
isNone
isolated testing mode
isRight
isRight
isSome
isSome
isType
isub
ite
JavaScript
JavaScript
JavaScript (RPC)
join
knowledge assertion
Language Model
lastConsensusTime
lastConsensusTime
lastConsensusTime
le
le
leftEndpoint
length
linear state
literal value
Literal values
loader.mjs
loadStdlib
loadStdlib
local computation
local import
Local imports
local state
local step
Local Steps
lockfile
loop invariant
lsh
lt
lt
makeCommitment
makeCommitment
makeCommitment
makeDeadline
makeDeadline
makeDeadline
makeEnum
makeEnum
Map
map
Map.reduce
Map.reduce && .reduce
Mapping group operations
mappings
Mappings: creation and modification
mapWithIndex
match
match
match expression
max
Maybe
Maybe
maybe
maybe
member
min
minimumBalance
minted
mkRPC
mod
mod
module
Modules
mul
mul
multi-line comment
Neg
negative position
network token
Network Utilities
networkAccount
new
newAccountFromMnemonic
newAccountFromSecret
newTestAccount
Next steps
non-network token
Non-participation: What it is and how to protect against it
None
Null
null
null literal
numberToFixedPoint
numberToInt
Numeric literal
Object
object
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
Other Operations
Overview
Package imports
Package imports
pad
padded
Padding
parallel reduce statement
parallelReduce
parallelReduce
parallelReduce intuition
Parenthesized expression
parseCurrency
parseFixedPoint
parseInt
Participant
participant
Participant Backends
participant class
Participant Definition
participant instances
participant interact interface
Participant.set
Participant.set and .set
ParticipantClass
PATH
pay
pay amount
Pay Amounts
paySpec
Play and Play Again
polyEq
polyNeq
Pos
positive position
possibility assertion
possible
possible
possible
pow
pow
pow
private
Problem Analysis
Problem Analysis
Problem Analysis
Problem Analysis
Problem Analysis
product
Programs
programs
protect
Provider Selection
providerEnvByName
public
publication
publish
publish, pay, when, and timeout
pure
Python (RPC)
race
race
race expression
Racing non-determinism in decentralized applications
randomUInt
RC0000
RE0000
RE0001
RE0002
RE0003
RE0004
RE0005
RE0006
RE0007
RE0008
RE0009
RE0010
RE0011
RE0012
RE0013
RE0014
RE0015
RE0016
RE0017
RE0018
RE0019
RE0020
RE0021
RE0022
RE0023
RE0024
RE0025
RE0026
RE0027
RE0028
RE0029
RE0030
RE0031
RE0032
RE0033
RE0034
RE0035
RE0036
RE0037
RE0038
RE0039
RE0040
RE0041
RE0042
RE0043
RE0044
RE0045
RE0046
RE0047
RE0048
RE0049
RE0050
RE0051
RE0052
RE0053
RE0054
RE0055
RE0056
RE0057
RE0058
RE0059
RE0060
RE0061
RE0062
RE0063
RE0064
RE0065
RE0066
RE0067
RE0068
RE0069
RE0070
RE0071
RE0072
RE0073
RE0074
RE0075
RE0076
RE0077
RE0078
RE0079
RE0080
RE0081
RE0082
RE0083
RE0084
RE0085
RE0086
RE0087
RE0088
RE0089
RE0090
RE0091
RE0092
RE0093
RE0094
RE0095
RE0096
RE0097
RE0098
RE0099
RE0100
RE0101
RE0102
RE0103
RE0104
RE0105
RE0106
RE0107
RE0108
RE0109
RE0110
RE0111
RE0112
RE0113
RE0114
Reach
reach compile
Reach Development
reach devnet
reach docker-reset
reach down
reach hashes
reach init
reach react
Reach RPC Client Standard Options
Reach RPC Protocol Client Implementation Walkthrough
Reach RPC Protocol Specification
Reach RPC Server
reach rpc-run
reach rpc-server
reach run
reach scaffold
reach update
reach upgrade
reach version
Reach’s Changelog
Reach’s Roadmap
Reach.App
Reach.App
Reach: The Safest and Easiest DApp Programming Language
REACH_CONNECTOR_MODE
REACH_DEBUG
REACH_ISOLATED_NETWORK
REACH_RPC_KEY
REACH_RPC_PORT
REACH_RPC_SERVER
REACH_RPC_TIMEOUT
REACH_RPC_TLS_CRT
REACH_RPC_TLS_KEY
REACH_RPC_TLS_PASSPHRASE
REACH_RPC_TLS_REJECT_UNVERIFIED
REACH_VERSION
reduce
reduceWithIndex
Reference
reference
Refine
Relational Operations
relay account
remote
remote functions
remote object
Remote objects
remove
REP0000
replicate
require
require
require
requirement
rest parameter
return
return
return statement
RI0000
RI0001
RI0002
RI0003
RI0004
rightEndpoint
RL0000
Rock, Paper, and Scissors
Rock, Paper, Scissors in Python
RP0000
RP0001
RP0002
RP0003
RP0004
RP0005
RP0006
RP0007
RP0008
RP0009
RP0010
RP0011
rpc
rpc
RPC handles
RPC methods
rpcCallbacks
rpcCallbacks
rsh
RUN_FROM_REACH
RX0000
Scaffolding and Setup
secret
Security levels and scope
Set
set
setDebugLabel
setGasLimit
setOptions
setOptions
setProvider
setProviderByEnv
setProviderByName
Sets: creation and modification
Sharing and discovering shared Reach packages
Signed Integers
single-line comment
size
slice
Solidity Development
Some
source file
sqrt
sqrt
sqrt
standard unit
standardUnit
Statements
Statements
Statements
Statements
Statements
Statements
statements
static assertion
stdlib
step
Steps
strict mode
String literal
stringToHex
Struct
struct
Struct.fromObject
Struct.fromTuple
Struct.toObject
Struct.toTuple
Structs
sub
sub
sum
Summary
supply
switch
switch
switch statement
Synchronous value RPC methods
Syntax Model
T_Address
T_Array
T_Bool
T_Bytes
T_Null
T_Object
T_Tuple
T_UInt
tail
terminator statement
Testing Reach programs in the browser
this
this
this
throw statement
throwTimeout
time
time delta
timeout
timeout
Timeouts and Participation
timeRemaining
Token
token amount
token linearity property
Token minting
tokenAccept
tokenMetadata
transfer
transfer
transfer
transfer expression
transfers
true
Trust and Commitments
try statement
Try/Catch & Throw Statements
Tuple
tuple
Tuple.length
Tuple.set
Tuples
Tutorial
type
typeEq
typeOf
typeof
Types
Types
UInt
uintToBytes
unary expression
unary operator
unbound
unconstrained domain function type
unknowable
unknowable
unknowable
unsafeAllowMultipleStdlibs
unsafeAllowMultipleStdlibs
Usage
Using Reach on Windows
Utilities
valid
Validity and other concepts
value
value definition
var
Verify
verifyArithmetic
verifyPerConnector
View
View Access
View Definition
view function
view object
View Objects
views
void
wait
wait
wait
wait statement
waitUntilTime
Web app
Web Interaction
What are Reach’s limitations?
What do the different kinds of consensus transfers mean? publish, pay, race, fork, parallelReduce?
while
while
while statement
Will these different things happen over and over until some condition is met?
withBill
withIndex
Workshop
Workshop: Atomic Swap
Workshop: Atomic Swap Auction
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: NFT with Auction
Workshop: NFT with Royalties and Harberger Tax
Workshop: Nim
Workshop: Oracle
Workshop: Periodic Payment
Workshop: Popularity Contest
Workshop: Race
Workshop: Raffle
Workshop: Relay Account
Workshop: Remote Objects
Workshop: Rent Seeking
Workshop: Rental Agreement
Workshop: Secured Loan
Workshop: Simple NFT
Workshop: Simultaneous Games
Workshop: Tic-Tac-Toe
Workshop: Timed English Auction
Workshop: Trust Fund
xor
xor
yesno
zip
|
||