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
compiling