Type Members

1.  sealed abstract class AccessControlled[+A] extends Product with Serializable
2.  type Argument[+A] = (Name, A)
3.  type ArgumentList[+A] = List[Argument[A]]
4.  sealed abstract class Expr[+K <: ExprKind, +A] extends Product with Serializable
5.  sealed trait ExprKind extends AnyRef
6.  case class FQName(packagePath: Path, modulePath: Path, localName: Name) extends Product with Serializable
7.  sealed abstract class Literal[+A] extends Product with Serializable
8.  type LiteralValue[+A] = Literal[A]
9.  type ModuleDefinition[+A] = Definition[A]
10.  final case class ModuleInfo[+A](path: ModulePath, definition: ModuleDefinition[A]) extends Product with Serializable
11.  type ModulePath = ir.Module.ModulePath
12.  type ModuleSpecification[+A] = Specification[A]
13.  case class MorphirPackage[+A](dependencies: Map[PackagePath, Specification[A]], modules: Map[ModulePath, AccessControlled[Definition[A]]]) extends Product with Serializable
14.  final case class Name extends AnyVal with Product with Serializable
15.  type Package = MorphirPackage.type
16.  type PackageDefinition[+A] = Definition[A]
17.  type Parameter[+A] = (Name, Type[A])
18.  type ParameterList[+A] = List[Parameter[A]]
19.  case class Path(value: List[Name]) extends Product with Serializable
20.  type Pattern[+A] = ir.Value.Pattern[A]
21.  type PatternList[+A] = List[Pattern[A]]
22.  type PatternMatchCase[+A] = (Pattern[A], Value[A])
23.  type PatternMatchCases[+A] = List[PatternMatchCase[A]]
24.  type PrivateAccessControlled[+A] = Private[A]
25.  type PublicAccessControlled[+A] = Public[A]
26.  case class QName(modulePath: Path, localName: Name) extends Product with Serializable
27.  type RecordField[+A] = (Name, Value[A])
28.  type RecordFields[+A] = List[RecordField[A]]
29.  sealed abstract class Type[+A] extends Expr[TypeExprKind, A]
30.  type TypeDefinition[+A] = Definition[A]
31.  sealed abstract class TypeExprKind extends EnumEntry with ExprKind with Product with Serializable
32.  sealed abstract class Value[+A] extends Expr[ValueExprKind, A]
33.  sealed abstract class ValueExprKind extends EnumEntry with ExprKind with Product with Serializable
34.  type ValueExprList[+A] = List[Value[A]]