Module element

daml_lf

Module element 

Source
Expand description

Representation of Daml types.

Structs§

DamlAbs
A Daml expression variable abstraction.
DamlAbsoluteTyCon
A Daml absolute type constructor.
DamlApp
A Daml expression function application.
DamlArchive
A Daml Archive.
DamlArrow
A Daml function.
DamlBinding
A Daml expression binding.
DamlBlock
A Daml expression block.
DamlCase
A Daml expression case.
DamlCaseAlt
A Daml expression case alternative.
DamlCaseAltCons
A Daml expression case list constructor.
DamlCaseAltEnum
A Daml expression case enum.
DamlCaseAltOptionalSome
A Daml expression case optional which is present.
DamlCaseAltVariant
A Daml expression case variant.
DamlChoice
A Daml template choice.
DamlCommit
A Daml expression scenario commit action.
DamlCons
A Daml expression list constructor.
DamlCreate
A Daml expression update effect create action.
DamlDefKey
A Daml template key definition.
DamlDefTypeSyn
A Daml Type synonym definition.
DamlDefValue
A Daml value.
DamlEnum
A Daml enum.
DamlEnumCon
A Daml expression enum constructor.
DamlExercise
A Daml expression update effect exercise action.
DamlExerciseByKey
A Daml expression update effect exercise-by-key action.
DamlFeatureFlags
Daml Feature flags.
DamlFetch
A Daml expression update effect fetch action.
DamlField
A Daml field.
DamlFieldWithExpr
A Daml expression field with expression.
DamlForall
Universal qualifier.
DamlFromAny
A Daml expression from any conversion.
DamlFromAnyException
A Daml expression from any exception conversion.
DamlLocalTyCon
A Daml local type constructor.
DamlLocalValueName
A Daml local value name.
DamlModule
A Daml module.
DamlNonLocalTyCon
A Daml non-local type constructor.
DamlNonLocalValueName
A Daml non-local value name.
DamlOptionalSome
A Daml expression optional which is present.
DamlPackage
A Daml package.
DamlPure
A Daml expression update pure.
DamlRecCon
A Daml expression record constructor.
DamlRecProj
A Daml expression record projection.
DamlRecUpd
A Daml expression record update.
DamlRecord
A Daml record.
DamlRetrieveByKey
A Daml expression update effect retrieve-by-key action.
DamlScenarioEmbedExpr
A Daml expression embedded scenario expression.
DamlStruct
A Daml struct.
DamlStructCon
A Daml expression struct constructor.
DamlStructProj
A Daml expression struct projection.
DamlStructUpd
A Daml expression struct update.
DamlSyn
A Daml type synonym.
DamlTemplate
A Daml template.
DamlThrow
A Daml expression throw exception.
DamlToAny
A Daml expression to any conversion.
DamlToAnyException
A Daml expression to any exception conversion.
DamlTryCatch
A Daml expression update effect try/catch action.
DamlTyAbs
A Daml expression type abstraction.
DamlTyApp
A Daml expression type application.
DamlTyCon
A Daml type constructor.
DamlTypeVarWithKind
A Daml type variable.
DamlUpdateEmbedExpr
A Daml expression embedded update effect action.
DamlVar
A Daml type variable.
DamlVarWithType
A Daml expression variable with type.
DamlVariant
A Daml variant.
DamlVariantCon
A Daml expression variant constructor.

Enums§

DamlBuiltinFunction
A Daml expression builtin function.
DamlCaseAltSum
A Daml expression case sum type.
DamlData
A Daml Data item (template, record, variant or enum).
DamlExpr
A Daml expression.
DamlKind
A Daml type kind.
DamlPrimCon
A Daml expression primitive constructor.
DamlPrimLit
A Daml expression primitive literal.
DamlScenario
A Daml expression scenario effect.
DamlTyConName
A Daml type constructor.
DamlType
A Daml type.
DamlUpdate
A Daml expression update effect.
DamlValueName
A Daml value name.
RoundingMode
A Daml expression round mode.

Traits§

DamlElementVisitor
A Daml element visitor.
DamlVisitableElement
A Daml element that can be visited by a DamlElementVisitor.

Type Aliases§

DamlTypeSynName
DamlTypeSynName is aliases from DamlTypeConName as they are currently identical.