plutus-tx-plugin-1.30.0.0: The Plutus Tx compiler and GHC plugin
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.PIRTypes

Documentation

type PIRType uni = Type TyName uni Ann Source #

type PIRTerm uni fun = Term TyName Name uni fun Ann Source #

type PIRProgram uni fun = Program TyName Name uni fun SrcSpans Source #

type PIRBinding uni fun = Binding TyName Name uni fun Ann Source #