scalus
API
Generated with
scalus/scalus/scalus.sir/EtaReduce

EtaReduce

scalus.sir.EtaReduce
object EtaReduce

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
EtaReduce.type

Members list

Value members

Concrete methods

def etaReduce(term: Term): Term
def freeNames(term: Term, env: List[String]): Set[String]
def notError(term: Term): Boolean
Generated with