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

PlutusTx.PLCTypes

Documentation

type PLCType uni = Type TyName uni Ann Source #

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

type PLCProgram uni fun = Program TyName Name uni fun () Source #