Type Members

1.  final case class Binding(binder: Option[ExprVarName], typ: Type, bound: Expr) extends Product with Serializable
2.  sealed abstract class BuiltinFunction extends Product with Serializable
3.  sealed abstract class BuiltinType extends Product with Serializable
4.  final case class CPCons(head: ExprVarName, tail: ExprVarName) extends CasePat with Product with Serializable
5.  final case class CPEnum(tycon: TypeConName, constructor: EnumConName) extends CasePat with Product with Serializable
6.  final case class CPPrimCon(pc: PrimCon) extends CasePat with Product with Serializable
7.  final case class CPSome(body: ExprVarName) extends CasePat with Product with Serializable
8.  final case class CPVariant(tycon: TypeConName, variant: VariantConName, binder: ExprVarName) extends CasePat with Product with Serializable
9.  final case class CaseAlt(pattern: CasePat, expr: Expr) extends Product with Serializable
10.  sealed abstract class CasePat extends Product with Serializable
11.  final case class DDataType(serializable: Boolean, params: ImmArray[(TypeVarName, Kind)], cons: DataCons) extends GenDefinition[Nothing] with Product with Serializable
12.  final case class DTypeSyn(params: ImmArray[(TypeVarName, Kind)], typ: Type) extends GenDefinition[Nothing] with Product with Serializable
13.  type DValue = GenDValue[Expr]
14.  type DValueSignature = GenDValue[Unit]
15.  sealed abstract class DataCons extends Product with Serializable
16.  final case class DataEnum(constructors: ImmArray[EnumConName]) extends DataCons with Product with Serializable
17.  final case class DataRecord(fields: ImmArray[(FieldName, Type)]) extends DataCons with Product with Serializable
18.  final case class DataVariant(variants: ImmArray[(VariantConName, Type)]) extends DataCons with Product with Serializable
19.  type DefException = GenDefException[Expr]
20.  type DefExceptionSignature = GenDefException[Unit]
21.  type DefInterface = GenDefInterface[Expr]
22.  type DefInterfaceSignature = GenDefInterface[Unit]
23.  type Definition = GenDefinition[Expr]
24.  type DefinitionSignature = GenDefinition[Unit]
25.  final case class EAbs(binder: (ExprVarName, Type), body: Expr, ref: Option[DefinitionRef]) extends Expr with Product with Serializable

    Expression abstraction.

26.  final case class EApp(fun: Expr, arg: Expr) extends Expr with Product with Serializable

    Expression application.

    Expression application. Function can be an abstraction or a builtin function.

27.  final case class EBuiltin(value: BuiltinFunction) extends ExprAtomic with Product with Serializable

    Reference to a builtin function.

28.  final case class ECallInterface(interfaceId: TypeConName, methodName: MethodName, value: Expr) extends ExprInterface with Product with Serializable

    Invoke an interface method

29.  final case class ECase(scrut: Expr, alts: ImmArray[CaseAlt]) extends Expr with Product with Serializable

    Pattern matching.

30.  final case class EChoiceController(templateId: TypeConName, choice: ChoiceName, contractExpr: Expr, choiceArgExpr: Expr) extends Expr with Product with Serializable

    Extract the controllers from a contract and a choice

31.  final case class EChoiceObserver(templateId: TypeConName, choice: ChoiceName, contractExpr: Expr, choiceArgExpr: Expr) extends Expr with Product with Serializable

    Extract the observers from a contract and a choice

32.  final case class ECons(typ: Type, front: ImmArray[Expr], tail: Expr) extends Expr with Product with Serializable

    List construction.

33.  final case class EEnumCon(tyConName: TypeConName, con: EnumConName) extends ExprAtomic with Product with Serializable

    Variant construction.

34.  final case class EExperimental(name: String, typ: Type) extends Expr with Product with Serializable
35.  final case class EFromAny(ty: Type, body: Expr) extends Expr with Product with Serializable

    Extract the underlying value if it matches the ty *

36.  final case class EFromAnyException(typ: Type, value: Expr) extends Expr with Product with Serializable

    Extract the payload from an AnyException if it matches the given exception type

37.  final case class EFromInterface(interfaceId: TypeConName, templateId: TypeConName, value: Expr) extends ExprInterface with Product with Serializable

    Convert interface back to template payload if possible

38.  final case class EFromRequiredInterface(requiredIfaceId: TypeConName, requiringIfaceId: TypeConName, body: Expr) extends ExprInterface with Product with Serializable

    Downcast from an interface payload to an interface that requires it, if possible.

39.  final case class EInterfaceTemplateTypeRep(ifaceId: TypeConName, body: Expr) extends ExprInterface with Product with Serializable

    Obtain the type representation of a contract's template through an interface.

40.  final case class ELet(binding: Binding, body: Expr) extends Expr with Product with Serializable

    Let binding.

