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 ModulePath = ir.Module.ModulePath
10.  final case class Name extends AnyVal with Product with Serializable
11.  type Package = MorphirPackage.type
12.  type Parameter[+A] = (Name, Type[A])
13.  type ParameterList[+A] = List[Parameter[A]]
14.  case class Path(value: List[Name]) extends Product with Serializable
15.  type Pattern[+A] = ir.Value.Pattern[A]
16.  type PatternList[+A] = List[Pattern[A]]
17.  type PatternMatchCase[+A] = (Pattern[A], Value[A])
18.  type PatternMatchCases[+A] = List[PatternMatchCase[A]]
19.  type PrivateAccessControlled[+A] = Private[A]
20.  type PublicAccessControlled[+A] = Public[A]
21.  case class QName(modulePath: Path, localName: Name) extends Product with Serializable
22.  type RecordField[+A] = (Name, Value[A])
23.  type RecordFields[+A] = List[RecordField[A]]
24.  sealed abstract class Type[+A] extends Expr[TypeExprKind, A]
25.  sealed abstract class TypeExprKind extends EnumEntry with ExprKind with Product with Serializable
26.  sealed abstract class Value[+A] extends Expr[ValueExprKind, A]
27.  sealed abstract class ValueExprKind extends EnumEntry with ExprKind with Product with Serializable
28.  type ValueExprList[+A] = List[Value[A]]