plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Raw

Documentation

data KIND #

Constructors

Star 
Sharp 
Arrow KIND KIND 

Instances

Instances details
FreeVariableError 

Instances

Instances details
Show ScopeError # 
Instance details

Defined in Raw

data RuntimeError #

Instances

Instances details
Show RuntimeError # 
Instance details

Defined in Raw