41.  final case class ELocation(loc: Location, expr: Expr) extends Expr with Product with Serializable

    Location annotations

42.  final case class ENil(typ: Type) extends ExprAtomic with Product with Serializable

    Empty list constructor.

43.  final case class ENone(typ: Type) extends ExprAtomic with Product with Serializable
44.  final case class EObserverInterface(ifaceId: TypeConName, body: Expr) extends ExprInterface with Product with Serializable

    Obtain the observers of a contract through an interface.

45.  final case class EPrimCon(value: PrimCon) extends ExprAtomic with Product with Serializable

    Primitive constructor, e.g.

    Primitive constructor, e.g. True, False or Unit.

46.  final case class EPrimLit(value: PrimLit) extends ExprAtomic with Product with Serializable

    Primitive literal.

47.  final case class ERecCon(tycon: TypeConApp, fields: ImmArray[(FieldName, Expr)]) extends Expr with Product with Serializable

    Record construction.

48.  final case class ERecProj(tycon: TypeConApp, field: FieldName, record: Expr) extends Expr with Product with Serializable

    Record projection.

49.  final case class ERecUpd(tycon: TypeConApp, field: FieldName, record: Expr, update: Expr) extends Expr with Product with Serializable

    Non-destructive record update.

50.  final case class EScenario(scenario: Scenario) extends Expr with Product with Serializable

    Scenario expression

51.  final case class ESignatoryInterface(ifaceId: TypeConName, body: Expr) extends ExprInterface with Product with Serializable

    Obtain the signatories of a contract through an interface.

52.  final case class ESome(typ: Type, body: Expr) extends Expr with Product with Serializable
53.  final case class EStructCon(fields: ImmArray[(FieldName, Expr)]) extends Expr with Product with Serializable

    Struct construction.

54.  final case class EStructProj(field: FieldName, struct: Expr) extends Expr with Product with Serializable

    Struct projection.

55.  final case class EStructUpd(field: FieldName, struct: Expr, update: Expr) extends Expr with Product with Serializable

    Struct update.

56.  final case class EThrow(returnType: Type, exceptionType: Type, exception: Expr) extends Expr with Product with Serializable

    Throw an exception

57.  final case class EToAny(ty: Type, body: Expr) extends Expr with Product with Serializable

    Any constructor *

58.  final case class EToAnyException(typ: Type, value: Expr) extends Expr with Product with Serializable

    Construct an AnyException from its message and payload

59.  final case class EToInterface(interfaceId: TypeConName, templateId: TypeConName, value: Expr) extends ExprInterface with Product with Serializable

    Convert template payload to interface it implements

60.  final case class EToRequiredInterface(requiredIfaceId: TypeConName, requiringIfaceId: TypeConName, body: Expr) extends ExprInterface with Product with Serializable

    Upcast from an interface payload to an interface it requires.

61.  final case class ETyAbs(binder: (TypeVarName, Kind), body: Expr) extends Expr with Product with Serializable

    Type abstraction.

62.  final case class ETyApp(expr: Expr, typ: Type) extends Expr with Product with Serializable

    Type application.

63.  final case class ETypeRep(typ: Type) extends Expr with Product with Serializable

    Unique textual representation of template Id *

64.  final case class EUnsafeFromInterface(interfaceId: TypeConName, templateId: TypeConName, contractIdExpr: Expr, ifaceExpr: Expr) extends ExprInterface with Product with Serializable

    Convert interface back to template payload, or raise a WronglyTypedContracg error if not possible

65.  final case class EUnsafeFromRequiredInterface(requiredIfaceId: TypeConName, requiringIfaceId: TypeConName, contractIdExpr: Expr, ifaceExpr: Expr) extends ExprInterface with Product with Serializable

    Downcast from an interface payload to an interface that requires it, or raise a WronglyTypedContract error if not possible.

66.  final case class EUpdate(update: Update) extends Expr with Product with Serializable

    Update expression

67.  final case class EVal(value: ValueRef) extends ExprAtomic with Product with Serializable

    Reference to a value definition.

68.  final case class EVar(value: ExprVarName) extends ExprAtomic with Product with Serializable

    Reference to a variable in current lexical scope.

69.  final case class EVariantCon(tycon: TypeConApp, variant: VariantConName, arg: Expr) extends Expr with Product with Serializable

    Variant construction.

70.  final case class EViewInterface(ifaceId: TypeConName, expr: Expr) extends ExprInterface with Product with Serializable

    Obtain the view of an interface.

