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

SirDSL

scalus.sir.SirDSL
object SirDSL

Attributes

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

Members list

Type members

Classlikes

object given_Conversion_Constant_SIR extends Conversion[Constant, SIR]

Attributes

Supertypes
class Conversion[Constant, SIR]
trait Constant => SIR
class Object
trait Matchable
class Any
Self type
object given_Conversion_DefaultFun_SIR extends Conversion[DefaultFun, SIR]

Attributes

Supertypes
class Conversion[DefaultFun, SIR]
trait DefaultFun => SIR
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def applyToList(app: SIR): (SIR, List[SIR])
def lam(names: String*)(term: SIR): SIR
def lamAbsToList(lam: SIR): (List[String], SIR)
def λ(names: String*)(term: SIR): SIR

Givens

Givens

given constantAsTerm[A : LiftValue]: constantAsTerm[A]

Extensions

Extensions

extension (term: SIR)
infix def $(rhs: SIR): SIR
Generated with