Moduleplutus-core-1.70.0.0

PlutusCore.DeBruijn

9 types
1 class
17 values

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-AjXwyzfmVfT8tKfEB70hFt" '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-AjXwyzfmVfT8tKfEB70hFt" '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-AjXwyzfmVfT8tKfEB70hFt" '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-AjXwyzfmVfT8tKfEB70hFt" '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-AjXwyzfmVfT8tKfEB70hFt" '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-AjXwyzfmVfT8tKfEB70hFt" '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