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)
      2. 1.3.2. simple values
      3. 1.3.3. functions
        1. 1.3.3.1. papp
        2. 1.3.3.2. partial function application
        3. 1.3.3.3. builtins
      4. 1.3.4. aliases
      5. 1.3.5. structs
        1. 1.3.5.1. generic structs
      6. 1.3.6. terms with methods
    4. 1.4. control flow
      1. 1.4.1. if then else
      2. 1.4.2. pmatch
      3. 1.4.3. recursion
    5. 1.5. evaluate a plu-ts expression
      1. 1.5.1. errors and traces
  3. 2. Optimizations
    1. 2.1. plet
    2. 2.2. phoist
    3. 2.3. pforce and pdelay
  4. 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>
    2. 3.2. combinators
      1. 3.2.1. pcompose
      2. 3.2.2. pflip
    3. 3.3. PMaybe
      1. 3.3.1. pisJust
  5. 4. API
    1. 4.1. Core ideas
    2. 4.2. PScriptContext
    3. 4.3. makeValidator
    4. 4.4. compile and format for transactions
  6. 5. Examples
  7. 6. Advanced Concepts
    1. 6.1. typescript values as plu-ts macros

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