docs
API
Generated with
docs/scalus/scalus.flat/FlatInstantces

FlatInstantces

scalus.flat.FlatInstantces
object FlatInstantces

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Keywords
  • no keywords
  • final

Type members

Classlikes

object AnnotationsDeclFlat extends HashConsedReprFlat[AnnotationsDecl, HashConsedRef[AnnotationsDecl]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object BindingFlat extends HashConsedReprFlat[Binding, HashConsedRef[Binding]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object ConstrDeclFlat extends HashConsedMutRefReprFlat[ConstrDecl, HashConsedRef[ConstrDecl]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object DataDeclFlat extends HashConsedMutRefReprFlat[DataDecl, HashConsedRef[DataDecl]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object ModuleHashSetReprFlat extends HashConsedReprFlat[Module, ModuleSerializedRef]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
class ModuleSerializedRef(val version: (Int, Int), val defs: HashConsedRef[List[Binding]]) extends HashConsedRef[Module]

Attributes

Supertypes
class Object
trait Matchable
class Any
object SIRCaseHashConsedFlat extends HashConsedReprFlat[Case, HashConsedRef[Case]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SIRConstHashConsedFlat extends HashConsedReprFlat[Const, HashConsedRef[Const]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SIRDeclHashConsedFlat extends HashConsedReprFlat[Decl, HashConsedRef[Decl]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SIRHashConsedFlat extends HashConsedReprFlat[SIR, HashConsedRef[SIR]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SIRLetHashConsedFlat extends HashConsedReprFlat[Let, HashConsedRef[Let]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SIRPositionFlat extends Flat[SIRPosition]

Attributes

Supertypes
trait Flat[SIRPosition]
class Object
trait Matchable
class Any
Self type
object SIRTypeCaseClassFlat extends HashConsedMutRefReprFlat[SIRType, SIRTypeHashConsedRef]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SIRTypeHashConsedFlat extends HashConsedReprFlat[SIRType, SIRTypeHashConsedRef]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
class SIRTypeHashConsedRef(opComplete: State => Boolean, opFinValue: (State, Int, HSRIdentityHashMap) => SIRType, initResult: SIRType | Null) extends HashConsedRef[SIRType]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object SIRTypeHashConsedRef

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
object SIRTypeNonCaseModuleFlat extends HashConsedMutRefReprFlat[SIRType, SIRTypeHashConsedRef]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SIRTypeSumCaseClassFlat extends HashConsedMutRefReprFlat[SIRType, SIRTypeHashConsedRef]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SIRTypeTypeProxyFlat extends HashConsedReprFlat[SIRType, SIRTypeHashConsedRef]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SIRVarHashConsedFlat extends HashConsedReprFlat[Var, HashConsedRef[Var]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object TypeBindingFlat extends HashConsedReprFlat[TypeBinding, HashConsedRef[TypeBinding]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object given_Flat_Data extends Flat[Data]

Attributes

Supertypes
trait Flat[Data]
class Object
trait Matchable
class Any
Self type
object given_Flat_Option extends Flat[Option[String]]

Attributes

Supertypes
trait Flat[Option[String]]
class Object
trait Matchable
class Any
Self type
object given_Flat_Recursivity extends Flat[Recursivity]

Attributes

Supertypes
trait Flat[Recursivity]
class Object
trait Matchable
class Any
Self type
object given_Flat_SIRVarStorage extends Flat[SIRVarStorage]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object given_HashConsedFlat_Module extends HashConsedFlat[Module]

Attributes

Supertypes
trait Flat[Module]
class Object
trait Matchable
class Any
Self type
object given_HashConsedFlat_TypeVar extends HashConsedFlat[TypeVar]

Attributes

Supertypes
trait Flat[TypeVar]
class Object
trait Matchable
class Any
Self type

Value members

Concrete fields

final val hashConsTagBinging: Tag
final val hashConsTagCase: Tag
final val hashConsTagConstr: Tag
final val hashConsTagDecl: Tag
final val hashConsTagLet: Tag
final val hashConsTagSIR: Tag
final val hashConsTagSIRType: Tag

Givens

Givens

Generated with