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

FFI.Untyped

Documentation

data UTerm Source #

Constructors

UVar Integer 
ULambda UTerm 
UApp UTerm UTerm 
UCon (Some (ValueOf DefaultUni)) 
UError 
UBuiltin DefaultFun 
UDelay UTerm 
UForce UTerm 
UConstr Integer [UTerm] 
UCase UTerm [UTerm] 

Instances

Instances details
Generic UTerm Source # 
Instance details

Defined in FFI.Untyped

Associated Types

type Rep UTerm ∷ Type → Type Source #

Methods

from ∷ UTerm → Rep UTerm x Source #

to ∷ Rep UTerm x → UTerm Source #

Show UTerm Source # 
Instance details

Defined in FFI.Untyped

Methods

showsPrec ∷ Int → UTerm → ShowS Source #

show ∷ UTerm → String Source #

showList ∷ [UTerm] → ShowS Source #

NFData UTerm Source # 
Instance details

Defined in FFI.Untyped

Methods

rnf ∷ UTerm → () Source #

Eq UTerm Source # 
Instance details

Defined in FFI.Untyped

Methods

(==) ∷ UTerm → UTerm → Bool Source #

(/=) ∷ UTerm → UTerm → Bool Source #

AgdaUnparse UTerm Source # 
Instance details

Defined in FFI.AgdaUnparse

Methods

agdaUnparse ∷ UTerm → String Source #

type Rep UTerm Source # 
Instance details

Defined in FFI.Untyped

type Rep UTerm = D1 ('MetaData "UTerm" "FFI.Untyped" "plutus-metatheory-1.58.0.0-inplace" 'False) (((C1 ('MetaCons "UVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: C1 ('MetaCons "ULambda" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTerm))) :+: (C1 ('MetaCons "UApp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTerm) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTerm)) :+: (C1 ('MetaCons "UCon" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Some (ValueOf DefaultUni)))) :+: C1 ('MetaCons "UError" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "UBuiltin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DefaultFun)) :+: C1 ('MetaCons "UDelay" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTerm))) :+: (C1 ('MetaCons "UForce" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTerm)) :+: (C1 ('MetaCons "UConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [UTerm])) :+: C1 ('MetaCons "UCase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTerm) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [UTerm]))))))

unIndex ∷ Index → Integer Source #

convP ∷ Program NamedDeBruijn DefaultUni DefaultFun a → UTerm Source #

conv ∷ Term NamedDeBruijn DefaultUni DefaultFun a → UTerm Source #

tmname ∷ Int → String Source #

uconv ∷ Int → UTerm → Term NamedDeBruijn DefaultUni DefaultFun () Source #