scair.clair

package scair.clair

Members list

Packages

This package contains the mirrored logic for the front-end of the Clair library.

This package contains the mirrored logic for the front-end of the Clair library.

Attributes

Type members

Classlikes

trait AssemblyFormat[format <: String]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Yield
class Constant
class Constant
class Return
class Load
class Dealloc
class ReduceOp
class YieldOp
Show all

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
transparent trait DerivedAttribute[name <: String, T <: Attribute](using comp: DerivedAttributeCompanion[T]) extends ParametrizedAttribute

Attributes

Supertypes
trait Attribute
class Object
trait Matchable
class Any
Known subtypes
Self type
T

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
abstract class DerivedOperation[name <: String, T <: Operation](using comp: DerivedOperationCompanion[T]) extends Operation

Attributes

Supertypes
trait Operation
trait IRNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Apply
class For
class If
class Load
class Min
class Parallel
class Store
class Yield
class AddF
class AddI
class AndI
class BitCast
class CeilDivSi
class CeilDivUi
class CmpF
class CmpI
class Constant
class DivF
class DivSI
class DivUI
class ExtF
class ExtSI
class ExtUI
class FPToSI
class FPToUI
class FloorDivSI
class IndexCast
class IndexCastUI
class MaxNumF
class MaxSI
class MaxUI
class MaximumF
class MinNumF
class MinSI
class MinUI
class MinimumF
class MulF
class MulI
class NegF
class OrI
class RemF
class RemSI
class RemUI
class SIToFP
class ScalingExtF
class SelectOp
class ShLI
class ShRSI
class ShRUI
class SubF
class SubI
class TruncF
class TruncI
class UIToFP
class XOrI
class ModuleOp
class Mul
class Norm
class Abs
class Add
class Constant
class Create
class Div
class Im
class Mul
class Neg
class Re
class Sub
class Call
class CallIndirect
class Constant
class Func
class Return
class Any
class Attribute
class Attributes
class Dialect
class Operands
class Operation
class Parameters
class Results
class Type
class AggrFn
class Aggregation
class BaseTable
class CountRows
class CrossProduct
class DBAdd
class DBAnd
class DBCast
class DBCompare
class DBConstant
class DBDiv
class DBMul
class DBNot
class DBOr
class DBSub
class GetCol
class InnerJoin
class Limit
class MapOp
class Materialize
class Projection
class QueryReturn
class RelAlgQuery
class Selection
class SetResult
class Sort
class TuplesReturn
class Load
class AbsfOp
class FPowIOp
class Alloc
class Dealloc
class Dim
class Load
class Store
class Condition
class ForOp
class ForallOp
class IfOp
class InParallelOp
class ParallelOp
class ReduceOp
class WhileOp
class YieldOp
Show all
Self type
T

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Self type

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes

Value members

Concrete methods

inline def summonAttributeCompanions[T <: Tuple]: Seq[AttributeCompanion[_]]
def summonAttributeCompanionsMacro[T <: Tuple](using evidence$1: Type[T], Quotes): Expr[Seq[AttributeCompanion[_]]]
def summonAttributeCompanionsMacroRec[T <: Tuple](using evidence$1: Type[T], Quotes): Seq[Expr[AttributeCompanion[_]]]
inline def summonDialect[Attributes <: Tuple, Operations <: Tuple]: Dialect
inline def summonOperationCompanions[T <: Tuple]: Seq[OperationCompanion[_]]
def summonOperationCompanionsMacro[T <: Tuple](using evidence$1: Type[T], Quotes): Expr[Seq[OperationCompanion[_]]]
def summonOperationCompanionsMacroRec[T <: Tuple](using evidence$1: Type[T], Quotes): Seq[Expr[OperationCompanion[_]]]