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

MAlonzo.RTE

Documentation

coe ∷ a → b Source #

data QName Source #

Constructors

QName 

Instances

Instances details
Eq QName Source # 
Instance details

Defined in MAlonzo.RTE

Methods

(==)QNameQNameBool Source #

(/=)QNameQNameBool Source #

Ord QName Source # 
Instance details

Defined in MAlonzo.RTE

Methods

compareQNameQNameOrdering Source #

(<)QNameQNameBool Source #

(<=)QNameQNameBool Source #

(>)QNameQNameBool Source #

(>=)QNameQNameBool Source #

maxQNameQNameQName Source #

minQNameQNameQName Source #

data Fixity Source #

Constructors

Fixity Assoc Precedence 

data Inf a Source #

Constructors

Sharp 

Fields

type Infinity (level ∷ Type) a = Inf a Source #