scalus.sir
Members list
Type members
Classlikes
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- class
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
- Self type
-
AnnotationsDecl.type
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Provides optimization functionality for boolean expressions in SIR. Applies standard boolean algebra transformations to reduce the number of nodes and simplify expressions.
Provides optimization functionality for boolean expressions in SIR. Applies standard boolean algebra transformations to reduce the number of nodes and simplify expressions.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
BooleanOptimizer.type
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Pretty printers.
Pretty printers.
- Use
pretty
to pretty print to a org.typelevel.paiges.Doc. - Use
prettyXTerm
to pretty print to a org.typelevel.paiges.Doc with syntax highlighting for XTerm.
For example:
PrettyPrinter.prettyXTerm(sir).render(80)
// renders a single line if possible
PrettyPrinter.pretty(sir).flatten.render(120)
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
PrettyPrinter.type
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
trait Enumtrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
RemoveRecursivity.type
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
SIRBuiltins.type
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
SIRChecker.type
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object given_SIRHashCodeInRec_FunShow all
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
SIRHashCodeInRec.type
SIR Position - position in Scala source code.
SIR Position - position in Scala source code.
Value parameters
- file
-
-- fiel of position. Empty file ("") means that position is unknown.
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- class
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
SIRPosition.type
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class CaseClassobject FreeUnificatorclass Funtrait Primitiveobject BLS12_381_G1_Elementobject BLS12_381_G2_Elementobject BLS12_381_MlResultobject Booleanobject ByteStringobject Dataobject Integerobject Stringobject Unitclass SumCaseClassclass TypeLambdaclass TypeNonCaseModuleobject TypeNothingclass TypeProxyclass TypeVarShow all
Attributes
- Supertypes
- Self type
-
SIRTypeToExpr.type
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
SIRUnify.type
Attributes
- Companion
- trait
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
SIRVarStorage.type
Lowering from Scalus Intermediate Representation SIR to UPLC Term.
Lowering from Scalus Intermediate Representation SIR to UPLC Term.
Value parameters
- generateErrorTraces
-
whether to generate error traces
- sir
-
the Scalus Intermediate Representation to lower
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
Lowering from Scalus Intermediate Representation SIR to UPLC Term.
Lowering from Scalus Intermediate Representation SIR to UPLC Term.
Value parameters
- generateErrorTraces
-
whether to generate error traces
- sir
-
the Scalus Intermediate Representation to lower
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
Lowering from Scalus Intermediate Representation SIR to UPLC Term.
Lowering from Scalus Intermediate Representation SIR to UPLC Term.
We use UPLC version 1.1.0 and generate Sums of Products (SoP) constructors case
and constr
to represent data types. Also we optimize newtype
kind of constructors to be represented as just values.
Value parameters
- generateErrorTraces
-
whether to generate error traces
- sir
-
the Scalus Intermediate Representation to lower
Attributes
- Example
-
case class Wrapper(a: BigInt) val x = Wrapper(1) // lowers to just (const integer 1)
- Supertypes
-
class Objecttrait Matchableclass Any
Attributes
- Supertypes
-
trait ToExpr[T]class Objecttrait Matchableclass Any
- Known subtypes
-
object SIRToExprobject SIRTypeToExpr
Called from SIRConverter via reflection.
Note, that this hashconsedflat should not be resolved as given. It is used only as parameter to ToExprHS. Given HashConsedFlat[(something other then Module)] is a no-no.
Note, that this hashconsedflat should not be resolved as given. It is used only as parameter to ToExprHS. Given HashConsedFlat[(something other then Module)] is a no-no.
Attributes
- Supertypes
- Self type
-
ToExprHSSIRTypeFlat.type
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all