Moduleplutus-core-1.70.0.0

PlutusCore.DeBruijn

Synopsis

value deBruijnTerm
value deBruijnTermWith
value deBruijnTy
value deBruijnTyWith
value unDeBruijnTerm
value unDeBruijnTermWith
value unDeBruijnTy
value unDeBruijnTyWith
value deBruijnInitIndex
value fakeNameDeBruijn
value fakeTyNameDeBruijn
value freeIndexAsConsistentLevel
value fromFake
value toFake
value unNameDeBruijn
value unNameTyDeBruijn
newtype DeBruijn
newtype FakeNamedDeBruijn
value unFakeNamedDeBruijn
data FreeVariableError
class HasIndex
newtype Index
newtype Level
data LevelInfo
data NamedDeBruijn
newtype NamedTyDeBruijn
newtype TyDeBruijn

Packageplutus-core-1.70.0.0
Exports27
LicenceApache-2.0

valuedeBruijnTerm

:: MonadError FreeVariableError m
=> Term TyName Name uni fun ann
-> m (Term NamedTyDeBruijn NamedDeBruijn uni fun ann)

valuedeBruijnTermWith

:: Monad m
=> Unique -> ReaderT LevelInfo m Index
-> Term TyName Name uni fun ann
-> m (Term NamedTyDeBruijn NamedDeBruijn uni fun ann)

valuedeBruijnTy

:: MonadError FreeVariableError m
=> Type TyName uni ann
-> m (Type NamedTyDeBruijn uni ann)

valuedeBruijnTyWith

:: Monad m
=> Unique -> ReaderT LevelInfo m Index
-> Type TyName uni ann
-> m (Type NamedTyDeBruijn uni ann)

valueunDeBruijnTerm

:: (MonadQuote m, MonadError FreeVariableError m)
=> Term NamedTyDeBruijn NamedDeBruijn uni fun ann
-> m (Term TyName Name uni fun ann)

valueunDeBruijnTermWith

:: MonadQuote m
=> Index -> ReaderT LevelInfo m Unique
-> Term NamedTyDeBruijn NamedDeBruijn uni fun ann
-> m (Term TyName Name uni fun ann)

valueunDeBruijnTy

:: (MonadQuote m, MonadError FreeVariableError m)
=> Type NamedTyDeBruijn uni ann
-> m (Type TyName uni ann)

valueunDeBruijnTyWith

:: MonadQuote m
=> Index -> ReaderT LevelInfo m Unique
-> Type NamedTyDeBruijn uni ann
-> m (Type TyName uni ann)

valuedeBruijnInitIndex :: Index

valuefakeNameDeBruijn :: DeBruijn -> NamedDeBruijn

valuefakeTyNameDeBruijn :: TyDeBruijn -> NamedTyDeBruijn

valuefreeIndexAsConsistentLevel

:: (MonadReader LevelInfo m, MonadState (Map Level Unique) m, MonadQuote m)
=> Index
-> m Unique

valuefromFake :: FakeNamedDeBruijn -> DeBruijn

valuetoFake :: DeBruijn -> FakeNamedDeBruijn

valueunNameDeBruijn :: NamedDeBruijn -> DeBruijn

valueunNameTyDeBruijn :: NamedTyDeBruijn -> TyDeBruijn

newtypenewtype DeBruijn

Constructors

DeBruijn
- dbnIndex :: Index

Instances13Show, Generic, NFData, HasIndex, PrettyBy, Flat, …

