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

Raw

Documentation

data KIND Source #

Constructors

Star 
Sharp 
Arrow KIND KIND 

Instances

Instances details
Show KIND Source # 
Instance details

Defined in Raw

Methods

showsPrecIntKINDShowS Source #

showKINDString Source #

showList ∷ [KIND] → ShowS Source #

data RType Source #

Instances

Instances details
Show RType Source # 
Instance details

Defined in Raw

data RTyCon Source #

Instances

Instances details
Show RTyCon Source # 
Instance details

Defined in Raw

convKKind a → KIND Source #

unconvKKINDKind () Source #

data ERROR Source #

Instances

Instances details
Show ERROR Source # 
Instance details

Defined in Raw

data ScopeError Source #

Instances

Instances details
Show ScopeError Source # 
Instance details

Defined in Raw

data RuntimeError Source #

Instances

Instances details
Show RuntimeError Source # 
Instance details

Defined in Raw