object Module
Generated based on IR.Module
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Module
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- final case class Definition[Ta, Va](types: Dict[Name, AccessControlled[Documented[Type.Definition[Ta]]]], values: Dict[Name, AccessControlled[Documented[Value.Definition[Ta, Va]]]], doc: Maybe[String]) extends Product with Serializable
- type ModuleName = List[Name]
- type QualifiedModuleName = (Path, Path)
- final case class Specification[Ta](types: Dict[Name, Documented[Type.Specification[Ta]]], values: Dict[Name, Documented[Value.Specification[Ta]]], doc: Maybe[String]) extends Product with Serializable
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def collectReferences[Ta, Va](moduleDef: Definition[Ta, Va]): Set[FQName]
- def collectTypeReferences[Ta, Va](moduleDef: Definition[Ta, Va]): Set[FQName]
- def collectValueReferences[Ta, Va](moduleDef: Definition[Ta, Va]): Set[FQName]
- def definitionToSpecification[Ta, Va](_def: Definition[Ta, Va]): Specification[Ta]
- def definitionToSpecificationWithPrivate[Ta, Va](_def: Definition[Ta, Va]): Specification[Ta]
- def dependsOnModules[Ta, Va](moduleDef: Definition[Ta, Va]): Set[QualifiedModuleName]
- def emptyDefinition[Ta, Va]: Definition[Ta, Va]
- def emptySpecification[Ta]: Specification[Ta]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def eraseDefinitionAttributes[Ta, Va](_def: Definition[Ta, Va]): Definition[Unit, Unit]
- def eraseSpecificationAttributes[Ta](spec: Specification[Ta]): Specification[Unit]
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def lookupTypeSpecification[Ta](localName: Name)(moduleSpec: Specification[Ta]): Maybe[Type.Specification[Ta]]
- def lookupValueDefinition[Ta, Va](localName: Name)(moduleDef: Definition[Ta, Va]): Maybe[Value.Definition[Ta, Va]]
- def lookupValueSpecification[Ta](localName: Name)(moduleSpec: Specification[Ta]): Maybe[Value.Specification[Ta]]
- def mapDefinitionAttributes[Ta, Tb, Va, Vb](tf: (Ta) => Tb)(vf: (Va) => Vb)(_def: Definition[Ta, Va]): Definition[Tb, Vb]
- def mapSpecificationAttributes[Ta, Tb](tf: (Ta) => Tb)(spec: Specification[Ta]): Specification[Tb]
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()