Eq DeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Show DeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Generic DeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
NFData DeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Hashable DeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Flat DeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
HasIndex DeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
HasPrettyConfigName config => PrettyBy config DeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Flat (Binder DeBruijn)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term DeBruijn uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Eq · orphan
HashableTermConstraints uni fun ann => Hashable (Term DeBruijn uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Eq · orphan
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyDeBruijn DeBruijn uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphan
type Rep DeBruijn = D1 ('MetaData "DeBruijn" "PlutusCore.DeBruijn.Internal" "plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM" 'True) (C1 ('MetaCons "DeBruijn" 'PrefixI 'True) (S1 ('MetaSel ('Just "dbnIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Index)))Defined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal

newtypenewtype FakeNamedDeBruijn

Instances9Show, NFData, PrettyBy, Flat, Eq, Hashable, …

Eq FakeNamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Show FakeNamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
NFData FakeNamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Hashable FakeNamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Flat FakeNamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
HasPrettyConfigName config => PrettyBy config FakeNamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Flat (Binder FakeNamedDeBruijn)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term FakeNamedDeBruijn uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Eq · orphan
HashableTermConstraints uni fun ann => Hashable (Term FakeNamedDeBruijn uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Eq · orphan

valueunFakeNamedDeBruijn :: FakeNamedDeBruijn -> NamedDeBruijn

datadata FreeVariableError

Constructors

FreeUnique !Unique
FreeIndex !Index

Instances9Eq, Ord, Show, Generic, Exception, NFData, …

Eq FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Ord FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Show FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Generic FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Exception FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
NFData FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Pretty FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
AsFreeVariableError FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
type Rep FreeVariableError = D1 ('MetaData "FreeVariableError" "PlutusCore.DeBruijn.Internal" "plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM" 'False) (C1 ('MetaCons "FreeUnique" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Unique)) :+: C1 ('MetaCons "FreeIndex" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Index)))Defined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal

classclass HasIndex a where

Methods

index :: Lens' a Index

Instances4HasIndex

HasIndex DeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
HasIndex NamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
HasIndex NamedTyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
HasIndex TyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal

newtypenewtype Index

Constructors

Index Word64

Instances14Enum, Eq, Integral, Num, Ord, Read, …

Enum IndexDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Eq IndexDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Integral IndexDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Num IndexDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Ord IndexDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Read IndexDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Real IndexDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Show IndexDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Generic IndexDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
NFData IndexDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Pretty IndexDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Hashable IndexDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Flat IndexDefined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
type Rep Index = D1 ('MetaData "Index" "PlutusCore.DeBruijn.Internal" "plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM" 'True) (C1 ('MetaCons "Index" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal

newtypenewtype Level

Constructors

Level Integer

Instances6Enum, Eq, Integral, Num, Ord, Real

Enum LevelDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Eq LevelDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Integral LevelDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Num LevelDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Ord LevelDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Real LevelDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal

datadata LevelInfo

Constructors

LevelInfo
- currentLevel :: Level
- levelMapping :: Bimap Unique Level

datadata NamedDeBruijn

Constructors

NamedDeBruijn
- ndbnString :: !Text
- ndbnIndex :: !Index

Instances15Read, Show, Generic, NFData, HasIndex, PrettyBy, …

Eq NamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Read NamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Show NamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Generic NamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
NFData NamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Hashable NamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Flat NamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
HasIndex NamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
HasPrettyConfigName config => PrettyBy config NamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Flat (Binder NamedDeBruijn)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
ThrowableBuiltins uni fun => MonadError (CekEvaluationException NamedDeBruijn uni fun) (CekM uni fun s)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Evaluation.Machine.Cek.Internal
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term NamedDeBruijn uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Eq · orphan
HashableTermConstraints uni fun ann => Hashable (Term NamedDeBruijn uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Eq · orphan
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term NamedTyDeBruijn NamedDeBruijn uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphan
type Rep NamedDeBruijn = D1 ('MetaData "NamedDeBruijn" "PlutusCore.DeBruijn.Internal" "plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM" 'False) (C1 ('MetaCons "NamedDeBruijn" 'PrefixI 'True) (S1 ('MetaSel ('Just "ndbnString") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "ndbnIndex") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Index)))Defined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal

newtypenewtype NamedTyDeBruijn

Constructors

NamedTyDeBruijn NamedDeBruijn

Instances13Show, Generic, NFData, Wrapped, HasIndex, PrettyBy, …

Eq NamedTyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Show NamedTyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Generic NamedTyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
NFData NamedTyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Wrapped NamedTyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Flat NamedTyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
HasIndex NamedTyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
HasPrettyConfigName config => PrettyBy config NamedTyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Flat (Binder NamedTyDeBruijn)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
(GEq uni, Closed uni, Everywhere uni Eq, Eq ann) => Eq (Type NamedTyDeBruijn uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphan
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term NamedTyDeBruijn NamedDeBruijn uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphan
type Rep NamedTyDeBruijn = D1 ('MetaData "NamedTyDeBruijn" "PlutusCore.DeBruijn.Internal" "plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM" 'True) (C1 ('MetaCons "NamedTyDeBruijn" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedDeBruijn)))Defined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
type Unwrapped NamedTyDeBruijn = GUnwrapped (Rep NamedTyDeBruijn)Defined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal

newtypenewtype TyDeBruijn

Constructors

TyDeBruijn DeBruijn

Instances12Show, Generic, NFData, Wrapped, Flat, HasIndex, …

Eq TyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Show TyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Generic TyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
NFData TyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Wrapped TyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Flat TyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
HasIndex TyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
HasPrettyConfigName config => PrettyBy config TyDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
(GEq uni, Closed uni, Everywhere uni Eq, Eq ann) => Eq (Type TyDeBruijn uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphan
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyDeBruijn DeBruijn uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphan
type Rep TyDeBruijn = D1 ('MetaData "TyDeBruijn" "PlutusCore.DeBruijn.Internal" "plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM" 'True) (C1 ('MetaCons "TyDeBruijn" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeBruijn)))Defined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
type Unwrapped TyDeBruijn = GUnwrapped (Rep TyDeBruijn)Defined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal