Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Name.Unique

Contents

Types
Functions

Description

A Name is a datatype used to identify a variable inside the Plutus Core languages. Name comparisons are a fundamental part of the domain logic, and comparing Text directly is inefficient. As a solution to this problem, we provide the Unique type which is an integer associated to the Name, unique to each instantiation of the type. We can, therefore, compare the integers instead, which is obviously much more cost-effective.

We distinguish between the names of term variables and type variables by defining the TyName wrapper over Name. Since the code we usually write is polymorphic in the name type, we want to be able to define a class of names which have an associated Unique. This class is HasUnique, see the definition below.

Synopsis

data Name = Name {
- _nameText ∷ Text
- _nameUnique ∷ Unique
}
isIdentifierStartingChar ∷ Char → Bool
isIdentifierChar ∷ Char → Bool
isQuotedIdentifierChar ∷ Char → Bool
isValidUnquotedName ∷ Text → Bool
toPrintedName ∷ Text → Text
newtype TyName = TyName {
- unTyName ∷ Name
}
data Named a = Named {
- _namedString ∷ Text
- _namedValue ∷ a
}
newtype Unique = Unique {
- unUnique ∷ Int
}
newtype TypeUnique = TypeUnique {
- unTypeUnique ∷ Unique
}
newtype TermUnique = TermUnique {
- unTermUnique ∷ Unique
}
class HasText a where
- theText ∷ Lens' a Text
class Coercible unique Unique ⇒ HasUnique a unique | a → unique where
- unique ∷ Lens' a unique
theUnique ∷ HasUnique name unique ⇒ Lens' name Unique
mapNameString ∷ (Text → Text) → Name → Name
mapTyNameString ∷ (Text → Text) → TyName → TyName

Types

data Name Source #

A Name represents variables/names in Plutus Core.

Constructors

Name
Fields _nameText ∷ Text The identifier name, for use in error messages. _nameUnique ∷ Unique A `Unique` assigned to the name, allowing for cheap comparisons in the compiler.

Instances

Instances details

