Moduleplutus-core-1.70.0.0
PlutusCore.Name.Unique
- 6 types
- 2 classes
- 8 values
- Packageplutus-core-1.70.0.0
- Exports16
- LicenceApache-2.0
Instances7HasUnique, …
HasUnique Name TermUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueHasUnique TyName TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueHasUnique Unique UniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueHasUnique name unique => HasUnique (LR name) (LR unique)Defined in plutus-core-1.70.0.0 · PlutusCore.EqHasUnique name unique => HasUnique (RL name) (RL unique)Defined in plutus-core-1.70.0.0 · PlutusCore.EqHasUnique tyname TypeUnique => HasUnique (TyVarDecl tyname ann) TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Core.TypeHasUnique name TermUnique => HasUnique (VarDecl tyname name uni ann) TermUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Constructors
Instances21Ord, Show, Generic, NFData, Pretty, HasText, …
Eq NameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueOrd NameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueShow NameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueGeneric NameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueNFData NameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniquePretty NameDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Default · orphanHashable NameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueFlat NameDefined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphanHasText NameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueToScopedName NameDefined in plutus-core-1.70.0.0 · PlutusCore.Check.ScopingLift NameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueHasPrettyConfigName config => PrettyBy config NameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueHasUnique Name TermUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.Uniquename ~ Name => Reference Name (Term name uni fun)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Scoping · orphanname ~ Name => Reference Name (Term tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphanFlat (Binder Name)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term Name uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Eq · orphanHashableTermConstraints uni fun ann => Hashable (Term Name 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 TyName Name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphanHasConstant (Term TyName Name uni fun ())Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.HasConstanttype Rep Name = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Name.Unique"Name"
"PlutusCore.Name.Unique"
"plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt"
'False) (C1 ('MetaCons"Name"
'PrefixI 'True) (S1 ('MetaSel ('Just"_nameText"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just"_nameUnique"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Unique)))
Constructors
Named_namedString :: Text_namedValue :: a
Constructors
Instances6Eq, Ord, Hashable, HasRenaming, HasUnique
Eq TermUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueOrd TermUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueHashable TermUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueHasUnique Name TermUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueHasRenaming ScopedRenaming TermUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Rename.MonadHasUnique name TermUnique => HasUnique (VarDecl tyname name uni ann) TermUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Instances23Ord, Show, Generic, NFData, Pretty, Hashable, …
Eq TyNameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueOrd TyNameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueShow TyNameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueGeneric TyNameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueNFData TyNameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniquePretty TyNameDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Default · orphanHashable TyNameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueWrapped TyNameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueFlat TyNameDefined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphanHasText TyNameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueToScopedName TyNameDefined in plutus-core-1.70.0.0 · PlutusCore.Check.ScopingLift TyNameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueHasPrettyConfigName config => PrettyBy config TyNameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueHasUnique TyName TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.Uniquetyname ~ TyName => Reference TyName (Type tyname uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphantyname ~ TyName => Reference TyName (Term tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphanFlat (Binder TyName)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan(GEq uni, Eq ann) => Eq (Type TyName uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphanTermLike (Term name uni fun) TyName name uni funDefined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Type(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyName Name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphanHasConstant (Term TyName Name uni fun ())Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.HasConstanttype Rep TyName = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Name.Unique"TyName"
"PlutusCore.Name.Unique"
"plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt"
'True) (C1 ('MetaCons"TyName"
'PrefixI 'True) (S1 ('MetaSel ('Just"unTyName"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))type Unwrapped TyName = GUnwrapped (Rep TyName)Defined in plutus-core-1.70.0.0 · PlutusCore.Name.Unique
Constructors
Instances6Eq, Ord, Hashable, HasRenaming, HasUnique
Eq TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueOrd TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueHashable TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueHasUnique TyName TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueHasRenaming ScopedRenaming TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Rename.MonadHasUnique tyname TypeUnique => HasUnique (TyVarDecl tyname ann) TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Instances10Enum, Eq, Ord, Show, NFData, Pretty, …
Enum UniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueEq UniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueOrd UniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueShow UniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueNFData UniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniquePretty UniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueHashable UniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueFlat UniqueDefined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphanLift UniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.UniqueHasUnique Unique UniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.Unique