71.  type EnumConName = Name
72.  sealed abstract class Expr extends Product with Serializable
73.  sealed abstract class ExprAtomic extends Expr
74.  sealed abstract class ExprInterface extends Expr
75.  type ExprVarName = Name
76.  final case class FeatureFlags() extends Product with Serializable
77.  type FieldName = Name
78.  final case class GenDValue[E](typ: Type, body: E, isTest: Boolean) extends GenDefinition[E] with Product with Serializable
79.  final class GenDValueCompanion[E] extends AnyRef
80.  final case class GenDefException[E](message: E) extends Product with Serializable
81.  final class GenDefExceptionCompanion[E] extends AnyRef
82.  final case class GenDefInterface[E](requires: Set[TypeConName], param: ExprVarName, choices: Map[ChoiceName, GenTemplateChoice[E]], methods: Map[MethodName, InterfaceMethod], coImplements: Map[TypeConName, GenInterfaceCoImplements[E]], view: Type) extends Product with Serializable
83.  final class GenDefInterfaceCompanion[E] extends AnyRef
84.  sealed abstract class GenDefinition[+E] extends Product with Serializable
85.  final case class GenInterfaceCoImplements[E](templateId: TypeConName, body: GenInterfaceInstanceBody[E]) extends Product with Serializable
86.  final class GenInterfaceCoImplementsCompanion[E] extends AnyRef
87.  final case class GenInterfaceInstanceBody[E](methods: Map[MethodName, GenInterfaceInstanceMethod[E]], view: E) extends Product with Serializable
88.  final class GenInterfaceInstanceBodyCompanion[E] extends AnyRef
89.  final case class GenInterfaceInstanceMethod[E](name: MethodName, value: E) extends Product with Serializable
90.  final class GenInterfaceInstanceMethodCompanion[E] extends AnyRef
91.  final case class GenModule[E](name: ModuleName, definitions: Map[DottedName, GenDefinition[E]], templates: Map[DottedName, GenTemplate[E]], exceptions: Map[DottedName, GenDefException[E]], interfaces: Map[DottedName, GenDefInterface[E]], featureFlags: FeatureFlags) extends Product with Serializable
92.  final class GenModuleCompanion[E] extends AnyRef
93.  final case class GenPackage[E](modules: Map[ModuleName, GenModule[E]], directDeps: Set[PackageId], languageVersion: LanguageVersion, metadata: Option[PackageMetadata]) extends Product with Serializable
94.  final class GenPackageCompanion[E] extends AnyRef
95.  final case class GenTemplate[E](param: ExprVarName, precond: E, signatories: E, agreementText: E, choices: Map[ChoiceName, GenTemplateChoice[E]], observers: E, key: Option[GenTemplateKey[E]], implements: VectorMap[TypeConName, GenTemplateImplements[E]]) extends Product with Serializable
96.  final case class GenTemplateChoice[E](name: ChoiceName, consuming: Boolean, controllers: E, choiceObservers: Option[E], selfBinder: ExprVarName, argBinder: (ExprVarName, Type), returnType: Type, update: E) extends Product with Serializable
97.  final class GenTemplateChoiceCompanion[E] extends AnyRef
98.  final class GenTemplateCompanion[E] extends AnyRef
99.  final case class GenTemplateImplements[E](interfaceId: TypeConName, body: GenInterfaceInstanceBody[E]) extends Product with Serializable
100.  final class GenTemplateImplementsCompanion[E] extends AnyRef
101.  final case class GenTemplateKey[E](typ: Type, body: E, maintainers: E) extends Product with Serializable
102.  final class GenTemplateKeyCompanion[E] extends AnyRef
103.  type InterfaceCoImplements = GenInterfaceCoImplements[Expr]
104.  type InterfaceCoImplementsSignature = GenInterfaceCoImplements[Unit]
105.  type InterfaceInstanceBody = GenInterfaceInstanceBody[Expr]
106.  type InterfaceInstanceBodySignature = GenInterfaceInstanceBody[Unit]
107.  type InterfaceInstanceMethod = GenInterfaceInstanceMethod[Expr]
108.  type InterfaceInstanceMethodSignature = GenInterfaceInstanceMethod[Unit]
109.  final case class InterfaceMethod(name: MethodName, returnType: Type) extends Product with Serializable
110.  final case class KArrow(param: Kind, result: Kind) extends Kind with Product with Serializable

     Kind of higher kinded type.

