Plutarch Plutus

Concepts

Data and Scott encoding

GenericProgramming

Haskell synonym of Plutarch types

Hoisting

What is the s?

DEVGUIDE

Introduction

Delay and Force

Pattern matching

Plutarch Terms

Plutarch Constants

Plutarch Lambdas

Plutarch Types

Untyped Plutus Core (UPLC)

README

Run

Tricks

Difference between pcon and pconstant

Don't duplicate work

Optimizing unhoistable lambdas

Plutarch functions are strict

Prefer Plutarch level functions

Prefer matching on pmatch result immediately

Prefer statically building constants

Figuring out the representation of a Plutarch type

Let Haskell level functions take responsibility of evaluation

Using Haskell level functions

Working with bound fields

The isomorphism between makeIsDataIndexed, Haskell ADTs, and PIsDataRepr

Troubleshooting

Typeclasses

PConstant and PLift

PEq and POrd

PIntegral

PIsData

PIsDataRepr and PDataFields

PListLike

PTryFrom

PlutusType, PCon, and PMatch

Types

PAsData

PBool

PBuiltinList

PBuiltinPair

PByteString

PData

PDataSum and PDataRecord

PInteger

PList

PString

PTuple

PUnit

Usage

Avoid work duplication using plet

Conditionals

Deriving for newtypes

Deriving with generics

Do syntax with QualifiedDo

Do syntax with TermCont

FFI

Using the Plutarch Prelude

Raising errors

Recursion

Tracing

Unsafe functions

examples

BASIC

VALIDATOR

examples

Pages matching path './*'

BASIC
VALIDATOR

Note: To override the auto-generated content here, create a file named one of: examples.md, examples.org