Index

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'
*
+
-
/
<
<<
<=
==
===
=>
>
>=
>>
?
^
A minimal Reach program
abs
acc.attach
acc.deploy
acc.getAddress
acc.networkAccount
acc.setDebugLabel
acc.setGasLimit
account
Accounts
add
add
Address
address
addressEq
addressEq
ALGO
ALGO-browser
ALGO-live
ALGO-test-dockerized-algod
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 argument
Application Arguments
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.concat
Array.empty
Array.findIndex
Array.indexOf
Array.iota
Array.length
Array.map
Array.reduce
Array.replicate
Array.set
Array.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
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
Conclusion
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
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
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
Do I have to use JavaScript to write my frontend? What about Python, Go, or other languages?
done
each
each
Either
either
either
Element reference
else
empty
ensure
ensure
ensure
enum
enumeration
eq
ETH
ETH-browser
ETH-live
ETH-test-dockerized-geth
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
fail
fail
fail
false
field
Field reference
findIndex
Finding and using loop invariants
fixed
Fixed-Point Numbers
FixedPoint
Foldable
Foldable operations
Foldable.all
Foldable.and
Foldable.any
Foldable.average
Foldable.count
Foldable.forEach
Foldable.includes
Foldable.max
Foldable.min
Foldable.or
Foldable.product
Foldable.size
Foldable.sum
forall
forall
forall
forEach
fork
fork
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
hasRandom
hasRandom
hasRandom
hexToBigNumber
honest
How and what to verify
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
import
imul
includes
indexOf
ine
insert
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
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
isBigNumber
isBigNumber
isHex
isLeft
isLeft
isNone
isNone
isolated testing modes
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 state
local step
Local Steps
loop invariant
lsh
lt
lt
makeCommitment
makeCommitment
makeCommitment
makeDeadline
makeDeadline
makeDeadline
makeEnum
makeEnum
Map
map
Map.reduce
Mapping group operations
mappings
Mappings: creation and modification
match
match
match expression
max
Maybe
Maybe
maybe
maybe
member
min
minimumBalance
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
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
Overview
parallel reduce statement
parallelReduce
parallelReduce
Parenthesized expression
parseCurrency
parseFixedPoint
parseInt
Participant
participant
Participant Backends
participant class
participant instances
participant interact interface
Participant.set
Participant.set and .set
ParticipantClass
PATH
pay
pay amount
Pay Amounts
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
Python (RPC)
race
race
race expression
Racing non-determinism in decentralized applications
randomUInt
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.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
Reference
reference
Refine
relay account
remote
remote functions
remote object
Remote objects
remove
replicate
require
require
require
requirement
rest parameter
return
return
return statement
rightEndpoint
Rock, Paper, and Scissors
Rock, Paper, Scissors in Python
rpc
rpc
RPC handles
RPC methods
rpcCallbacks
rpcCallbacks
rsh
RUN_FROM_REACH
Scaffolding and Setup
secret
Security levels and scope
Set
set
setDebugLabel
setGasLimit
setProvider
setProviderByEnv
setProviderByName
Sets: creation and modification
Signed Integers
single-line comment
size
Solidity Development
Some
source file
sqrt
sqrt
sqrt
standard unit
standardUnit
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
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
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
unknowable
unknowable
unknowable
Usage
Using Reach on Windows
Utilities
valid
Validity
value
value definition
var
Verify
verifyArithmetic
verifyPerConnector
View
view function
view object
View Objects
views
void
wait
wait
wait
wait statement
waitUntilTime
Web app
Web Interaction
What are Reach’s limitations and its future roadmap
while
while
while statement
withBill
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
|
||