Moduleplutus-core-1.70.0.0

PlutusCore.Subst

Synopsis

value ftvTerm
value ftvTy
value ftvTyCtx
value fvTerm
value programMapNames
value substConstant
value substConstantA
value substTyVar
value substTyVarA
value substVar
value substVarA
value termMapNames
value termSubstClosedTerm
value termSubstClosedType
value termSubstConstants
value termSubstConstantsM
value termSubstNames
value termSubstNamesM
value termSubstTyNames
value termSubstTyNamesM
value tvTerm
value tvTy
value typeMapNames
value typeSubstClosedType
value typeSubstTyNames
value typeSubstTyNamesM
value vTerm

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)