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

plu-ts documentation