Moduleplutus-core-1.70.0.0

PlutusCore.Subst

27 values

Packageplutus-core-1.70.0.0
Exports27
LicenceApache-2.0

valueftvTerm :: HasUnique tyname unique => Traversal' (Term tyname name uni fun ann) tyname

valueftvTy :: HasUnique tyname unique => Traversal' (Type tyname uni ann) tyname

valueftvTyCtx

:: HasUnique tyname unique
=> UniqueSet unique
-> Traversal' (Type tyname uni ann) tyname

valuefvTerm :: HasUnique name unique => Traversal' (Term tyname name uni fun ann) name

valueprogramMapNames

:: tyname -> tyname'
-> name -> name'
-> Program tyname name uni fun ann
-> Program tyname' name' uni fun ann

valuesubstConstant

:: ann -> Some (ValueOf uni) -> Maybe (Term tyname name uni fun ann)
-> Term tyname name uni fun ann
-> Term tyname name uni fun ann

valuesubstConstantA

:: Applicative f
=> ann -> Some (ValueOf uni) -> f (Maybe (Term tyname name uni fun ann))
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuesubstTyVar

:: tyname -> Maybe (Type tyname uni ann)
-> Type tyname uni ann
-> Type tyname uni ann

valuesubstTyVarA

:: Applicative f
=> tyname -> f (Maybe (Type tyname uni ann))
-> Type tyname uni ann
-> f (Type tyname uni ann)

valuesubstVar

:: name -> Maybe (Term tyname name uni fun ann)
-> Term tyname name uni fun ann
-> Term tyname name uni fun ann

valuesubstVarA

:: Applicative f
=> name -> f (Maybe (Term tyname name uni fun ann))
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermMapNames

:: tyname -> tyname'
-> name -> name'
-> Term tyname name uni fun ann
-> Term tyname' name' uni fun ann

valuetermSubstClosedTerm

:: Eq name
=> name
-> Term tyname name uni fun a
-> Term tyname name uni fun a
-> Term tyname name uni fun a

valuetermSubstClosedType

:: Eq tyname
=> tyname
-> Type tyname uni a
-> Term tyname name uni fun a
-> Term tyname name uni fun a

valuetermSubstConstants

:: ann -> Some (ValueOf uni) -> Maybe (Term tyname name uni fun ann)
-> Term tyname name uni fun ann
-> Term tyname name uni fun ann

valuetermSubstConstantsM

:: Monad m
=> ann -> Some (ValueOf uni) -> m (Maybe (Term tyname name uni fun ann))
-> Term tyname name uni fun ann
-> m (Term tyname name uni fun ann)

valuetermSubstNames

:: name -> Maybe (Term tyname name uni fun ann)
-> Term tyname name uni fun ann
-> Term tyname name uni fun ann

valuetermSubstNamesM

:: Monad m
=> name -> m (Maybe (Term tyname name uni fun ann))
-> Term tyname name uni fun ann
-> m (Term tyname name uni fun ann)

valuetermSubstTyNames

:: tyname -> Maybe (Type tyname uni ann)
-> Term tyname name uni fun ann
-> Term tyname name uni fun ann

valuetermSubstTyNamesM

:: Monad m
=> tyname -> m (Maybe (Type tyname uni ann))
-> Term tyname name uni fun ann
-> m (Term tyname name uni fun ann)

valuetvTerm

:: (Contravariant f, Applicative f)
=> tyname -> f tyname
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetvTy

:: (Contravariant f, Applicative f)
=> tyname -> f tyname
-> Type tyname uni ann
-> f (Type tyname uni ann)

valuetypeMapNames

:: tyname -> tyname'
-> Type tyname uni ann
-> Type tyname' uni ann

valuetypeSubstClosedType

:: Eq tyname
=> tyname
-> Type tyname uni a
-> Type tyname uni a
-> Type tyname uni a

valuetypeSubstTyNames

:: tyname -> Maybe (Type tyname uni ann)
-> Type tyname uni ann
-> Type tyname uni ann

valuetypeSubstTyNamesM

:: Monad m
=> tyname -> m (Maybe (Type tyname uni ann))
-> Type tyname uni ann
-> m (Type tyname uni ann)

valuevTerm

:: (Contravariant f, Applicative f)
=> name -> f name
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)