scalus.uplc.transform.Inliner
Attributes
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Self type
-
Members list
Checks if a term is safe to inline multiple times
Checks if a term is safe to inline multiple times
Attributes
Main inlining function
Uses TermAnalysis.isPure to determine if unused arguments can be safely eliminated during dead code elimination.
Attributes
Implements capture-avoiding substitution [x -> s]t
Implements capture-avoiding substitution [x -> s]t
Attributes