111.  sealed abstract class Kind extends Product with Serializable
112.  type Module = GenModule[Expr]
113.  type ModuleSignature = GenModule[Unit]
114.  final case class PLDate(value: Date) extends PrimLit with Product with Serializable
115.  final case class PLInt64(value: Long) extends PrimLit with Product with Serializable
116.  final case class PLNumeric(value: Numeric) extends PrimLit with Product with Serializable
117.  final case class PLRoundingMode(value: RoundingMode) extends PrimLit with Product with Serializable
118.  final case class PLText(value: String) extends PrimLit with Product with Serializable
119.  final case class PLTimestamp(value: Timestamp) extends PrimLit with Product with Serializable
120.  type Package = GenPackage[Expr]
121.  final case class PackageError(error: String) extends RuntimeException with Product with Serializable
122.  final case class PackageMetadata(name: PackageName, version: PackageVersion) extends Product with Serializable
123.  type PackageSignature = GenPackage[Unit]
124.  sealed abstract class PrimCon extends Product with Serializable
125.  sealed abstract class PrimLit extends Equals with Product with Serializable
126.  final case class RetrieveByKey(templateId: TypeConName, key: Expr) extends Product with Serializable
127.  sealed abstract class Scenario extends Product with Serializable
128.  final case class ScenarioBlock(bindings: ImmArray[Binding], body: Expr) extends Scenario with Product with Serializable
129.  final case class ScenarioCommit(partyE: Expr, updateE: Expr, retType: Type) extends Scenario with Product with Serializable
130.  final case class ScenarioEmbedExpr(typ: Type, body: Expr) extends Scenario with Product with Serializable
131.  final case class ScenarioGetParty(nameE: Expr) extends Scenario with Product with Serializable
132.  final case class ScenarioMustFailAt(partyE: Expr, updateE: Expr, retType: Type) extends Scenario with Product with Serializable
133.  final case class ScenarioPass(relTimeE: Expr) extends Scenario with Product with Serializable
134.  final case class ScenarioPure(t: Type, expr: Expr) extends Scenario with Product with Serializable
135.  final case class TApp(tyfun: Type, arg: Type) extends Type with Product with Serializable

     Application of a type function to a type.

136.  final case class TBuiltin(bt: BuiltinType) extends Type with Product with Serializable

     Reference to builtin type.

137.  final case class TForall(binder: (TypeVarName, Kind), body: Type) extends Type with Product with Serializable

     Universally quantified type.

138.  final case class TNat(n: Scale) extends Type with Product with Serializable

     nat type

139.  final case class TStruct(fields: Struct[Type]) extends Type with Product with Serializable

     Structs

140.  final case class TSynApp(tysyn: TypeSynName, args: ImmArray[Type]) extends Type with Product with Serializable

     Fully applied type synonym.

141.  final case class TTyCon(tycon: TypeConName) extends Type with Product with Serializable

     Reference to a type constructor.

142.  final case class TVar(name: TypeVarName) extends Type with Product with Serializable

     Reference to a type variable.

143.  type Template = GenTemplate[Expr]
144.  type TemplateChoice = GenTemplateChoice[Expr]
145.  type TemplateChoiceSignature = GenTemplateChoice[Unit]
146.  type TemplateImplements = GenTemplateImplements[Expr]
147.  type TemplateImplementsSignature = GenTemplateImplements[Unit]
148.  type TemplateKey = GenTemplateKey[Expr]
149.  type TemplateKeySignature = GenTemplateKey[Unit]
150.  type TemplateSignature = GenTemplate[Unit]
151.  sealed abstract class Type extends Product with Serializable
152.  final case class TypeConApp(tycon: TypeConName, args: ImmArray[Type]) extends Product with Serializable

     Fully applied type constructor.

153.  type TypeVarName = Name
154.  sealed abstract class Update extends Product with Serializable
155.  final case class UpdateBlock(bindings: ImmArray[Binding], body: Expr) extends Update with Product with Serializable
156.  final case class UpdateCreate(templateId: TypeConName, arg: Expr) extends Update with Product with Serializable
157.  final case class UpdateCreateInterface(interfaceId: TypeConName, arg: Expr) extends Update with Product with Serializable
158.  final case class UpdateEmbedExpr(typ: Type, body: Expr) extends Update with Product with Serializable
159.  final case class UpdateExercise(templateId: TypeConName, choice: ChoiceName, cidE: Expr, argE: Expr) extends Update with Product with Serializable
160.  final case class UpdateExerciseByKey(templateId: TypeConName, choice: ChoiceName, keyE: Expr, argE: Expr) extends Update with Product with Serializable
161.  final case class UpdateExerciseInterface(interfaceId: TypeConName, choice: ChoiceName, cidE: Expr, argE: Expr, guardE: Option[Expr]) extends Update with Product with Serializable
162.  final case class UpdateFetchByKey(rbk: RetrieveByKey) extends Update with Product with Serializable
163.  final case class UpdateFetchInterface(interfaceId: TypeConName, contractId: Expr) extends Update with Product with Serializable
164.  final case class UpdateFetchTemplate(templateId: TypeConName, contractId: Expr) extends Update with Product with Serializable
165.  final case class UpdateLookupByKey(rbk: RetrieveByKey) extends Update with Product with Serializable
166.  final case class UpdatePure(t: Type, expr: Expr) extends Update with Product with Serializable
167.  final case class UpdateTryCatch(typ: Type, body: Expr, binder: ExprVarName, handler: Expr) extends Update with Product with Serializable
168.  type VariantConName = Name