Generic Name Source #
Instance details Defined in PlutusCore.Name.Unique Associated Types type Rep Name ∷ Type → Type Source # Methods from ∷ Name → Rep Name x Source # to ∷ Rep Name x → Name Source #
Show Name Source #
Instance details Defined in PlutusCore.Name.Unique Methods showsPrec ∷ Int → Name → ShowS Source # show ∷ Name → String Source # showList ∷ [Name] → ShowS Source #
NFData Name Source #
Instance details Defined in PlutusCore.Name.Unique Methods rnf ∷ Name → () Source #
Eq Name Source #
Instance details Defined in PlutusCore.Name.Unique Methods (==) ∷ Name → Name → Bool Source # (/=) ∷ Name → Name → Bool Source #
Ord Name Source #
Instance details Defined in PlutusCore.Name.Unique Methods compare ∷ Name → Name → Ordering Source # (<) ∷ Name → Name → Bool Source # (<=) ∷ Name → Name → Bool Source # (>) ∷ Name → Name → Bool Source # (>=) ∷ Name → Name → Bool Source # max ∷ Name → Name → Name Source # min ∷ Name → Name → Name Source #
Hashable Name Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt ∷ Int → Name → Int Source # hash ∷ Name → Int Source #
ToScopedName Name Source #
Instance details Defined in PlutusCore.Check.Scoping Methods toScopedName ∷ Name → ScopedName Source #
HasText Name Source #
Instance details Defined in PlutusCore.Name.Unique Methods theText ∷ Lens' Name Text Source #
Flat Name Source #
Instance details Defined in PlutusCore.FlatInstances Methods encode ∷ Name → Encoding Source # decode ∷ Get Name Source # size ∷ Name → NumBits → NumBits Source #
Pretty Name Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty ∷ Name → Doc ann Source # prettyList ∷ [Name] → Doc ann Source #
HasUnique Name TermUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods unique ∷ Lens' Name TermUnique Source #
HasPrettyConfigName config ⇒ PrettyBy config Name Source #
Instance details Defined in PlutusCore.Name.Unique Methods prettyBy ∷ config → Name → Doc ann Source # prettyListBy ∷ config → [Name] → Doc ann Source #
Lift Name Source #
Instance details Defined in PlutusCore.Name.Unique Methods lift ∷ Quote m ⇒ Name → m Exp Source # liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ Name → Code m Name Source #
name ~ Name ⇒ Reference Name (Term name uni fun) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Scoping Methods referenceVia ∷ (∀ name0. ToScopedName name0 ⇒ name0 → NameAnn) → Name → Term name uni fun NameAnn → Term name uni fun NameAnn Source #
name ~ Name ⇒ Reference Name (Term tyname name uni fun) Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods referenceVia ∷ (∀ name0. ToScopedName name0 ⇒ name0 → NameAnn) → Name → Term tyname name uni fun NameAnn → Term tyname name uni fun NameAnn Source #
Flat (Binder Name) Source #
Instance details Defined in PlutusCore.FlatInstances Methods encode ∷ Binder Name → Encoding Source # decode ∷ Get (Binder Name) Source # size ∷ Binder Name → NumBits → NumBits Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) ⇒ Eq (Term Name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods (==) ∷ Term Name uni fun ann → Term Name uni fun ann → Bool Source # (/=) ∷ Term Name uni fun ann → Term Name uni fun ann → Bool Source #
HashableTermConstraints uni fun ann ⇒ Hashable (Term Name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods hashWithSalt ∷ Int → Term Name uni fun ann → Int Source # hash ∷ Term Name uni fun ann → Int Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) ⇒ Eq (Term TyName Name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Eq Methods (==) ∷ Term TyName Name uni fun ann → Term TyName Name uni fun ann → Bool Source # (/=) ∷ Term TyName Name uni fun ann → Term TyName Name uni fun ann → Bool Source #
HasConstant (Term TyName Name uni fun ()) Source #
Instance details Defined in PlutusCore.Builtin.HasConstant Methods asConstant ∷ Term TyName Name uni fun () → Either BuiltinError (Some (ValueOf (UniOf (Term TyName Name uni fun ())))) Source # fromConstant ∷ Some (ValueOf (UniOf (Term TyName Name uni fun ()))) → Term TyName Name uni fun () Source #
type Rep Name Source #
Instance details Defined in PlutusCore.Name.Unique type Rep Name = D1 ('MetaData "Name" "PlutusCore.Name.Unique" "plutus-core-1.54.0.0-inplace" 'False) (C1 ('MetaCons "Name" 'PrefixI 'True) (S1 ('MetaSel ('Just "_nameText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_nameUnique") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Unique)))

isIdentifierStartingChar ∷ Char → Bool Source #

Allowed characters in the starting position of a non-quoted identifier.

isIdentifierChar ∷ Char → Bool Source #

Allowed characters in a non-starting position of a non-quoted identifier.

isQuotedIdentifierChar ∷ Char → Bool Source #

Allowed characters in a quoted identifier.

isValidUnquotedName ∷ Text → Bool Source #

toPrintedName ∷ Text → Text Source #

Quote the name with backticks if it is not a valid unquoted name. It does not check whether the given name is a valid quoted name.

newtype TyName Source #

We use a newtype to enforce separation between names used for types and those used for terms.

Constructors

TyName
Fields unTyName ∷ Name

Instances

Instances details

Generic TyName Source #
Instance details Defined in PlutusCore.Name.Unique Associated Types type Rep TyName ∷ Type → Type Source # Methods from ∷ TyName → Rep TyName x Source # to ∷ Rep TyName x → TyName Source #
Show TyName Source #
Instance details Defined in PlutusCore.Name.Unique Methods showsPrec ∷ Int → TyName → ShowS Source # show ∷ TyName → String Source # showList ∷ [TyName] → ShowS Source #
NFData TyName Source #
Instance details Defined in PlutusCore.Name.Unique Methods rnf ∷ TyName → () Source #
Eq TyName Source #
Instance details Defined in PlutusCore.Name.Unique Methods (==) ∷ TyName → TyName → Bool Source # (/=) ∷ TyName → TyName → Bool Source #
Ord TyName Source #
Instance details Defined in PlutusCore.Name.Unique Methods compare ∷ TyName → TyName → Ordering Source # (<) ∷ TyName → TyName → Bool Source # (<=) ∷ TyName → TyName → Bool Source # (>) ∷ TyName → TyName → Bool Source # (>=) ∷ TyName → TyName → Bool Source # max ∷ TyName → TyName → TyName Source # min ∷ TyName → TyName → TyName Source #
Hashable TyName Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt ∷ Int → TyName → Int Source # hash ∷ TyName → Int Source #
Wrapped TyName Source #
Instance details Defined in PlutusCore.Name.Unique Associated Types type Unwrapped TyName Methods _Wrapped' ∷ Iso' TyName (Unwrapped TyName)
ToScopedName TyName Source #
Instance details Defined in PlutusCore.Check.Scoping Methods toScopedName ∷ TyName → ScopedName Source #
HasText TyName Source #
Instance details Defined in PlutusCore.Name.Unique Methods theText ∷ Lens' TyName Text Source #
Flat TyName Source #
Instance details Defined in PlutusCore.FlatInstances Methods encode ∷ TyName → Encoding Source # decode ∷ Get TyName Source # size ∷ TyName → NumBits → NumBits Source #
Pretty TyName Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty ∷ TyName → Doc ann Source # prettyList ∷ [TyName] → Doc ann Source #
HasUnique TyName TypeUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods unique ∷ Lens' TyName TypeUnique Source #
HasPrettyConfigName config ⇒ PrettyBy config TyName Source #
Instance details Defined in PlutusCore.Name.Unique Methods prettyBy ∷ config → TyName → Doc ann Source # prettyListBy ∷ config → [TyName] → Doc ann Source #
Lift TyName Source #
Instance details Defined in PlutusCore.Name.Unique Methods lift ∷ Quote m ⇒ TyName → m Exp Source # liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ TyName → Code m TyName Source #
tyname ~ TyName ⇒ Reference TyName (Type tyname uni) Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods referenceVia ∷ (∀ name. ToScopedName name ⇒ name → NameAnn) → TyName → Type tyname uni NameAnn → Type tyname uni NameAnn Source #
tyname ~ TyName ⇒ Reference TyName (Term tyname name uni fun) Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods referenceVia ∷ (∀ name0. ToScopedName name0 ⇒ name0 → NameAnn) → TyName → Term tyname name uni fun NameAnn → Term tyname name uni fun NameAnn Source #
Flat (Binder TyName) Source #
Instance details Defined in PlutusCore.FlatInstances Methods encode ∷ Binder TyName → Encoding Source # decode ∷ Get (Binder TyName) Source # size ∷ Binder TyName → NumBits → NumBits Source #
(GEq uni, Eq ann) ⇒ Eq (Type TyName uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Eq Methods (==) ∷ Type TyName uni ann → Type TyName uni ann → Bool Source # (/=) ∷ Type TyName uni ann → Type TyName uni ann → Bool Source #
TermLike (Term name uni fun) TyName name uni fun Source #
Instance details Defined in UntypedPlutusCore.Core.Type Methods var ∷ ann → name → Term name uni fun ann Source # tyAbs ∷ ann → TyName → Kind ann → Term name uni fun ann → Term name uni fun ann Source # lamAbs ∷ ann → name → Type TyName uni ann → Term name uni fun ann → Term name uni fun ann Source # apply ∷ ann → Term name uni fun ann → Term name uni fun ann → Term name uni fun ann Source # constant ∷ ann → Some (ValueOf uni) → Term name uni fun ann Source # builtin ∷ ann → fun → Term name uni fun ann Source # tyInst ∷ ann → Term name uni fun ann → Type TyName uni ann → Term name uni fun ann Source # unwrap ∷ ann → Term name uni fun ann → Term name uni fun ann Source # iWrap ∷ ann → Type TyName uni ann → Type TyName uni ann → Term name uni fun ann → Term name uni fun ann Source # error ∷ ann → Type TyName uni ann → Term name uni fun ann Source # constr ∷ ann → Type TyName uni ann → Word64 → [Term name uni fun ann] → Term name uni fun ann Source # kase ∷ ann → Type TyName uni ann → Term name uni fun ann → [Term name uni fun ann] → Term name uni fun ann Source # termLet ∷ ann → TermDef (Term name uni fun) TyName name uni ann → Term name uni fun ann → Term name uni fun ann Source # typeLet ∷ ann → TypeDef TyName uni ann → Term name uni fun ann → Term name uni fun ann Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) ⇒ Eq (Term TyName Name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Eq Methods (==) ∷ Term TyName Name uni fun ann → Term TyName Name uni fun ann → Bool Source # (/=) ∷ Term TyName Name uni fun ann → Term TyName Name uni fun ann → Bool Source #
HasConstant (Term TyName Name uni fun ()) Source #
Instance details Defined in PlutusCore.Builtin.HasConstant Methods asConstant ∷ Term TyName Name uni fun () → Either BuiltinError (Some (ValueOf (UniOf (Term TyName Name uni fun ())))) Source # fromConstant ∷ Some (ValueOf (UniOf (Term TyName Name uni fun ()))) → Term TyName Name uni fun () Source #
type Rep TyName Source #
Instance details Defined in PlutusCore.Name.Unique type Rep TyName = D1 ('MetaData "TyName" "PlutusCore.Name.Unique" "plutus-core-1.54.0.0-inplace" 'True) (C1 ('MetaCons "TyName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTyName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))
type Unwrapped TyName Source #
Instance details Defined in PlutusCore.Name.Unique type Unwrapped TyName = GUnwrapped (Rep TyName)

data Named a Source #

Constructors

Named
Fields _namedString ∷ Text _namedValue ∷ a

Instances

Instances details

Foldable Named Source #
Instance details Defined in PlutusCore.Name.Unique Methods fold ∷ Monoid m ⇒ Named m → m Source # foldMap ∷ Monoid m ⇒ (a → m) → Named a → m Source # foldMap' ∷ Monoid m ⇒ (a → m) → Named a → m Source # foldr ∷ (a → b → b) → b → Named a → b Source # foldr' ∷ (a → b → b) → b → Named a → b Source # foldl ∷ (b → a → b) → b → Named a → b Source # foldl' ∷ (b → a → b) → b → Named a → b Source # foldr1 ∷ (a → a → a) → Named a → a Source # foldl1 ∷ (a → a → a) → Named a → a Source # toList ∷ Named a → [a] Source # null ∷ Named a → Bool Source # length ∷ Named a → Int Source # elem ∷ Eq a ⇒ a → Named a → Bool Source # maximum ∷ Ord a ⇒ Named a → a Source # minimum ∷ Ord a ⇒ Named a → a Source # sum ∷ Num a ⇒ Named a → a Source # product ∷ Num a ⇒ Named a → a Source #
Traversable Named Source #
Instance details Defined in PlutusCore.Name.Unique Methods traverse ∷ Applicative f ⇒ (a → f b) → Named a → f (Named b) Source # sequenceA ∷ Applicative f ⇒ Named (f a) → f (Named a) Source # mapM ∷ Monad m ⇒ (a → m b) → Named a → m (Named b) Source # sequence ∷ Monad m ⇒ Named (m a) → m (Named a) Source #
Functor Named Source #
Instance details Defined in PlutusCore.Name.Unique Methods fmap ∷ (a → b) → Named a → Named b Source # (<$) ∷ a → Named b → Named a Source #

newtype Unique Source #

A unique identifier This is normally a positive integral number, except in topUnique where we make use of a negative unique to signify top-level.

Constructors

Unique
Fields unUnique ∷ Int

Instances

Instances details

Enum Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods succ ∷ Unique → Unique Source # pred ∷ Unique → Unique Source # toEnum ∷ Int → Unique Source # fromEnum ∷ Unique → Int Source # enumFrom ∷ Unique → [Unique] Source # enumFromThen ∷ Unique → Unique → [Unique] Source # enumFromTo ∷ Unique → Unique → [Unique] Source # enumFromThenTo ∷ Unique → Unique → Unique → [Unique] Source #
Show Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods showsPrec ∷ Int → Unique → ShowS Source # show ∷ Unique → String Source # showList ∷ [Unique] → ShowS Source #
NFData Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods rnf ∷ Unique → () Source #
Eq Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods (==) ∷ Unique → Unique → Bool Source # (/=) ∷ Unique → Unique → Bool Source #
Ord Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods compare ∷ Unique → Unique → Ordering Source # (<) ∷ Unique → Unique → Bool Source # (<=) ∷ Unique → Unique → Bool Source # (>) ∷ Unique → Unique → Bool Source # (>=) ∷ Unique → Unique → Bool Source # max ∷ Unique → Unique → Unique Source # min ∷ Unique → Unique → Unique Source #
Hashable Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt ∷ Int → Unique → Int Source # hash ∷ Unique → Int Source #
Flat Unique Source #
Instance details Defined in PlutusCore.FlatInstances Methods encode ∷ Unique → Encoding Source # decode ∷ Get Unique Source # size ∷ Unique → NumBits → NumBits Source #
Pretty Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods pretty ∷ Unique → Doc ann Source # prettyList ∷ [Unique] → Doc ann Source #
HasUnique Unique Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods unique ∷ Lens' Unique Unique Source #
Lift Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods lift ∷ Quote m ⇒ Unique → m Exp Source # liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ Unique → Code m Unique Source #

newtype TypeUnique Source #

The unique of a type-level name.

Constructors

TypeUnique
Fields unTypeUnique ∷ Unique

Instances

Instances details

Eq TypeUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods (==) ∷ TypeUnique → TypeUnique → Bool Source # (/=) ∷ TypeUnique → TypeUnique → Bool Source #
Ord TypeUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods compare ∷ TypeUnique → TypeUnique → Ordering Source # (<) ∷ TypeUnique → TypeUnique → Bool Source # (<=) ∷ TypeUnique → TypeUnique → Bool Source # (>) ∷ TypeUnique → TypeUnique → Bool Source # (>=) ∷ TypeUnique → TypeUnique → Bool Source # max ∷ TypeUnique → TypeUnique → TypeUnique Source # min ∷ TypeUnique → TypeUnique → TypeUnique Source #
Hashable TypeUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt ∷ Int → TypeUnique → Int Source # hash ∷ TypeUnique → Int Source #
HasUnique TyName TypeUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods unique ∷ Lens' TyName TypeUnique Source #
HasRenaming ScopedRenaming TypeUnique Source #
Instance details Defined in PlutusCore.Rename.Monad Methods renaming ∷ Lens' ScopedRenaming (Renaming TypeUnique) Source #
HasUnique tyname TypeUnique ⇒ HasUnique (TyVarDecl tyname ann) TypeUnique Source #
Instance details Defined in PlutusCore.Core.Type Methods unique ∷ Lens' (TyVarDecl tyname ann) TypeUnique Source #

newtype TermUnique Source #

The unique of a term-level name.

Constructors

TermUnique
Fields unTermUnique ∷ Unique

Instances

Instances details

Eq TermUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods (==) ∷ TermUnique → TermUnique → Bool Source # (/=) ∷ TermUnique → TermUnique → Bool Source #
Ord TermUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods compare ∷ TermUnique → TermUnique → Ordering Source # (<) ∷ TermUnique → TermUnique → Bool Source # (<=) ∷ TermUnique → TermUnique → Bool Source # (>) ∷ TermUnique → TermUnique → Bool Source # (>=) ∷ TermUnique → TermUnique → Bool Source # max ∷ TermUnique → TermUnique → TermUnique Source # min ∷ TermUnique → TermUnique → TermUnique Source #
Hashable TermUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt ∷ Int → TermUnique → Int Source # hash ∷ TermUnique → Int Source #
HasUnique Name TermUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods unique ∷ Lens' Name TermUnique Source #
HasRenaming ScopedRenaming TermUnique Source #
Instance details Defined in PlutusCore.Rename.Monad Methods renaming ∷ Lens' ScopedRenaming (Renaming TermUnique) Source #
HasUnique name TermUnique ⇒ HasUnique (VarDecl tyname name uni ann) TermUnique Source #
Instance details Defined in PlutusCore.Core.Type Methods unique ∷ Lens' (VarDecl tyname name uni ann) TermUnique Source #

class HasText a where Source #

Types which have a textual name attached to them.

Methods

theText ∷ Lens' a Text Source #

Instances

Instances details

HasText Name Source #
Instance details Defined in PlutusCore.Name.Unique Methods theText ∷ Lens' Name Text Source #
HasText TyName Source #
Instance details Defined in PlutusCore.Name.Unique Methods theText ∷ Lens' TyName Text Source #

class Coercible unique Unique ⇒ HasUnique a unique | a → unique where Source #

Types which have a Unique attached to them, mostly names.

Minimal complete definition

Nothing

Methods

unique ∷ Lens' a unique Source #

default unique ∷ (Wrapped a, HasUnique (Unwrapped a) unique', Coercible unique' unique) ⇒ Lens' a unique Source #

Instances

Instances details

HasUnique Name TermUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods unique ∷ Lens' Name TermUnique Source #
HasUnique TyName TypeUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods unique ∷ Lens' TyName TypeUnique Source #
HasUnique Unique Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods unique ∷ Lens' Unique Unique Source #
HasUnique name unique ⇒ HasUnique (LR name) (LR unique) Source #
Instance details Defined in PlutusCore.Eq Methods unique ∷ Lens' (LR name) (LR unique) Source #
HasUnique name unique ⇒ HasUnique (RL name) (RL unique) Source #
Instance details Defined in PlutusCore.Eq Methods unique ∷ Lens' (RL name) (RL unique) Source #
HasUnique tyname TypeUnique ⇒ HasUnique (TyVarDecl tyname ann) TypeUnique Source #
Instance details Defined in PlutusCore.Core.Type Methods unique ∷ Lens' (TyVarDecl tyname ann) TypeUnique Source #
HasUnique name TermUnique ⇒ HasUnique (VarDecl tyname name uni ann) TermUnique Source #
Instance details Defined in PlutusCore.Core.Type Methods unique ∷ Lens' (VarDecl tyname name uni ann) TermUnique Source #

theUnique ∷ HasUnique name unique ⇒ Lens' name Unique Source #

A lens focused on the Unique of a name.

Functions

mapNameString ∷ (Text → Text) → Name → Name Source #

Apply a function to the string representation of a Name.

mapTyNameString ∷ (Text → Text) → TyName → TyName Source #

Apply a function to the string representation of a TyName.