docs
API
Generated with
docs/scalus/scalus.sir/RemoveRecursivity

RemoveRecursivity

scalus.sir.RemoveRecursivity
object RemoveRecursivity

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply(sir: SIR): SIR

Makes a let expression non-recursive if its bindings are non-recursive

Makes a let expression non-recursive if its bindings are non-recursive

Attributes

def isRecursive(name: String, term: SIR, env: List[String]): Boolean
def removeRecursivity(sir: SIR): SIR

Makes a let expression non-recursive if its bindings are non-recursive

Makes a let expression non-recursive if its bindings are non-recursive

Attributes

def removeRecursivityInExpr(sir: AnnotatedSIR): AnnotatedSIR

Makes a let expression non-recursive if its bindings are non-recursive

Makes a let expression non-recursive if its bindings are non-recursive

Attributes

Generated with