Introduction
1.
Language
1.1.
Core ideas
1.2.
eDSL concepts
1.3.
plu-ts values
1.3.1.
types
1.3.1.1.
polymonrphic types (generics)
1.3.2.
simple values
1.3.3.
functions
1.3.3.1.
papp
1.3.3.2.
partial function application
1.3.3.3.
builtins
1.3.4.
aliases
1.3.5.
structs
1.3.5.1.
generic structs
1.3.6.
terms with methods
1.4.
control flow
1.4.1.
if then else
1.4.2.
pmatch
1.4.3.
recursion
1.5.
evaluate a plu-ts expression
1.5.1.
errors and traces
2.
Optimizations
2.1.
plet
2.2.
phoist
2.3.
pforce and pdelay
3.
stdlib
3.1.
utility terms
3.1.1.
TermInt
3.1.2.
TermBool
3.1.3.
TermBS
3.1.4.
TermStr
3.1.5.
TermList<PElemsType>
3.1.6.
TermFn<Ins,Out>
3.1.7.
TermStruct<StructDef>
3.2.
combinators
3.2.1.
pcompose
3.2.2.
pflip
3.3.
PMaybe
3.3.1.
pisJust
4.
API
4.1.
Core ideas
4.2.
PScriptContext
4.3.
makeValidator
4.4.
compile and format for transactions
5.
Examples
6.
Advanced Concepts
6.1.
typescript values as plu-ts macros
Light (default)
Rust
Coal
Navy
Ayu
plu-ts documentation
plu-ts
language index
Core ideas
eDSL concepts
plu-ts
values
types
simple values
functions
partial function application
aliases
structs
key syntax
function application
terms with methods
control flow
if then else
pmatch
recursion
evaluate a
plu-ts
expression