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

MAlonzo.RTE

Documentation

type AgdaAny = Any #

coe :: a -> b #

data QName #

Constructors

QName 

Fields

Instances

Instances details
Eq QName # 
Instance details

Defined in MAlonzo.RTE

Methods

(==) :: QName -> QName -> Bool #

(/=) :: QName -> QName -> Bool #

Ord QName # 
Instance details

Defined in MAlonzo.RTE

Methods

compare :: QName -> QName -> Ordering #

(<) :: QName -> QName -> Bool #

(<=) :: QName -> QName -> Bool #

(>) :: QName -> QName -> Bool #

(>=) :: QName -> QName -> Bool #

max :: QName -> QName -> QName #

min :: QName -> QName -> QName #

data Assoc #

Constructors

NonAssoc 
LeftAssoc 
RightAssoc 

data Precedence #

Constructors

Unrelated 
Related PrecedenceLevel 

data Fixity #

Constructors

Fixity Assoc Precedence 

type PrecedenceLevel = Double #

erased :: a #

mazUnreachableError :: a #

mazHole :: String -> a #

addInt :: Integer -> Integer -> Integer #

subInt :: Integer -> Integer -> Integer #

mulInt :: Integer -> Integer -> Integer #

geqInt :: Integer -> Integer -> Bool #

ltInt :: Integer -> Integer -> Bool #

eqInt :: Integer -> Integer -> Bool #

quotInt :: Integer -> Integer -> Integer #

remInt :: Integer -> Integer -> Integer #

natToChar :: Integer -> Char #

type Word64 = Word64 #

word64ToNat :: Word64 -> Integer #

word64FromNat :: Integer -> Word64 #

add64 :: Word64 -> Word64 -> Word64 #

sub64 :: Word64 -> Word64 -> Word64 #

mul64 :: Word64 -> Word64 -> Word64 #

quot64 :: Word64 -> Word64 -> Word64 #

rem64 :: Word64 -> Word64 -> Word64 #

eq64 :: Word64 -> Word64 -> Bool #

lt64 :: Word64 -> Word64 -> Bool #

data Inf a #

Constructors

Sharp 

Fields

type Infinity (level :: Type) a = Inf a #