Index
Concepts
Data and Scott encoding
GenericProgramming
Haskell synonym of Plutarch types
Hoisting
What is the
s
?
DEVGUIDE
Introduction
Delay and Force
Pattern matching
Plutarch
Term
s
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