daml_lf_1_14

package
v7.8.3 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Aug 29, 2022 License: Apache-2.0 Imports: 4 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var (
	HashFunction_name = map[int32]string{
		0: "SHA256",
	}
	HashFunction_value = map[string]int32{
		"SHA256": 0,
	}
)

Enum value maps for HashFunction.

View Source 
var (
	PrimType_name = map[int32]string{
		0:  "UNIT",
		1:  "BOOL",
		2:  "INT64",
		3:  "DECIMAL",
		5:  "TEXT",
		6:  "TIMESTAMP",
		8:  "PARTY",
		9:  "LIST",
		10: "UPDATE",
		11: "SCENARIO",
		12: "DATE",
		13: "CONTRACT_ID",
		14: "OPTIONAL",
		15: "ARROW",
		16: "TEXTMAP",
		17: "NUMERIC",
		18: "ANY",
		19: "TYPE_REP",
		20: "GENMAP",
		21: "BIGNUMERIC",
		22: "ROUNDING_MODE",
		23: "ANY_EXCEPTION",
	}
	PrimType_value = map[string]int32{
		"UNIT":          0,
		"BOOL":          1,
		"INT64":         2,
		"DECIMAL":       3,
		"TEXT":          5,
		"TIMESTAMP":     6,
		"PARTY":         8,
		"LIST":          9,
		"UPDATE":        10,
		"SCENARIO":      11,
		"DATE":          12,
		"CONTRACT_ID":   13,
		"OPTIONAL":      14,
		"ARROW":         15,
		"TEXTMAP":       16,
		"NUMERIC":       17,
		"ANY":           18,
		"TYPE_REP":      19,
		"GENMAP":        20,
		"BIGNUMERIC":    21,
		"ROUNDING_MODE": 22,
		"ANY_EXCEPTION": 23,
	}
)

Enum value maps for PrimType.

View Source 
var (
	PrimCon_name = map[int32]string{
		0: "CON_UNIT",
		1: "CON_FALSE",
		2: "CON_TRUE",
	}
	PrimCon_value = map[string]int32{
		"CON_UNIT":  0,
		"CON_FALSE": 1,
		"CON_TRUE":  2,
	}
)

Enum value maps for PrimCon.

View Source 
var (
	BuiltinFunction_name = map[int32]string{}/* 118 elements not displayed */

	BuiltinFunction_value = map[string]int32{}/* 118 elements not displayed */

)

Enum value maps for BuiltinFunction.

View Source 
var (
	PrimLit_RoundingMode_name = map[int32]string{
		0: "UP",
		1: "DOWN",
		2: "CEILING",
		3: "FLOOR",
		4: "HALF_UP",
		5: "HALF_DOWN",
		6: "HALF_EVEN",
		7: "UNNECESSARY",
	}
	PrimLit_RoundingMode_value = map[string]int32{
		"UP":          0,
		"DOWN":        1,
		"CEILING":     2,
		"FLOOR":       3,
		"HALF_UP":     4,
		"HALF_DOWN":   5,
		"HALF_EVEN":   6,
		"UNNECESSARY": 7,
	}
)

Enum value maps for PrimLit_RoundingMode.

View Source 
var File_com_daml_daml_lf_1_14_daml_lf_1_proto protoreflect.FileDescriptor
View Source 
var File_com_daml_daml_lf_1_14_daml_lf_proto protoreflect.FileDescriptor

Functions

This section is empty.

Types

type Archive 

type Archive struct {
	HashFunction HashFunction `` /* 126-byte string literal not displayed */
	// Must be an encoded ArchivePayload. We store it as `bytes` to
	// simplify hashing and in future signing.
	Payload []byte `protobuf:"bytes,3,opt,name=payload,proto3" json:"payload,omitempty"`
	// The hash is simply the ascii7 lowercase hex-encoded hash of the bytes
	// according to the hash_function. We store it here for convenience, code
	// reading the Archive should verify that the hash is valid.
	//
	// Note that the hash is computed directly on the blob and not
	// on the decoded structure. This means that servers implementing
	// a Daml ledger need to store the blob as-is somewhere to be able
	// to always offer proof that they have a Daml package matching
	// the requested hash. We decided to go for this route rather than
	// relying on a canonical encoding of the AST since such a scheme
	// would be extremely hard (for example protobuf encoding is not
	// canonical) to maintain and does not buy us much.
	Hash string `protobuf:"bytes,4,opt,name=hash,proto3" json:"hash,omitempty"`
	// contains filtered or unexported fields
}

func (*Archive) Descriptor deprecated 

func (*Archive) Descriptor() ([]byte, []int)

Deprecated: Use Archive.ProtoReflect.Descriptor instead.

func (*Archive) GetHash 

func (x *Archive) GetHash() string

func (*Archive) GetHashFunction 

func (x *Archive) GetHashFunction() HashFunction

func (*Archive) GetPayload 

func (x *Archive) GetPayload() []byte

func (*Archive) ProtoMessage 

func (*Archive) ProtoMessage()

func (*Archive) ProtoReflect 

func (x *Archive) ProtoReflect() protoreflect.Message

func (*Archive) Reset 

func (x *Archive) Reset()

func (*Archive) String 

func (x *Archive) String() string

type ArchivePayload 

type ArchivePayload struct {

	// this is number 3 for historical reasons -- we had
	// Daml-LF v0 and v1 before we had minor versions.
	Minor string `protobuf:"bytes,3,opt,name=minor,proto3" json:"minor,omitempty"`
	// Types that are assignable to Sum:
	//	*ArchivePayload_DamlLf_1
	Sum isArchivePayload_Sum `protobuf_oneof:"Sum"`
	// contains filtered or unexported fields
}

func (*ArchivePayload) Descriptor deprecated 

func (*ArchivePayload) Descriptor() ([]byte, []int)

Deprecated: Use ArchivePayload.ProtoReflect.Descriptor instead.

func (*ArchivePayload) GetDamlLf_1 

func (x *ArchivePayload) GetDamlLf_1() *Package

func (*ArchivePayload) GetMinor 

func (x *ArchivePayload) GetMinor() string

func (*ArchivePayload) GetSum 

func (m *ArchivePayload) GetSum() isArchivePayload_Sum

func (*ArchivePayload) ProtoMessage 

func (*ArchivePayload) ProtoMessage()

func (*ArchivePayload) ProtoReflect 

func (x *ArchivePayload) ProtoReflect() protoreflect.Message

func (*ArchivePayload) Reset 

func (x *ArchivePayload) Reset()

func (*ArchivePayload) String 

func (x *ArchivePayload) String() string

type ArchivePayload_DamlLf_1 

type ArchivePayload_DamlLf_1 struct {
	DamlLf_1 *Package `protobuf:"bytes,2,opt,name=daml_lf_1,json=damlLf1,proto3,oneof"`
}

type Binding 

type Binding struct {

	// The binder (expression variable and type)
	Binder *VarWithType `protobuf:"bytes,1,opt,name=binder,proto3" json:"binder,omitempty"`
	// The value to which the variable is bound.
	Bound *Expr `protobuf:"bytes,2,opt,name=bound,proto3" json:"bound,omitempty"`
	// contains filtered or unexported fields
}

A binding of a typed binder to an expression

func (*Binding) Descriptor deprecated 

func (*Binding) Descriptor() ([]byte, []int)

Deprecated: Use Binding.ProtoReflect.Descriptor instead.

func (*Binding) GetBinder 

func (x *Binding) GetBinder() *VarWithType

func (*Binding) GetBound 

func (x *Binding) GetBound() *Expr

func (*Binding) ProtoMessage 

func (*Binding) ProtoMessage()

func (*Binding) ProtoReflect 

func (x *Binding) ProtoReflect() protoreflect.Message

func (*Binding) Reset 

func (x *Binding) Reset()

func (*Binding) String 

func (x *Binding) String() string

type Block 

type Block struct {

	// *Must be non-empty*
	// Bindings
	Bindings []*Binding `protobuf:"bytes,1,rep,name=bindings,proto3" json:"bindings,omitempty"`
	Body     *Expr      `protobuf:"bytes,2,opt,name=body,proto3" json:"body,omitempty"`
	// contains filtered or unexported fields
}

A block of bindings and an expression. Encodes a sequence of binds in e.g. a let or update block.

func (*Block) Descriptor deprecated 

func (*Block) Descriptor() ([]byte, []int)

Deprecated: Use Block.ProtoReflect.Descriptor instead.

func (*Block) GetBindings 

func (x *Block) GetBindings() []*Binding

func (*Block) GetBody 

func (x *Block) GetBody() *Expr

func (*Block) ProtoMessage 

func (*Block) ProtoMessage()

func (*Block) ProtoReflect 

func (x *Block) ProtoReflect() protoreflect.Message

func (*Block) Reset 

func (x *Block) Reset()

func (*Block) String 

func (x *Block) String() string

type BuiltinFunction 

type BuiltinFunction int32

Builtin functions Refer to Daml-LF major version 1 specification for types and behavior of those. 

const (
	BuiltinFunction_ADD_DECIMAL                    BuiltinFunction = 0   // *Available in versions < 1.7*
	BuiltinFunction_SUB_DECIMAL                    BuiltinFunction = 1   // *Available in versions < 1.7*
	BuiltinFunction_MUL_DECIMAL                    BuiltinFunction = 2   // *Available in versions < 1.7*
	BuiltinFunction_DIV_DECIMAL                    BuiltinFunction = 3   // *Available in versions < 1.7*
	BuiltinFunction_ROUND_DECIMAL                  BuiltinFunction = 6   // *Available in versions < 1.7*
	BuiltinFunction_ADD_NUMERIC                    BuiltinFunction = 107 // *Available in versions >= 1.7*
	BuiltinFunction_SUB_NUMERIC                    BuiltinFunction = 108 // *Available in versions >= 1.7*
	BuiltinFunction_MUL_NUMERIC                    BuiltinFunction = 109 // *Available in versions >= 1.7*
	BuiltinFunction_DIV_NUMERIC                    BuiltinFunction = 110 // *Available in versions >= 1.7*
	BuiltinFunction_ROUND_NUMERIC                  BuiltinFunction = 111 // *Available in versions >= 1.7*
	BuiltinFunction_CAST_NUMERIC                   BuiltinFunction = 121 // *Available in versions >= 1.7*
	BuiltinFunction_SHIFT_NUMERIC                  BuiltinFunction = 122 // *Available in versions >= 1.7*
	BuiltinFunction_ADD_INT64                      BuiltinFunction = 7
	BuiltinFunction_SUB_INT64                      BuiltinFunction = 8
	BuiltinFunction_MUL_INT64                      BuiltinFunction = 9
	BuiltinFunction_DIV_INT64                      BuiltinFunction = 10
	BuiltinFunction_MOD_INT64                      BuiltinFunction = 11
	BuiltinFunction_EXP_INT64                      BuiltinFunction = 12
	BuiltinFunction_FOLDL                          BuiltinFunction = 20
	BuiltinFunction_FOLDR                          BuiltinFunction = 21
	BuiltinFunction_TEXTMAP_EMPTY                  BuiltinFunction = 96
	BuiltinFunction_TEXTMAP_INSERT                 BuiltinFunction = 97
	BuiltinFunction_TEXTMAP_LOOKUP                 BuiltinFunction = 98
	BuiltinFunction_TEXTMAP_DELETE                 BuiltinFunction = 99
	BuiltinFunction_TEXTMAP_TO_LIST                BuiltinFunction = 100
	BuiltinFunction_TEXTMAP_SIZE                   BuiltinFunction = 101
	BuiltinFunction_GENMAP_EMPTY                   BuiltinFunction = 124 // *Available in versions >= 1.11*
	BuiltinFunction_GENMAP_INSERT                  BuiltinFunction = 125 // *Available in versions >= 1.11*
	BuiltinFunction_GENMAP_LOOKUP                  BuiltinFunction = 126 // *Available in versions >= 1.11*
	BuiltinFunction_GENMAP_DELETE                  BuiltinFunction = 127 // *Available in versions >= 1.11*
	BuiltinFunction_GENMAP_KEYS                    BuiltinFunction = 128 // *Available in versions >= 1.11*
	BuiltinFunction_GENMAP_VALUES                  BuiltinFunction = 129 // *Available in versions >= 1.11*
	BuiltinFunction_GENMAP_SIZE                    BuiltinFunction = 130 // *Available in versions >= 1.11*
	BuiltinFunction_EXPLODE_TEXT                   BuiltinFunction = 23
	BuiltinFunction_APPEND_TEXT                    BuiltinFunction = 24
	BuiltinFunction_ERROR                          BuiltinFunction = 25
	BuiltinFunction_ANY_EXCEPTION_MESSAGE          BuiltinFunction = 147 // *Available in versions >= 1.14*
	BuiltinFunction_LEQ_INT64                      BuiltinFunction = 33  // *Available in versions < 1.11*
	BuiltinFunction_LEQ_DECIMAL                    BuiltinFunction = 34  // *Available in versions < 1.7*
	BuiltinFunction_LEQ_NUMERIC                    BuiltinFunction = 112 // *Available in versions >= 1.7 and < 1.11*
	BuiltinFunction_LEQ_TEXT                       BuiltinFunction = 36  // *Available in versions < 1.11*
	BuiltinFunction_LEQ_TIMESTAMP                  BuiltinFunction = 37  // *Available in versions < 1.11*
	BuiltinFunction_LEQ_DATE                       BuiltinFunction = 67  // *Available in versions < 1.11*
	BuiltinFunction_LEQ_PARTY                      BuiltinFunction = 89  // *Available in versions >= 1.1 and < 1.11*
	BuiltinFunction_LESS_INT64                     BuiltinFunction = 39  // *Available in versions < 1.11*
	BuiltinFunction_LESS_DECIMAL                   BuiltinFunction = 40  // *Available in versions < 1.7*
	BuiltinFunction_LESS_NUMERIC                   BuiltinFunction = 113 // *Available in versions >= 1.7 and < 1.11*
	BuiltinFunction_LESS_TEXT                      BuiltinFunction = 42  // *Available in versions < 1.11*
	BuiltinFunction_LESS_TIMESTAMP                 BuiltinFunction = 43  // *Available in versions < 1.11*
	BuiltinFunction_LESS_DATE                      BuiltinFunction = 68  // *Available in versions < 1.11*
	BuiltinFunction_LESS_PARTY                     BuiltinFunction = 90  // *Available in versions >= 1.1 and < 1.11*
	BuiltinFunction_GEQ_INT64                      BuiltinFunction = 45  // *Available in versions < 1.11*
	BuiltinFunction_GEQ_DECIMAL                    BuiltinFunction = 46  // *Available in versions < 1.7*
	BuiltinFunction_GEQ_NUMERIC                    BuiltinFunction = 114 // *Available in versions >= 1.7 and < 1.11*
	BuiltinFunction_GEQ_TEXT                       BuiltinFunction = 48  // *Available in versions < 1.11*
	BuiltinFunction_GEQ_TIMESTAMP                  BuiltinFunction = 49  // *Available in versions < 1.11*
	BuiltinFunction_GEQ_DATE                       BuiltinFunction = 69  // *Available in versions < 1.11*
	BuiltinFunction_GEQ_PARTY                      BuiltinFunction = 91  // *Available in versions >= 1.1 and < 1.11*
	BuiltinFunction_GREATER_INT64                  BuiltinFunction = 51  // *Available in versions < 1.11*
	BuiltinFunction_GREATER_DECIMAL                BuiltinFunction = 52  // *Available in versions < 1.7*
	BuiltinFunction_GREATER_NUMERIC                BuiltinFunction = 115 // *Available in versions >= 1.7 and < 1.11*
	BuiltinFunction_GREATER_TEXT                   BuiltinFunction = 54  // *Available in versions < 1.11*
	BuiltinFunction_GREATER_TIMESTAMP              BuiltinFunction = 55  // *Available in versions < 1.11*
	BuiltinFunction_GREATER_DATE                   BuiltinFunction = 70  // *Available in versions < 1.11*
	BuiltinFunction_GREATER_PARTY                  BuiltinFunction = 92  // *Available in versions >= 1.1 and < 1.11*
	BuiltinFunction_INT64_TO_TEXT                  BuiltinFunction = 57
	BuiltinFunction_DECIMAL_TO_TEXT                BuiltinFunction = 58  // *Available in versions < 1.7*
	BuiltinFunction_NUMERIC_TO_TEXT                BuiltinFunction = 116 // *Available in versions >= 1.7*
	BuiltinFunction_TEXT_TO_TEXT                   BuiltinFunction = 60
	BuiltinFunction_TIMESTAMP_TO_TEXT              BuiltinFunction = 61
	BuiltinFunction_DATE_TO_TEXT                   BuiltinFunction = 71
	BuiltinFunction_PARTY_TO_QUOTED_TEXT           BuiltinFunction = 63  // *Available in versions <= 1.dev*
	BuiltinFunction_PARTY_TO_TEXT                  BuiltinFunction = 94  // *Available in versions >= 1.2*
	BuiltinFunction_TEXT_TO_PARTY                  BuiltinFunction = 95  // *Available in versions >= 1.2*, was named TEXT_TO_PARTY in 1.2, 1.3 and 1.4
	BuiltinFunction_TEXT_TO_INT64                  BuiltinFunction = 103 // *Available in versions >= 1.5*
	BuiltinFunction_TEXT_TO_DECIMAL                BuiltinFunction = 104 // *Available in versions 1.5 and 1.6
	BuiltinFunction_TEXT_TO_NUMERIC                BuiltinFunction = 117 // *Available in versions >= 1.7*
	BuiltinFunction_CONTRACT_ID_TO_TEXT            BuiltinFunction = 136 // *Available in versions >= 1.11*
	BuiltinFunction_SHA256_TEXT                    BuiltinFunction = 93  // *Available in versions >= 1.2*
	BuiltinFunction_DATE_TO_UNIX_DAYS              BuiltinFunction = 72  // Date -> Int64
	BuiltinFunction_UNIX_DAYS_TO_DATE              BuiltinFunction = 73  // Int64 -> Date
	BuiltinFunction_TIMESTAMP_TO_UNIX_MICROSECONDS BuiltinFunction = 74  // Timestamp -> Int64
	BuiltinFunction_UNIX_MICROSECONDS_TO_TIMESTAMP BuiltinFunction = 75  // Int64 -> Timestamp
	BuiltinFunction_INT64_TO_DECIMAL               BuiltinFunction = 76  // *Available in versions < 1.7*
	BuiltinFunction_DECIMAL_TO_INT64               BuiltinFunction = 77  // *Available in versions < 1.7*
	BuiltinFunction_INT64_TO_NUMERIC               BuiltinFunction = 118 // *Available in versions >= 1.7*
	BuiltinFunction_NUMERIC_TO_INT64               BuiltinFunction = 119 // *Available in versions >= 1.7*
	BuiltinFunction_IMPLODE_TEXT                   BuiltinFunction = 78
	BuiltinFunction_EQUAL_INT64                    BuiltinFunction = 79  // *Available in versions < 1.11*
	BuiltinFunction_EQUAL_DECIMAL                  BuiltinFunction = 80  // *Available in versions < 1.7*
	BuiltinFunction_EQUAL_NUMERIC                  BuiltinFunction = 120 // *Available in versions >= 1.7 and < 1.11*
	BuiltinFunction_EQUAL_TEXT                     BuiltinFunction = 81  // *Available in versions < 1.11*
	BuiltinFunction_EQUAL_TIMESTAMP                BuiltinFunction = 82  // *Available in versions < 1.11*
	BuiltinFunction_EQUAL_DATE                     BuiltinFunction = 83  // *Available in versions < 1.11*
	BuiltinFunction_EQUAL_PARTY                    BuiltinFunction = 84  // *Available in versions < 1.11*
	BuiltinFunction_EQUAL_BOOL                     BuiltinFunction = 85  // *Available in versions < 1.11*
	BuiltinFunction_EQUAL_CONTRACT_ID              BuiltinFunction = 86  // *Available in versions < 1.11*
	BuiltinFunction_EQUAL_LIST                     BuiltinFunction = 87
	BuiltinFunction_EQUAL_TYPE_REP                 BuiltinFunction = 123 // *Available in versions = 1.8*
	BuiltinFunction_EQUAL                          BuiltinFunction = 131 // *Available in versions >= 1.11*
	BuiltinFunction_LESS_EQ                        BuiltinFunction = 132 // *Available in versions >= 1.11*
	BuiltinFunction_LESS                           BuiltinFunction = 133 // *Available in versions >= 1.11*
	BuiltinFunction_GREATER_EQ                     BuiltinFunction = 134 // *Available in versions >= 1.11*
	BuiltinFunction_GREATER                        BuiltinFunction = 135 // *Available in versions >= 1.11*
	BuiltinFunction_TRACE                          BuiltinFunction = 88
	BuiltinFunction_COERCE_CONTRACT_ID             BuiltinFunction = 102
	BuiltinFunction_CODE_POINTS_TO_TEXT            BuiltinFunction = 105 // *Available in versions >= 1.6*
	BuiltinFunction_TEXT_POINTS_TO_CODE            BuiltinFunction = 106 // *Available in versions >= 1.6*
	BuiltinFunction_SCALE_BIGNUMERIC               BuiltinFunction = 137 // *Available in versions >= 1.13*
	BuiltinFunction_PRECISION_BIGNUMERIC           BuiltinFunction = 138 // *Available in versions >= 1.13*
	BuiltinFunction_ADD_BIGNUMERIC                 BuiltinFunction = 139 // *Available in versions >= 1.13*
	BuiltinFunction_SUB_BIGNUMERIC                 BuiltinFunction = 140 // *Available in versions >= 1.13*
	BuiltinFunction_MUL_BIGNUMERIC                 BuiltinFunction = 141 // *Available in versions >= 1.13*
	BuiltinFunction_DIV_BIGNUMERIC                 BuiltinFunction = 142 // *Available in versions >= 1.13*
	BuiltinFunction_SHIFT_RIGHT_BIGNUMERIC         BuiltinFunction = 143 // *Available in versions >= 1.13*
	BuiltinFunction_BIGNUMERIC_TO_NUMERIC          BuiltinFunction = 144 // *Available in versions >= 1.13*
	BuiltinFunction_NUMERIC_TO_BIGNUMERIC          BuiltinFunction = 145 // *Available in versions >= 1.13*
	BuiltinFunction_BIGNUMERIC_TO_TEXT             BuiltinFunction = 146 // *Available in versions >= 1.13*
)

func (BuiltinFunction) Descriptor 

func (BuiltinFunction) Descriptor() protoreflect.EnumDescriptor

func (BuiltinFunction) Enum 

func (x BuiltinFunction) Enum() *BuiltinFunction

func (BuiltinFunction) EnumDescriptor deprecated 

func (BuiltinFunction) EnumDescriptor() ([]byte, []int)

Deprecated: Use BuiltinFunction.Descriptor instead.

func (BuiltinFunction) Number 

func (x BuiltinFunction) Number() protoreflect.EnumNumber

func (BuiltinFunction) String 

func (x BuiltinFunction) String() string

func (BuiltinFunction) Type 

func (BuiltinFunction) Type() protoreflect.EnumType

type Case 

type Case struct {
	Scrut *Expr      `protobuf:"bytes,1,opt,name=scrut,proto3" json:"scrut,omitempty"`
	Alts  []*CaseAlt `protobuf:"bytes,2,rep,name=alts,proto3" json:"alts,omitempty"`
	// contains filtered or unexported fields
}

func (*Case) Descriptor deprecated 

func (*Case) Descriptor() ([]byte, []int)

Deprecated: Use Case.ProtoReflect.Descriptor instead.

func (*Case) GetAlts 

func (x *Case) GetAlts() []*CaseAlt

func (*Case) GetScrut 

func (x *Case) GetScrut() *Expr

func (*Case) ProtoMessage 

func (*Case) ProtoMessage()

func (*Case) ProtoReflect 

func (x *Case) ProtoReflect() protoreflect.Message

func (*Case) Reset 

func (x *Case) Reset()

func (*Case) String 

func (x *Case) String() string

type CaseAlt 

type CaseAlt struct {

	// Types that are assignable to Sum:
	//	*CaseAlt_Default
	//	*CaseAlt_Variant_
	//	*CaseAlt_PrimCon
	//	*CaseAlt_Nil
	//	*CaseAlt_Cons_
	//	*CaseAlt_OptionalNone
	//	*CaseAlt_OptionalSome_
	//	*CaseAlt_Enum_
	Sum  isCaseAlt_Sum `protobuf_oneof:"Sum"`
	Body *Expr         `protobuf:"bytes,6,opt,name=body,proto3" json:"body,omitempty"`
	// contains filtered or unexported fields
}

Case alternative

func (*CaseAlt) Descriptor deprecated 

func (*CaseAlt) Descriptor() ([]byte, []int)

Deprecated: Use CaseAlt.ProtoReflect.Descriptor instead.

func (*CaseAlt) GetBody 

func (x *CaseAlt) GetBody() *Expr

func (*CaseAlt) GetCons 

func (x *CaseAlt) GetCons() *CaseAlt_Cons

func (*CaseAlt) GetDefault 

func (x *CaseAlt) GetDefault() *Unit

func (*CaseAlt) GetEnum 

func (x *CaseAlt) GetEnum() *CaseAlt_Enum

func (*CaseAlt) GetNil 

func (x *CaseAlt) GetNil() *Unit

func (*CaseAlt) GetOptionalNone 

func (x *CaseAlt) GetOptionalNone() *Unit

func (*CaseAlt) GetOptionalSome 

func (x *CaseAlt) GetOptionalSome() *CaseAlt_OptionalSome

func (*CaseAlt) GetPrimCon 

func (x *CaseAlt) GetPrimCon() PrimCon

func (*CaseAlt) GetSum 

func (m *CaseAlt) GetSum() isCaseAlt_Sum

func (*CaseAlt) GetVariant 

func (x *CaseAlt) GetVariant() *CaseAlt_Variant

func (*CaseAlt) ProtoMessage 

func (*CaseAlt) ProtoMessage()

func (*CaseAlt) ProtoReflect 

func (x *CaseAlt) ProtoReflect() protoreflect.Message

func (*CaseAlt) Reset 

func (x *CaseAlt) Reset()

func (*CaseAlt) String 

func (x *CaseAlt) String() string

type CaseAlt_Cons 

type CaseAlt_Cons struct {

	// name of the binder for the head
	//
	// Types that are assignable to VarHead:
	//	*CaseAlt_Cons_VarHeadStr
	//	*CaseAlt_Cons_VarHeadInternedStr
	VarHead isCaseAlt_Cons_VarHead `protobuf_oneof:"var_head"`
	// Types that are assignable to VarTail:
	//	*CaseAlt_Cons_VarTailStr
	//	*CaseAlt_Cons_VarTailInternedStr
	VarTail isCaseAlt_Cons_VarTail `protobuf_oneof:"var_tail"`
	// contains filtered or unexported fields
}

Non empty list pattern

func (*CaseAlt_Cons) Descriptor deprecated 

func (*CaseAlt_Cons) Descriptor() ([]byte, []int)

Deprecated: Use CaseAlt_Cons.ProtoReflect.Descriptor instead.

func (*CaseAlt_Cons) GetVarHead 

func (m *CaseAlt_Cons) GetVarHead() isCaseAlt_Cons_VarHead

func (*CaseAlt_Cons) GetVarHeadInternedStr 

func (x *CaseAlt_Cons) GetVarHeadInternedStr() int32

func (*CaseAlt_Cons) GetVarHeadStr 

func (x *CaseAlt_Cons) GetVarHeadStr() string

func (*CaseAlt_Cons) GetVarTail 

func (m *CaseAlt_Cons) GetVarTail() isCaseAlt_Cons_VarTail

func (*CaseAlt_Cons) GetVarTailInternedStr 

func (x *CaseAlt_Cons) GetVarTailInternedStr() int32

func (*CaseAlt_Cons) GetVarTailStr 

func (x *CaseAlt_Cons) GetVarTailStr() string

func (*CaseAlt_Cons) ProtoMessage 

func (*CaseAlt_Cons) ProtoMessage()

func (*CaseAlt_Cons) ProtoReflect 

func (x *CaseAlt_Cons) ProtoReflect() protoreflect.Message

func (*CaseAlt_Cons) Reset 

func (x *CaseAlt_Cons) Reset()

func (*CaseAlt_Cons) String 

func (x *CaseAlt_Cons) String() string

type CaseAlt_Cons_ 

type CaseAlt_Cons_ struct {
	Cons *CaseAlt_Cons `protobuf:"bytes,5,opt,name=cons,proto3,oneof"`
}

type CaseAlt_Cons_VarHeadInternedStr 

type CaseAlt_Cons_VarHeadInternedStr struct {
	// *Must be a valid interned identifier*
	VarHeadInternedStr int32 `protobuf:"varint,3,opt,name=var_head_interned_str,json=varHeadInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type CaseAlt_Cons_VarHeadStr 

type CaseAlt_Cons_VarHeadStr struct {
	// *Must be a valid identifier*
	VarHeadStr string `protobuf:"bytes,1,opt,name=var_head_str,json=varHeadStr,proto3,oneof"` // *Available in version < 1.7*
}

type CaseAlt_Cons_VarTailInternedStr 

type CaseAlt_Cons_VarTailInternedStr struct {
	// *Must be a valid interned identifier*
	VarTailInternedStr int32 `protobuf:"varint,4,opt,name=var_tail_interned_str,json=varTailInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type CaseAlt_Cons_VarTailStr 

type CaseAlt_Cons_VarTailStr struct {
	// *Must be a valid identifier*
	VarTailStr string `protobuf:"bytes,2,opt,name=var_tail_str,json=varTailStr,proto3,oneof"` // *Available in version < 1.7*
}

type CaseAlt_Default 

type CaseAlt_Default struct {
	Default *Unit `protobuf:"bytes,1,opt,name=default,proto3,oneof"`
}

type CaseAlt_Enum 

type CaseAlt_Enum struct {

	// name of the type constructor
	Con *TypeConName `protobuf:"bytes,1,opt,name=con,proto3" json:"con,omitempty"`
	// name of the variant constructor
	// *Must be a valid identifier*
	//
	// Types that are assignable to Constructor:
	//	*CaseAlt_Enum_ConstructorStr
	//	*CaseAlt_Enum_ConstructorInternedStr
	Constructor isCaseAlt_Enum_Constructor `protobuf_oneof:"constructor"`
	// contains filtered or unexported fields
}

Enum pattern *Available in versions >= 1.6*

func (*CaseAlt_Enum) Descriptor deprecated 

func (*CaseAlt_Enum) Descriptor() ([]byte, []int)

Deprecated: Use CaseAlt_Enum.ProtoReflect.Descriptor instead.

func (*CaseAlt_Enum) GetCon 

func (x *CaseAlt_Enum) GetCon() *TypeConName

func (*CaseAlt_Enum) GetConstructor 

func (m *CaseAlt_Enum) GetConstructor() isCaseAlt_Enum_Constructor

func (*CaseAlt_Enum) GetConstructorInternedStr 

func (x *CaseAlt_Enum) GetConstructorInternedStr() int32

func (*CaseAlt_Enum) GetConstructorStr 

func (x *CaseAlt_Enum) GetConstructorStr() string

func (*CaseAlt_Enum) ProtoMessage 

func (*CaseAlt_Enum) ProtoMessage()

func (*CaseAlt_Enum) ProtoReflect 

func (x *CaseAlt_Enum) ProtoReflect() protoreflect.Message

func (*CaseAlt_Enum) Reset 

func (x *CaseAlt_Enum) Reset()

func (*CaseAlt_Enum) String 

func (x *CaseAlt_Enum) String() string

type CaseAlt_Enum_ 

type CaseAlt_Enum_ struct {
	Enum *CaseAlt_Enum `protobuf:"bytes,9,opt,name=enum,proto3,oneof"` // *Available in versions >= 1.6*
}

type CaseAlt_Enum_ConstructorInternedStr 

type CaseAlt_Enum_ConstructorInternedStr struct {
	// *Must be a valid interned identifier*
	ConstructorInternedStr int32 `protobuf:"varint,3,opt,name=constructor_interned_str,json=constructorInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type CaseAlt_Enum_ConstructorStr 

type CaseAlt_Enum_ConstructorStr struct {
	// *Must be a valid identifier*
	ConstructorStr string `protobuf:"bytes,2,opt,name=constructor_str,json=constructorStr,proto3,oneof"` // *Available in version < 1.7*
}

type CaseAlt_Nil 

type CaseAlt_Nil struct {
	Nil *Unit `protobuf:"bytes,4,opt,name=nil,proto3,oneof"`
}

type CaseAlt_OptionalNone 

type CaseAlt_OptionalNone struct {
	OptionalNone *Unit `protobuf:"bytes,7,opt,name=optional_none,json=optionalNone,proto3,oneof"` // *Available in versions >= 1.1*
}

type CaseAlt_OptionalSome 

type CaseAlt_OptionalSome struct {

	// Types that are assignable to VarBody:
	//	*CaseAlt_OptionalSome_VarBodyStr
	//	*CaseAlt_OptionalSome_VarBodyInternedStr
	VarBody isCaseAlt_OptionalSome_VarBody `protobuf_oneof:"var_body"`
	// contains filtered or unexported fields
}

Non empty option patterm *Available in versions >= 1.1*

func (*CaseAlt_OptionalSome) Descriptor deprecated 

func (*CaseAlt_OptionalSome) Descriptor() ([]byte, []int)

Deprecated: Use CaseAlt_OptionalSome.ProtoReflect.Descriptor instead.

func (*CaseAlt_OptionalSome) GetVarBody 

func (m *CaseAlt_OptionalSome) GetVarBody() isCaseAlt_OptionalSome_VarBody

func (*CaseAlt_OptionalSome) GetVarBodyInternedStr 

func (x *CaseAlt_OptionalSome) GetVarBodyInternedStr() int32

func (*CaseAlt_OptionalSome) GetVarBodyStr 

func (x *CaseAlt_OptionalSome) GetVarBodyStr() string

func (*CaseAlt_OptionalSome) ProtoMessage 

func (*CaseAlt_OptionalSome) ProtoMessage()

func (*CaseAlt_OptionalSome) ProtoReflect 

func (x *CaseAlt_OptionalSome) ProtoReflect() protoreflect.Message

func (*CaseAlt_OptionalSome) Reset 

func (x *CaseAlt_OptionalSome) Reset()

func (*CaseAlt_OptionalSome) String 

func (x *CaseAlt_OptionalSome) String() string

type CaseAlt_OptionalSome_ 

type CaseAlt_OptionalSome_ struct {
	OptionalSome *CaseAlt_OptionalSome `protobuf:"bytes,8,opt,name=optional_some,json=optionalSome,proto3,oneof"` // *Available in versions >= 1.1*
}

type CaseAlt_OptionalSome_VarBodyInternedStr 

type CaseAlt_OptionalSome_VarBodyInternedStr struct {
	// *Must be a valid interned identifier*
	VarBodyInternedStr int32 `protobuf:"varint,2,opt,name=var_body_interned_str,json=varBodyInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type CaseAlt_OptionalSome_VarBodyStr 

type CaseAlt_OptionalSome_VarBodyStr struct {
	// *Must be a valid identifier*
	VarBodyStr string `protobuf:"bytes,1,opt,name=var_body_str,json=varBodyStr,proto3,oneof"` // *Available in version < 1.7*
}

type CaseAlt_PrimCon 

type CaseAlt_PrimCon struct {
	PrimCon PrimCon `protobuf:"varint,3,opt,name=prim_con,json=primCon,proto3,enum=daml_lf_1.PrimCon,oneof"`
}

type CaseAlt_Variant 

type CaseAlt_Variant struct {

	// name of the type constructor
	Con *TypeConName `protobuf:"bytes,1,opt,name=con,proto3" json:"con,omitempty"`
	// name of the variant constructor
	//
	// Types that are assignable to Variant:
	//	*CaseAlt_Variant_VariantStr
	//	*CaseAlt_Variant_VariantInternedStr
	Variant isCaseAlt_Variant_Variant `protobuf_oneof:"variant"`
	// name of the variant binder
	//
	// Types that are assignable to Binder:
	//	*CaseAlt_Variant_BinderStr
	//	*CaseAlt_Variant_BinderInternedStr
	Binder isCaseAlt_Variant_Binder `protobuf_oneof:"binder"`
	// contains filtered or unexported fields
}

Variant pattern

func (*CaseAlt_Variant) Descriptor deprecated 

func (*CaseAlt_Variant) Descriptor() ([]byte, []int)

Deprecated: Use CaseAlt_Variant.ProtoReflect.Descriptor instead.

func (*CaseAlt_Variant) GetBinder 

func (m *CaseAlt_Variant) GetBinder() isCaseAlt_Variant_Binder

func (*CaseAlt_Variant) GetBinderInternedStr 

func (x *CaseAlt_Variant) GetBinderInternedStr() int32

func (*CaseAlt_Variant) GetBinderStr 

func (x *CaseAlt_Variant) GetBinderStr() string

func (*CaseAlt_Variant) GetCon 

func (x *CaseAlt_Variant) GetCon() *TypeConName

func (*CaseAlt_Variant) GetVariant 

func (m *CaseAlt_Variant) GetVariant() isCaseAlt_Variant_Variant

func (*CaseAlt_Variant) GetVariantInternedStr 

func (x *CaseAlt_Variant) GetVariantInternedStr() int32

func (*CaseAlt_Variant) GetVariantStr 

func (x *CaseAlt_Variant) GetVariantStr() string

func (*CaseAlt_Variant) ProtoMessage 

func (*CaseAlt_Variant) ProtoMessage()

func (*CaseAlt_Variant) ProtoReflect 

func (x *CaseAlt_Variant) ProtoReflect() protoreflect.Message

func (*CaseAlt_Variant) Reset 

func (x *CaseAlt_Variant) Reset()

func (*CaseAlt_Variant) String 

func (x *CaseAlt_Variant) String() string

type CaseAlt_Variant_ 

type CaseAlt_Variant_ struct {
	Variant *CaseAlt_Variant `protobuf:"bytes,2,opt,name=variant,proto3,oneof"`
}

type CaseAlt_Variant_BinderInternedStr 

type CaseAlt_Variant_BinderInternedStr struct {
	// *Must be a valid interned identifier*
	BinderInternedStr int32 `protobuf:"varint,5,opt,name=binder_interned_str,json=binderInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type CaseAlt_Variant_BinderStr 

type CaseAlt_Variant_BinderStr struct {
	// *Must be a valid identifier*
	BinderStr string `protobuf:"bytes,3,opt,name=binder_str,json=binderStr,proto3,oneof"` // *Available in version < 1.7*
}

type CaseAlt_Variant_VariantInternedStr 

type CaseAlt_Variant_VariantInternedStr struct {
	// *Must be a valid interned identifier*
	VariantInternedStr int32 `protobuf:"varint,4,opt,name=variant_interned_str,json=variantInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type CaseAlt_Variant_VariantStr 

type CaseAlt_Variant_VariantStr struct {
	// *Must be a valid identifier*
	VariantStr string `protobuf:"bytes,2,opt,name=variant_str,json=variantStr,proto3,oneof"` // *Available in version < 1.7*
}

type DefDataType 

type DefDataType struct {

	// name of the defined data type
	//
	// Types that are assignable to Name:
	//	*DefDataType_NameDname
	//	*DefDataType_NameInternedDname
	Name isDefDataType_Name `protobuf_oneof:"name"`
	// type parameters
	// *Must be empty if enum field is set*
	Params []*TypeVarWithKind `protobuf:"bytes,2,rep,name=params,proto3" json:"params,omitempty"`
	// Types that are assignable to DataCons:
	//	*DefDataType_Record
	//	*DefDataType_Variant
	//	*DefDataType_Enum
	DataCons isDefDataType_DataCons `protobuf_oneof:"DataCons"`
	// If true, this data type preserves serializability in the sense that when
	// all parameters are instantiated with serializable types (of kind '*'),
	// then the resulting type is serializable as well.
	// This flag is used to simplify package validation by not requiring an
	// inference but only a check. Such a check must validate that this flag is
	// set correctly and that template and choice argument and result types
	// have this flag set to true.
	Serializable bool      `protobuf:"varint,5,opt,name=serializable,proto3" json:"serializable,omitempty"`
	Location     *Location `protobuf:"bytes,6,opt,name=location,proto3" json:"location,omitempty"`
	// contains filtered or unexported fields
}

Data type definition

func (*DefDataType) Descriptor deprecated 

func (*DefDataType) Descriptor() ([]byte, []int)

Deprecated: Use DefDataType.ProtoReflect.Descriptor instead.

func (*DefDataType) GetDataCons 

func (m *DefDataType) GetDataCons() isDefDataType_DataCons

func (*DefDataType) GetEnum 

func (x *DefDataType) GetEnum() *DefDataType_EnumConstructors

func (*DefDataType) GetLocation 

func (x *DefDataType) GetLocation() *Location

func (*DefDataType) GetName 

func (m *DefDataType) GetName() isDefDataType_Name

func (*DefDataType) GetNameDname 

func (x *DefDataType) GetNameDname() *DottedName

func (*DefDataType) GetNameInternedDname 

func (x *DefDataType) GetNameInternedDname() int32

func (*DefDataType) GetParams 

func (x *DefDataType) GetParams() []*TypeVarWithKind

func (*DefDataType) GetRecord 

func (x *DefDataType) GetRecord() *DefDataType_Fields

func (*DefDataType) GetSerializable 

func (x *DefDataType) GetSerializable() bool

func (*DefDataType) GetVariant 

func (x *DefDataType) GetVariant() *DefDataType_Fields

func (*DefDataType) ProtoMessage 

func (*DefDataType) ProtoMessage()

func (*DefDataType) ProtoReflect 

func (x *DefDataType) ProtoReflect() protoreflect.Message

func (*DefDataType) Reset 

func (x *DefDataType) Reset()

func (*DefDataType) String 

func (x *DefDataType) String() string

type DefDataType_Enum 

type DefDataType_Enum struct {
	Enum *DefDataType_EnumConstructors `protobuf:"bytes,7,opt,name=enum,proto3,oneof"` // *Available in versions >= 1.6*
}

type DefDataType_EnumConstructors 

type DefDataType_EnumConstructors struct {

	// *Must be a list of valid identifiers*
	ConstructorsStr []string `protobuf:"bytes,1,rep,name=constructors_str,json=constructorsStr,proto3" json:"constructors_str,omitempty"` // *Available in version < 1.7*
	// *Must be a list of valid interned identifiers*
	ConstructorsInternedStr []int32 `` // *Available in versions >= 1.7*
	/* 140-byte string literal not displayed */
	// contains filtered or unexported fields
}

*Available in versions >= 1.6*

func (*DefDataType_EnumConstructors) Descriptor deprecated 

func (*DefDataType_EnumConstructors) Descriptor() ([]byte, []int)

Deprecated: Use DefDataType_EnumConstructors.ProtoReflect.Descriptor instead.

func (*DefDataType_EnumConstructors) GetConstructorsInternedStr 

func (x *DefDataType_EnumConstructors) GetConstructorsInternedStr() []int32

func (*DefDataType_EnumConstructors) GetConstructorsStr 

func (x *DefDataType_EnumConstructors) GetConstructorsStr() []string

func (*DefDataType_EnumConstructors) ProtoMessage 

func (*DefDataType_EnumConstructors) ProtoMessage()

func (*DefDataType_EnumConstructors) ProtoReflect 

func (x *DefDataType_EnumConstructors) ProtoReflect() protoreflect.Message

func (*DefDataType_EnumConstructors) Reset 

func (x *DefDataType_EnumConstructors) Reset()

func (*DefDataType_EnumConstructors) String 

func (x *DefDataType_EnumConstructors) String() string

type DefDataType_Fields 

type DefDataType_Fields struct {
	Fields []*FieldWithType `protobuf:"bytes,1,rep,name=fields,proto3" json:"fields,omitempty"`
	// contains filtered or unexported fields
}

func (*DefDataType_Fields) Descriptor deprecated 

func (*DefDataType_Fields) Descriptor() ([]byte, []int)

Deprecated: Use DefDataType_Fields.ProtoReflect.Descriptor instead.

func (*DefDataType_Fields) GetFields 

func (x *DefDataType_Fields) GetFields() []*FieldWithType

func (*DefDataType_Fields) ProtoMessage 

func (*DefDataType_Fields) ProtoMessage()

func (*DefDataType_Fields) ProtoReflect 

func (x *DefDataType_Fields) ProtoReflect() protoreflect.Message

func (*DefDataType_Fields) Reset 

func (x *DefDataType_Fields) Reset()

func (*DefDataType_Fields) String 

func (x *DefDataType_Fields) String() string

type DefDataType_NameDname 

type DefDataType_NameDname struct {
	NameDname *DottedName `protobuf:"bytes,1,opt,name=name_dname,json=nameDname,proto3,oneof"`
}

type DefDataType_NameInternedDname 

type DefDataType_NameInternedDname struct {
	// *Must be a valid interned name*
	NameInternedDname int32 `protobuf:"varint,8,opt,name=name_interned_dname,json=nameInternedDname,proto3,oneof"` // *Available in versions >= 1.7*
}

type DefDataType_Record 

type DefDataType_Record struct {
	Record *DefDataType_Fields `protobuf:"bytes,3,opt,name=record,proto3,oneof"` // Records without fields are explicitly allowed.
}

type DefDataType_Variant 

type DefDataType_Variant struct {
	Variant *DefDataType_Fields `protobuf:"bytes,4,opt,name=variant,proto3,oneof"` // Variants without constructors are explicitly allowed.
}

type DefException 

type DefException struct {

	// *Must be a valid interned dotted name*
	NameInternedDname int32     `protobuf:"varint,1,opt,name=name_interned_dname,json=nameInternedDname,proto3" json:"name_interned_dname,omitempty"`
	Location          *Location `protobuf:"bytes,2,opt,name=location,proto3" json:"location,omitempty"`
	Message           *Expr     `protobuf:"bytes,3,opt,name=message,proto3" json:"message,omitempty"`
	// contains filtered or unexported fields
}

Exception definition *Available in versions >= 1.14*

func (*DefException) Descriptor deprecated 

func (*DefException) Descriptor() ([]byte, []int)

Deprecated: Use DefException.ProtoReflect.Descriptor instead.

func (*DefException) GetLocation 

func (x *DefException) GetLocation() *Location

func (*DefException) GetMessage 

func (x *DefException) GetMessage() *Expr

func (*DefException) GetNameInternedDname 

func (x *DefException) GetNameInternedDname() int32

func (*DefException) ProtoMessage 

func (*DefException) ProtoMessage()

func (*DefException) ProtoReflect 

func (x *DefException) ProtoReflect() protoreflect.Message

func (*DefException) Reset 

func (x *DefException) Reset()

func (*DefException) String 

func (x *DefException) String() string

type DefTemplate 

type DefTemplate struct {

	// The type constructor for the template, acting as both
	// the name of the template and the type of the template argument.
	//
	// Types that are assignable to Tycon:
	//	*DefTemplate_TyconDname
	//	*DefTemplate_TyconInternedDname
	Tycon isDefTemplate_Tycon `protobuf_oneof:"tycon"`
	// Name to which the template argument is bound.
	//
	// Types that are assignable to Param:
	//	*DefTemplate_ParamStr
	//	*DefTemplate_ParamInternedStr
	Param isDefTemplate_Param `protobuf_oneof:"param"`
	// Pre-condition that the template argument must satisfy.
	// When present, it has type `Bool` and the template parameter in scope.
	// *Optional*, interpreted as 'True' if undefined
	Precond *Expr `protobuf:"bytes,4,opt,name=precond,proto3" json:"precond,omitempty"`
	// The signatories of the contract. They have type `List Party` and the
	// template parameter in scope.
	Signatories *Expr `protobuf:"bytes,5,opt,name=signatories,proto3" json:"signatories,omitempty"`
	// The agreement text associated with the contract. It has type `Text` and
	// the template parameter in scope.
	Agreement *Expr `protobuf:"bytes,6,opt,name=agreement,proto3" json:"agreement,omitempty"`
	// The choices available in the resulting contract.
	Choices []*TemplateChoice `protobuf:"bytes,7,rep,name=choices,proto3" json:"choices,omitempty"`
	// The observers of the contract. They have type `List Party` and the
	// template parameter in scope.
	Observers *Expr     `protobuf:"bytes,8,opt,name=observers,proto3" json:"observers,omitempty"`
	Location  *Location `protobuf:"bytes,9,opt,name=location,proto3" json:"location,omitempty"`
	// They key definition for the template, if present
	Key *DefTemplate_DefKey `protobuf:"bytes,10,opt,name=key,proto3" json:"key,omitempty"` // optional // *Available in versions >= 1.3*
	// contains filtered or unexported fields
}

Contract template definition

func (*DefTemplate) Descriptor deprecated 

func (*DefTemplate) Descriptor() ([]byte, []int)

Deprecated: Use DefTemplate.ProtoReflect.Descriptor instead.

func (*DefTemplate) GetAgreement 

func (x *DefTemplate) GetAgreement() *Expr

func (*DefTemplate) GetChoices 

func (x *DefTemplate) GetChoices() []*TemplateChoice

func (*DefTemplate) GetKey 

func (x *DefTemplate) GetKey() *DefTemplate_DefKey

func (*DefTemplate) GetLocation 

func (x *DefTemplate) GetLocation() *Location

func (*DefTemplate) GetObservers 

func (x *DefTemplate) GetObservers() *Expr

func (*DefTemplate) GetParam 

func (m *DefTemplate) GetParam() isDefTemplate_Param

func (*DefTemplate) GetParamInternedStr 

func (x *DefTemplate) GetParamInternedStr() int32

func (*DefTemplate) GetParamStr 

func (x *DefTemplate) GetParamStr() string

func (*DefTemplate) GetPrecond 

func (x *DefTemplate) GetPrecond() *Expr

func (*DefTemplate) GetSignatories 

func (x *DefTemplate) GetSignatories() *Expr

func (*DefTemplate) GetTycon 

func (m *DefTemplate) GetTycon() isDefTemplate_Tycon

func (*DefTemplate) GetTyconDname 

func (x *DefTemplate) GetTyconDname() *DottedName

func (*DefTemplate) GetTyconInternedDname 

func (x *DefTemplate) GetTyconInternedDname() int32

func (*DefTemplate) ProtoMessage 

func (*DefTemplate) ProtoMessage()

func (*DefTemplate) ProtoReflect 

func (x *DefTemplate) ProtoReflect() protoreflect.Message

func (*DefTemplate) Reset 

func (x *DefTemplate) Reset()

func (*DefTemplate) String 

func (x *DefTemplate) String() string

type DefTemplate_DefKey 

type DefTemplate_DefKey struct {
	Type *Type `protobuf:"bytes,1,opt,name=type,proto3" json:"type,omitempty"`
	// NOTE(MH): The first version of contract keys had syntactic
	// restrictions that key expression had to be "simple". We lifted these
	// restrictions later and allowed arbitrarily complext key expressions.
	//
	// Types that are assignable to KeyExpr:
	//	*DefTemplate_DefKey_Key
	//	*DefTemplate_DefKey_ComplexKey
	KeyExpr     isDefTemplate_DefKey_KeyExpr `protobuf_oneof:"key_expr"`
	Maintainers *Expr                        `protobuf:"bytes,3,opt,name=maintainers,proto3" json:"maintainers,omitempty"` // a function from the key type to [Party]
	// contains filtered or unexported fields
}

func (*DefTemplate_DefKey) Descriptor deprecated 

func (*DefTemplate_DefKey) Descriptor() ([]byte, []int)

Deprecated: Use DefTemplate_DefKey.ProtoReflect.Descriptor instead.

func (*DefTemplate_DefKey) GetComplexKey 

func (x *DefTemplate_DefKey) GetComplexKey() *Expr

func (*DefTemplate_DefKey) GetKey 

func (x *DefTemplate_DefKey) GetKey() *KeyExpr

func (*DefTemplate_DefKey) GetKeyExpr 

func (m *DefTemplate_DefKey) GetKeyExpr() isDefTemplate_DefKey_KeyExpr

func (*DefTemplate_DefKey) GetMaintainers 

func (x *DefTemplate_DefKey) GetMaintainers() *Expr

func (*DefTemplate_DefKey) GetType 

func (x *DefTemplate_DefKey) GetType() *Type

func (*DefTemplate_DefKey) ProtoMessage 

func (*DefTemplate_DefKey) ProtoMessage()

func (*DefTemplate_DefKey) ProtoReflect 

func (x *DefTemplate_DefKey) ProtoReflect() protoreflect.Message

func (*DefTemplate_DefKey) Reset 

func (x *DefTemplate_DefKey) Reset()

func (*DefTemplate_DefKey) String 

func (x *DefTemplate_DefKey) String() string

type DefTemplate_DefKey_ComplexKey 

type DefTemplate_DefKey_ComplexKey struct {
	ComplexKey *Expr `protobuf:"bytes,4,opt,name=complex_key,json=complexKey,proto3,oneof"`
}

type DefTemplate_DefKey_Key 

type DefTemplate_DefKey_Key struct {
	Key *KeyExpr `protobuf:"bytes,2,opt,name=key,proto3,oneof"`
}

type DefTemplate_ParamInternedStr 

type DefTemplate_ParamInternedStr struct {
	// *Must be a valid interned identifier*
	ParamInternedStr int32 `protobuf:"varint,11,opt,name=param_interned_str,json=paramInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type DefTemplate_ParamStr 

type DefTemplate_ParamStr struct {
	// *Must be a valid identifier*
	ParamStr string `protobuf:"bytes,2,opt,name=param_str,json=paramStr,proto3,oneof"` // *Available in version < 1.7*
}

type DefTemplate_TyconDname 

type DefTemplate_TyconDname struct {
	TyconDname *DottedName `protobuf:"bytes,1,opt,name=tycon_dname,json=tyconDname,proto3,oneof"`
}

type DefTemplate_TyconInternedDname 

type DefTemplate_TyconInternedDname struct {
	// *Must be a valid interned name*
	TyconInternedDname int32 `protobuf:"varint,12,opt,name=tycon_interned_dname,json=tyconInternedDname,proto3,oneof"` // *Available in versions >= 1.7*
}

type DefTypeSyn 

type DefTypeSyn struct {

	// name of the defined type synonym
	//
	// Types that are assignable to Name:
	//	*DefTypeSyn_NameDname
	//	*DefTypeSyn_NameInternedDname
	Name isDefTypeSyn_Name `protobuf_oneof:"name"`
	// type parameters
	Params   []*TypeVarWithKind `protobuf:"bytes,2,rep,name=params,proto3" json:"params,omitempty"`
	Type     *Type              `protobuf:"bytes,3,opt,name=type,proto3" json:"type,omitempty"`
	Location *Location          `protobuf:"bytes,4,opt,name=location,proto3" json:"location,omitempty"`
	// contains filtered or unexported fields
}

Type synonym definition *Available in versions >= 1.8*

func (*DefTypeSyn) Descriptor deprecated 

func (*DefTypeSyn) Descriptor() ([]byte, []int)

Deprecated: Use DefTypeSyn.ProtoReflect.Descriptor instead.

func (*DefTypeSyn) GetLocation 

func (x *DefTypeSyn) GetLocation() *Location

func (*DefTypeSyn) GetName 

func (m *DefTypeSyn) GetName() isDefTypeSyn_Name

func (*DefTypeSyn) GetNameDname 

func (x *DefTypeSyn) GetNameDname() *DottedName

func (*DefTypeSyn) GetNameInternedDname 

func (x *DefTypeSyn) GetNameInternedDname() int32

func (*DefTypeSyn) GetParams 

func (x *DefTypeSyn) GetParams() []*TypeVarWithKind

func (*DefTypeSyn) GetType 

func (x *DefTypeSyn) GetType() *Type

func (*DefTypeSyn) ProtoMessage 

func (*DefTypeSyn) ProtoMessage()

func (*DefTypeSyn) ProtoReflect 

func (x *DefTypeSyn) ProtoReflect() protoreflect.Message

func (*DefTypeSyn) Reset 

func (x *DefTypeSyn) Reset()

func (*DefTypeSyn) String 

func (x *DefTypeSyn) String() string

type DefTypeSyn_NameDname 

type DefTypeSyn_NameDname struct {
	NameDname *DottedName `protobuf:"bytes,1,opt,name=name_dname,json=nameDname,proto3,oneof"`
}

type DefTypeSyn_NameInternedDname 

type DefTypeSyn_NameInternedDname struct {
	// *Must be a valid interned name*
	NameInternedDname int32 `protobuf:"varint,8,opt,name=name_interned_dname,json=nameInternedDname,proto3,oneof"`
}

type DefValue 

type DefValue struct {
	NameWithType *DefValue_NameWithType `protobuf:"bytes,1,opt,name=name_with_type,json=nameWithType,proto3" json:"name_with_type,omitempty"`
	Expr         *Expr                  `protobuf:"bytes,2,opt,name=expr,proto3" json:"expr,omitempty"`
	// If true, the value must not contain any party literals and not reference
	// values which contain party literals.
	// This flag is used to simplify package validation by not requiring an
	// inference but only a check. Such a check must validate that this flag is
	// set correctly and that templates do not reference values which have this
	// flag set to false.
	NoPartyLiterals bool      `protobuf:"varint,3,opt,name=no_party_literals,json=noPartyLiterals,proto3" json:"no_party_literals,omitempty"`
	IsTest          bool      `protobuf:"varint,4,opt,name=is_test,json=isTest,proto3" json:"is_test,omitempty"`
	Location        *Location `protobuf:"bytes,5,opt,name=location,proto3" json:"location,omitempty"`
	// contains filtered or unexported fields
}

Value definition

func (*DefValue) Descriptor deprecated 

func (*DefValue) Descriptor() ([]byte, []int)

Deprecated: Use DefValue.ProtoReflect.Descriptor instead.

func (*DefValue) GetExpr 

func (x *DefValue) GetExpr() *Expr

func (*DefValue) GetIsTest 

func (x *DefValue) GetIsTest() bool

func (*DefValue) GetLocation 

func (x *DefValue) GetLocation() *Location

func (*DefValue) GetNameWithType 

func (x *DefValue) GetNameWithType() *DefValue_NameWithType

func (*DefValue) GetNoPartyLiterals 

func (x *DefValue) GetNoPartyLiterals() bool

func (*DefValue) ProtoMessage 

func (*DefValue) ProtoMessage()

func (*DefValue) ProtoReflect 

func (x *DefValue) ProtoReflect() protoreflect.Message

func (*DefValue) Reset 

func (x *DefValue) Reset()

func (*DefValue) String 

func (x *DefValue) String() string

type DefValue_NameWithType 

type DefValue_NameWithType struct {

	// *Must a non-empty list a valid identifier*
	NameDname []string `protobuf:"bytes,1,rep,name=name_dname,json=nameDname,proto3" json:"name_dname,omitempty"` // *Available in version < 1.7*
	// *Must be a valid interned name*
	NameInternedDname int32 `protobuf:"varint,3,opt,name=name_interned_dname,json=nameInternedDname,proto3" json:"name_interned_dname,omitempty"` // *Available in versions >= 1.7*
	// Type of the value
	Type *Type `protobuf:"bytes,2,opt,name=type,proto3" json:"type,omitempty"`
	// contains filtered or unexported fields
}

The reason why we have this type instead of just flattening name and type in DefValue is that it was VarWithType before, and we want to be binary-compatible with it.

func (*DefValue_NameWithType) Descriptor deprecated 

func (*DefValue_NameWithType) Descriptor() ([]byte, []int)

Deprecated: Use DefValue_NameWithType.ProtoReflect.Descriptor instead.

func (*DefValue_NameWithType) GetNameDname 

func (x *DefValue_NameWithType) GetNameDname() []string

func (*DefValue_NameWithType) GetNameInternedDname 

func (x *DefValue_NameWithType) GetNameInternedDname() int32

func (*DefValue_NameWithType) GetType 

func (x *DefValue_NameWithType) GetType() *Type

func (*DefValue_NameWithType) ProtoMessage 

func (*DefValue_NameWithType) ProtoMessage()

func (*DefValue_NameWithType) ProtoReflect 

func (x *DefValue_NameWithType) ProtoReflect() protoreflect.Message

func (*DefValue_NameWithType) Reset 

func (x *DefValue_NameWithType) Reset()

func (*DefValue_NameWithType) String 

func (x *DefValue_NameWithType) String() string

type DottedName 

type DottedName struct {

	// *Must be a non-empty list of a valid identifiers*
	Segments []string `protobuf:"bytes,1,rep,name=segments,proto3" json:"segments,omitempty"`
	// contains filtered or unexported fields
}

A `name`, e.g. Util.Either.isLeft *Available in version < 1.7*

func (*DottedName) Descriptor deprecated 

func (*DottedName) Descriptor() ([]byte, []int)

Deprecated: Use DottedName.ProtoReflect.Descriptor instead.

func (*DottedName) GetSegments 

func (x *DottedName) GetSegments() []string

func (*DottedName) ProtoMessage 

func (*DottedName) ProtoMessage()

func (*DottedName) ProtoReflect 

func (x *DottedName) ProtoReflect() protoreflect.Message

func (*DottedName) Reset 

func (x *DottedName) Reset()

func (*DottedName) String 

func (x *DottedName) String() string

type Expr 

type Expr struct {

	// Location of the expression in the Daml code source.
	// Optional
	Location *Location `protobuf:"bytes,25,opt,name=location,proto3" json:"location,omitempty"`
	// Types that are assignable to Sum:
	//	*Expr_VarStr
	//	*Expr_VarInternedStr
	//	*Expr_Val
	//	*Expr_Builtin
	//	*Expr_PrimCon
	//	*Expr_PrimLit
	//	*Expr_RecCon_
	//	*Expr_RecProj_
	//	*Expr_RecUpd_
	//	*Expr_VariantCon_
	//	*Expr_EnumCon_
	//	*Expr_StructCon_
	//	*Expr_StructProj_
	//	*Expr_StructUpd_
	//	*Expr_App_
	//	*Expr_TyApp_
	//	*Expr_Abs_
	//	*Expr_TyAbs_
	//	*Expr_Case
	//	*Expr_Let
	//	*Expr_Nil_
	//	*Expr_Cons_
	//	*Expr_Update
	//	*Expr_Scenario
	//	*Expr_OptionalNone_
	//	*Expr_OptionalSome_
	//	*Expr_ToAny_
	//	*Expr_FromAny_
	//	*Expr_TypeRep
	//	*Expr_ToAnyException_
	//	*Expr_FromAnyException_
	//	*Expr_Throw_
	//	*Expr_Experimental_
	Sum isExpr_Sum `protobuf_oneof:"Sum"`
	// contains filtered or unexported fields
}

Expressions

func (*Expr) Descriptor deprecated 

func (*Expr) Descriptor() ([]byte, []int)

Deprecated: Use Expr.ProtoReflect.Descriptor instead.

func (*Expr) GetAbs 

func (x *Expr) GetAbs() *Expr_Abs

func (*Expr) GetApp 

func (x *Expr) GetApp() *Expr_App

func (*Expr) GetBuiltin 

func (x *Expr) GetBuiltin() BuiltinFunction

func (*Expr) GetCase 

func (x *Expr) GetCase() *Case

func (*Expr) GetCons 

func (x *Expr) GetCons() *Expr_Cons

func (*Expr) GetEnumCon 

func (x *Expr) GetEnumCon() *Expr_EnumCon

func (*Expr) GetExperimental 

func (x *Expr) GetExperimental() *Expr_Experimental

func (*Expr) GetFromAny 

func (x *Expr) GetFromAny() *Expr_FromAny

func (*Expr) GetFromAnyException 

func (x *Expr) GetFromAnyException() *Expr_FromAnyException

func (*Expr) GetLet 

func (x *Expr) GetLet() *Block

func (*Expr) GetLocation 

func (x *Expr) GetLocation() *Location

func (*Expr) GetNil 

func (x *Expr) GetNil() *Expr_Nil

func (*Expr) GetOptionalNone 

func (x *Expr) GetOptionalNone() *Expr_OptionalNone

func (*Expr) GetOptionalSome 

func (x *Expr) GetOptionalSome() *Expr_OptionalSome

func (*Expr) GetPrimCon 

func (x *Expr) GetPrimCon() PrimCon

func (*Expr) GetPrimLit 

func (x *Expr) GetPrimLit() *PrimLit

func (*Expr) GetRecCon 

func (x *Expr) GetRecCon() *Expr_RecCon

func (*Expr) GetRecProj 

func (x *Expr) GetRecProj() *Expr_RecProj

func (*Expr) GetRecUpd 

func (x *Expr) GetRecUpd() *Expr_RecUpd

func (*Expr) GetScenario 

func (x *Expr) GetScenario() *Scenario

func (*Expr) GetStructCon 

func (x *Expr) GetStructCon() *Expr_StructCon

func (*Expr) GetStructProj 

func (x *Expr) GetStructProj() *Expr_StructProj

func (*Expr) GetStructUpd 

func (x *Expr) GetStructUpd() *Expr_StructUpd

func (*Expr) GetSum 

func (m *Expr) GetSum() isExpr_Sum

func (*Expr) GetThrow 

func (x *Expr) GetThrow() *Expr_Throw

func (*Expr) GetToAny 

func (x *Expr) GetToAny() *Expr_ToAny

func (*Expr) GetToAnyException 

func (x *Expr) GetToAnyException() *Expr_ToAnyException

func (*Expr) GetTyAbs 

func (x *Expr) GetTyAbs() *Expr_TyAbs

func (*Expr) GetTyApp 

func (x *Expr) GetTyApp() *Expr_TyApp

func (*Expr) GetTypeRep 

func (x *Expr) GetTypeRep() *Type

func (*Expr) GetUpdate 

func (x *Expr) GetUpdate() *Update

func (*Expr) GetVal 

func (x *Expr) GetVal() *ValName

func (*Expr) GetVarInternedStr 

func (x *Expr) GetVarInternedStr() int32

func (*Expr) GetVarStr 

func (x *Expr) GetVarStr() string

func (*Expr) GetVariantCon 

func (x *Expr) GetVariantCon() *Expr_VariantCon

func (*Expr) ProtoMessage 

func (*Expr) ProtoMessage()

func (*Expr) ProtoReflect 

func (x *Expr) ProtoReflect() protoreflect.Message

func (*Expr) Reset 

func (x *Expr) Reset()

func (*Expr) String 

func (x *Expr) String() string

type Expr_Abs 

type Expr_Abs struct {

	// Abstracted Variables with their kind
	// *Must be non-empty*
	Param []*VarWithType `protobuf:"bytes,1,rep,name=param,proto3" json:"param,omitempty"`
	// Abstracted value
	Body *Expr `protobuf:"bytes,2,opt,name=body,proto3" json:"body,omitempty"`
	// contains filtered or unexported fields
}

Abstraction ('ExpAbs')

func (*Expr_Abs) Descriptor deprecated 

func (*Expr_Abs) Descriptor() ([]byte, []int)

Deprecated: Use Expr_Abs.ProtoReflect.Descriptor instead.

func (*Expr_Abs) GetBody 

func (x *Expr_Abs) GetBody() *Expr

func (*Expr_Abs) GetParam 

func (x *Expr_Abs) GetParam() []*VarWithType

func (*Expr_Abs) ProtoMessage 

func (*Expr_Abs) ProtoMessage()

func (*Expr_Abs) ProtoReflect 

func (x *Expr_Abs) ProtoReflect() protoreflect.Message

func (*Expr_Abs) Reset 

func (x *Expr_Abs) Reset()

func (*Expr_Abs) String 

func (x *Expr_Abs) String() string

type Expr_Abs_ 

type Expr_Abs_ struct {
	// Abstraction ('ExpAbs')
	Abs *Expr_Abs `protobuf:"bytes,13,opt,name=abs,proto3,oneof"`
}

type Expr_App 

type Expr_App struct {

	// Function
	Fun *Expr `protobuf:"bytes,1,opt,name=fun,proto3" json:"fun,omitempty"`
	// Arguments of the function.
	// *Must be non-empty*
	Args []*Expr `protobuf:"bytes,2,rep,name=args,proto3" json:"args,omitempty"`
	// contains filtered or unexported fields
}

Application ('ExpApp')

func (*Expr_App) Descriptor deprecated 

func (*Expr_App) Descriptor() ([]byte, []int)

Deprecated: Use Expr_App.ProtoReflect.Descriptor instead.

func (*Expr_App) GetArgs 

func (x *Expr_App) GetArgs() []*Expr

func (*Expr_App) GetFun 

func (x *Expr_App) GetFun() *Expr

func (*Expr_App) ProtoMessage 

func (*Expr_App) ProtoMessage()

func (*Expr_App) ProtoReflect 

func (x *Expr_App) ProtoReflect() protoreflect.Message

func (*Expr_App) Reset 

func (x *Expr_App) Reset()

func (*Expr_App) String 

func (x *Expr_App) String() string

type Expr_App_ 

type Expr_App_ struct {
	// Application ('ExpApp')
	App *Expr_App `protobuf:"bytes,11,opt,name=app,proto3,oneof"`
}

type Expr_Builtin 

type Expr_Builtin struct {
	// Builtin function ('ExpBuiltin')
	Builtin BuiltinFunction `protobuf:"varint,3,opt,name=builtin,proto3,enum=daml_lf_1.BuiltinFunction,oneof"`
}

type Expr_Case 

type Expr_Case struct {
	// Pattern Matching ('ExpCase')
	Case *Case `protobuf:"bytes,15,opt,name=case,proto3,oneof"`
}

type Expr_Cons 

type Expr_Cons struct {

	// type of the list elements.
	Type *Type `protobuf:"bytes,1,opt,name=type,proto3" json:"type,omitempty"`
	// Front element of the list.
	// *Must be non-empty*
	Front []*Expr `protobuf:"bytes,2,rep,name=front,proto3" json:"front,omitempty"`
	// tail of the list
	Tail *Expr `protobuf:"bytes,3,opt,name=tail,proto3" json:"tail,omitempty"`
	// contains filtered or unexported fields
}

Non empty list

func (*Expr_Cons) Descriptor deprecated 

func (*Expr_Cons) Descriptor() ([]byte, []int)

Deprecated: Use Expr_Cons.ProtoReflect.Descriptor instead.

func (*Expr_Cons) GetFront 

func (x *Expr_Cons) GetFront() []*Expr

func (*Expr_Cons) GetTail 

func (x *Expr_Cons) GetTail() *Expr

func (*Expr_Cons) GetType 

func (x *Expr_Cons) GetType() *Type

func (*Expr_Cons) ProtoMessage 

func (*Expr_Cons) ProtoMessage()

func (*Expr_Cons) ProtoReflect 

func (x *Expr_Cons) ProtoReflect() protoreflect.Message

func (*Expr_Cons) Reset 

func (x *Expr_Cons) Reset()

func (*Expr_Cons) String 

func (x *Expr_Cons) String() string

type Expr_Cons_ 

type Expr_Cons_ struct {
	// Non Empty list ('ExpCons')
	Cons *Expr_Cons `protobuf:"bytes,18,opt,name=cons,proto3,oneof"`
}

type Expr_EnumCon 

type Expr_EnumCon struct {

	// Name of the type constructor name
	Tycon *TypeConName `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"`
	// name of the enum constructor
	//
	// Types that are assignable to EnumCon:
	//	*Expr_EnumCon_EnumConStr
	//	*Expr_EnumCon_EnumConInternedStr
	EnumCon isExpr_EnumCon_EnumCon `protobuf_oneof:"enum_con"`
	// contains filtered or unexported fields
}

Enum construction ('ExpEnumCon') *Available in versions >= 1.6*

func (*Expr_EnumCon) Descriptor deprecated 

func (*Expr_EnumCon) Descriptor() ([]byte, []int)

Deprecated: Use Expr_EnumCon.ProtoReflect.Descriptor instead.

func (*Expr_EnumCon) GetEnumCon 

func (m *Expr_EnumCon) GetEnumCon() isExpr_EnumCon_EnumCon

func (*Expr_EnumCon) GetEnumConInternedStr 

func (x *Expr_EnumCon) GetEnumConInternedStr() int32

func (*Expr_EnumCon) GetEnumConStr 

func (x *Expr_EnumCon) GetEnumConStr() string

func (*Expr_EnumCon) GetTycon 

func (x *Expr_EnumCon) GetTycon() *TypeConName

func (*Expr_EnumCon) ProtoMessage 

func (*Expr_EnumCon) ProtoMessage()

func (*Expr_EnumCon) ProtoReflect 

func (x *Expr_EnumCon) ProtoReflect() protoreflect.Message

func (*Expr_EnumCon) Reset 

func (x *Expr_EnumCon) Reset()

func (*Expr_EnumCon) String 

func (x *Expr_EnumCon) String() string

type Expr_EnumCon_ 

type Expr_EnumCon_ struct {
	// Enum construction ('ExpEnumCon')
	EnumCon *Expr_EnumCon `protobuf:"bytes,28,opt,name=enum_con,json=enumCon,proto3,oneof"` // *Available in versions >= 1.6*
}

type Expr_EnumCon_EnumConInternedStr 

type Expr_EnumCon_EnumConInternedStr struct {
	// *Must be a valid interned identifier*
	EnumConInternedStr int32 `protobuf:"varint,3,opt,name=enum_con_interned_str,json=enumConInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type Expr_EnumCon_EnumConStr 

type Expr_EnumCon_EnumConStr struct {
	// *Must be a valid identifier*
	EnumConStr string `protobuf:"bytes,2,opt,name=enum_con_str,json=enumConStr,proto3,oneof"` // *Available in version < 1.7*
}

type Expr_Experimental 

type Expr_Experimental struct {
	Name string `protobuf:"bytes,1,opt,name=name,proto3" json:"name,omitempty"`
	Type *Type  `protobuf:"bytes,2,opt,name=type,proto3" json:"type,omitempty"`
	// contains filtered or unexported fields
}

func (*Expr_Experimental) Descriptor deprecated 

func (*Expr_Experimental) Descriptor() ([]byte, []int)

Deprecated: Use Expr_Experimental.ProtoReflect.Descriptor instead.

func (*Expr_Experimental) GetName 

func (x *Expr_Experimental) GetName() string

func (*Expr_Experimental) GetType 

func (x *Expr_Experimental) GetType() *Type

func (*Expr_Experimental) ProtoMessage 

func (*Expr_Experimental) ProtoMessage()

func (*Expr_Experimental) ProtoReflect 

func (x *Expr_Experimental) ProtoReflect() protoreflect.Message

func (*Expr_Experimental) Reset 

func (x *Expr_Experimental) Reset()

func (*Expr_Experimental) String 

func (x *Expr_Experimental) String() string

type Expr_Experimental_ 

type Expr_Experimental_ struct {
	Experimental *Expr_Experimental `protobuf:"bytes,9999,opt,name=experimental,proto3,oneof"` // *Available only in 1.dev*
}

type Expr_FromAny 

type Expr_FromAny struct {

	// type that should be extracted. Must be the TypeConName of a template.
	Type *Type `protobuf:"bytes,1,opt,name=type,proto3" json:"type,omitempty"`
	// Value of type Any
	Expr *Expr `protobuf:"bytes,2,opt,name=expr,proto3" json:"expr,omitempty"`
	// contains filtered or unexported fields
}

Extract the given type from Any or return None on type-mismatch *Available in versions >= 1.7*

func (*Expr_FromAny) Descriptor deprecated 

func (*Expr_FromAny) Descriptor() ([]byte, []int)

Deprecated: Use Expr_FromAny.ProtoReflect.Descriptor instead.

func (*Expr_FromAny) GetExpr 

func (x *Expr_FromAny) GetExpr() *Expr

func (*Expr_FromAny) GetType 

func (x *Expr_FromAny) GetType() *Type

func (*Expr_FromAny) ProtoMessage 

func (*Expr_FromAny) ProtoMessage()

func (*Expr_FromAny) ProtoReflect 

func (x *Expr_FromAny) ProtoReflect() protoreflect.Message

func (*Expr_FromAny) Reset 

func (x *Expr_FromAny) Reset()

func (*Expr_FromAny) String 

func (x *Expr_FromAny) String() string

type Expr_FromAnyException 

type Expr_FromAnyException struct {

	// type that should be extracted. Must be an exception type.
	Type *Type `protobuf:"bytes,1,opt,name=type,proto3" json:"type,omitempty"`
	// Value of type AnyException
	Expr *Expr `protobuf:"bytes,2,opt,name=expr,proto3" json:"expr,omitempty"`
	// contains filtered or unexported fields
}

Extract the given exception type from AnyException or return None on type-mismatch *Available in versions >= 1.14*

func (*Expr_FromAnyException) Descriptor deprecated 

func (*Expr_FromAnyException) Descriptor() ([]byte, []int)

Deprecated: Use Expr_FromAnyException.ProtoReflect.Descriptor instead.

func (*Expr_FromAnyException) GetExpr 

func (x *Expr_FromAnyException) GetExpr() *Expr

func (*Expr_FromAnyException) GetType 

func (x *Expr_FromAnyException) GetType() *Type

func (*Expr_FromAnyException) ProtoMessage 

func (*Expr_FromAnyException) ProtoMessage()

func (*Expr_FromAnyException) ProtoReflect 

func (x *Expr_FromAnyException) ProtoReflect() protoreflect.Message

func (*Expr_FromAnyException) Reset 

func (x *Expr_FromAnyException) Reset()

func (*Expr_FromAnyException) String 

func (x *Expr_FromAnyException) String() string

type Expr_FromAnyException_ 

type Expr_FromAnyException_ struct {
	// Extract an arbitrary exception from an AnyException ('ExpFromAnyException').
	// *Available in versions >= 1.14*
	FromAnyException *Expr_FromAnyException `protobuf:"bytes,34,opt,name=from_any_exception,json=fromAnyException,proto3,oneof"`
}

type Expr_FromAny_ 

type Expr_FromAny_ struct {
	// Extract the given type from Any or return None on type-mismatch ('ExpFromAny')
	// *Available in versions >= 1.7*
	FromAny *Expr_FromAny `protobuf:"bytes,31,opt,name=from_any,json=fromAny,proto3,oneof"`
}

type Expr_Let 

type Expr_Let struct {
	// Let block ('ExpLet')
	Let *Block `protobuf:"bytes,16,opt,name=let,proto3,oneof"`
}

type Expr_Nil 

type Expr_Nil struct {

	// type of the list elements.
	Type *Type `protobuf:"bytes,1,opt,name=type,proto3" json:"type,omitempty"`
	// contains filtered or unexported fields
}

Empty list ('ExpNil')

func (*Expr_Nil) Descriptor deprecated 

func (*Expr_Nil) Descriptor() ([]byte, []int)

Deprecated: Use Expr_Nil.ProtoReflect.Descriptor instead.

func (*Expr_Nil) GetType 

func (x *Expr_Nil) GetType() *Type

func (*Expr_Nil) ProtoMessage 

func (*Expr_Nil) ProtoMessage()

func (*Expr_Nil) ProtoReflect 

func (x *Expr_Nil) ProtoReflect() protoreflect.Message

func (*Expr_Nil) Reset 

func (x *Expr_Nil) Reset()

func (*Expr_Nil) String 

func (x *Expr_Nil) String() string

type Expr_Nil_ 

type Expr_Nil_ struct {
	// Empty List ('ExpNil')
	Nil *Expr_Nil `protobuf:"bytes,17,opt,name=nil,proto3,oneof"`
}

type Expr_OptionalNone 

type Expr_OptionalNone struct {

	// type of the element
	Type *Type `protobuf:"bytes,1,opt,name=type,proto3" json:"type,omitempty"`
	// contains filtered or unexported fields
}

(*Since version 1*) Empty optional value

func (*Expr_OptionalNone) Descriptor deprecated 

func (*Expr_OptionalNone) Descriptor() ([]byte, []int)

Deprecated: Use Expr_OptionalNone.ProtoReflect.Descriptor instead.

func (*Expr_OptionalNone) GetType 

func (x *Expr_OptionalNone) GetType() *Type

func (*Expr_OptionalNone) ProtoMessage 

func (*Expr_OptionalNone) ProtoMessage()

func (*Expr_OptionalNone) ProtoReflect 

func (x *Expr_OptionalNone) ProtoReflect() protoreflect.Message

func (*Expr_OptionalNone) Reset 

func (x *Expr_OptionalNone) Reset()

func (*Expr_OptionalNone) String 

func (x *Expr_OptionalNone) String() string

type Expr_OptionalNone_ 

type Expr_OptionalNone_ struct {
	// empty optional value ('ExpNone')
	// *Available in versions >= 1.1*
	OptionalNone *Expr_OptionalNone `protobuf:"bytes,26,opt,name=optional_none,json=optionalNone,proto3,oneof"`
}

type Expr_OptionalSome 

type Expr_OptionalSome struct {

	// type of the element
	Type *Type `protobuf:"bytes,1,opt,name=type,proto3" json:"type,omitempty"`
	// contained value
	// FixMe: renamed to 'value'
	Body *Expr `protobuf:"bytes,2,opt,name=body,proto3" json:"body,omitempty"`
	// contains filtered or unexported fields
}

(*Since version 1*) Non empty optional value

func (*Expr_OptionalSome) Descriptor deprecated 

func (*Expr_OptionalSome) Descriptor() ([]byte, []int)

Deprecated: Use Expr_OptionalSome.ProtoReflect.Descriptor instead.

func (*Expr_OptionalSome) GetBody 

func (x *Expr_OptionalSome) GetBody() *Expr

func (*Expr_OptionalSome) GetType 

func (x *Expr_OptionalSome) GetType() *Type

func (*Expr_OptionalSome) ProtoMessage 

func (*Expr_OptionalSome) ProtoMessage()

func (*Expr_OptionalSome) ProtoReflect 

func (x *Expr_OptionalSome) ProtoReflect() protoreflect.Message

func (*Expr_OptionalSome) Reset 

func (x *Expr_OptionalSome) Reset()

func (*Expr_OptionalSome) String 

func (x *Expr_OptionalSome) String() string

type Expr_OptionalSome_ 

type Expr_OptionalSome_ struct {
	// non empty optional value ('ExpSome')
	// *Available in versions >= 1.1*
	OptionalSome *Expr_OptionalSome `protobuf:"bytes,27,opt,name=optional_some,json=optionalSome,proto3,oneof"`
}

type Expr_PrimCon 

type Expr_PrimCon struct {
	// Primitive constructor ('()', 'False' or 'True')
	PrimCon PrimCon `protobuf:"varint,4,opt,name=prim_con,json=primCon,proto3,enum=daml_lf_1.PrimCon,oneof"`
}

type Expr_PrimLit 

type Expr_PrimLit struct {
	// Builtin literal ('ExpBuiltin')
	PrimLit *PrimLit `protobuf:"bytes,5,opt,name=prim_lit,json=primLit,proto3,oneof"`
}

type Expr_RecCon 

type Expr_RecCon struct {

	// type of the record being constructed
	Tycon *Type_Con `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"`
	// Field names and the associated values.
	Fields []*FieldWithExpr `protobuf:"bytes,2,rep,name=fields,proto3" json:"fields,omitempty"`
	// contains filtered or unexported fields
}

Record construction ('ExpRecCon')

func (*Expr_RecCon) Descriptor deprecated 

func (*Expr_RecCon) Descriptor() ([]byte, []int)

Deprecated: Use Expr_RecCon.ProtoReflect.Descriptor instead.

func (*Expr_RecCon) GetFields 

func (x *Expr_RecCon) GetFields() []*FieldWithExpr

func (*Expr_RecCon) GetTycon 

func (x *Expr_RecCon) GetTycon() *Type_Con

func (*Expr_RecCon) ProtoMessage 

func (*Expr_RecCon) ProtoMessage()

func (*Expr_RecCon) ProtoReflect 

func (x *Expr_RecCon) ProtoReflect() protoreflect.Message

func (*Expr_RecCon) Reset 

func (x *Expr_RecCon) Reset()

func (*Expr_RecCon) String 

func (x *Expr_RecCon) String() string

type Expr_RecCon_ 

type Expr_RecCon_ struct {
	// Record construction ('ExpRecCon')
	RecCon *Expr_RecCon `protobuf:"bytes,6,opt,name=rec_con,json=recCon,proto3,oneof"`
}

type Expr_RecProj 

type Expr_RecProj struct {

	// type of the record being projected.
	Tycon *Type_Con `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"`
	// Name of the record field to be projected on.
	//
	// Types that are assignable to Field:
	//	*Expr_RecProj_FieldStr
	//	*Expr_RecProj_FieldInternedStr
	Field isExpr_RecProj_Field `protobuf_oneof:"field"`
	// projected expression
	Record *Expr `protobuf:"bytes,3,opt,name=record,proto3" json:"record,omitempty"`
	// contains filtered or unexported fields
}

Record projection (ExpRecProj)

func (*Expr_RecProj) Descriptor deprecated 

func (*Expr_RecProj) Descriptor() ([]byte, []int)

Deprecated: Use Expr_RecProj.ProtoReflect.Descriptor instead.

func (*Expr_RecProj) GetField 

func (m *Expr_RecProj) GetField() isExpr_RecProj_Field

func (*Expr_RecProj) GetFieldInternedStr 

func (x *Expr_RecProj) GetFieldInternedStr() int32

func (*Expr_RecProj) GetFieldStr 

func (x *Expr_RecProj) GetFieldStr() string

func (*Expr_RecProj) GetRecord 

func (x *Expr_RecProj) GetRecord() *Expr

func (*Expr_RecProj) GetTycon 

func (x *Expr_RecProj) GetTycon() *Type_Con

func (*Expr_RecProj) ProtoMessage 

func (*Expr_RecProj) ProtoMessage()

func (*Expr_RecProj) ProtoReflect 

func (x *Expr_RecProj) ProtoReflect() protoreflect.Message

func (*Expr_RecProj) Reset 

func (x *Expr_RecProj) Reset()

func (*Expr_RecProj) String 

func (x *Expr_RecProj) String() string

type Expr_RecProj_ 

type Expr_RecProj_ struct {
	// Record projection ('ExpRecProj')
	RecProj *Expr_RecProj `protobuf:"bytes,7,opt,name=rec_proj,json=recProj,proto3,oneof"`
}

type Expr_RecProj_FieldInternedStr 

type Expr_RecProj_FieldInternedStr struct {
	// *Must be a valid interned identifier*
	FieldInternedStr int32 `protobuf:"varint,4,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type Expr_RecProj_FieldStr 

type Expr_RecProj_FieldStr struct {
	// *Must be a valid identifier*
	FieldStr string `protobuf:"bytes,2,opt,name=field_str,json=fieldStr,proto3,oneof"` // *Available in version < 1.7*
}

type Expr_RecUpd 

type Expr_RecUpd struct {

	// type of the record being updated
	Tycon *Type_Con `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"`
	// Name of the updated field.
	//
	// Types that are assignable to Field:
	//	*Expr_RecUpd_FieldStr
	//	*Expr_RecUpd_FieldInternedStr
	Field isExpr_RecUpd_Field `protobuf_oneof:"field"`
	// Actual record being updated
	Record *Expr `protobuf:"bytes,3,opt,name=record,proto3" json:"record,omitempty"`
	// Value to wich the record is udpated
	Update *Expr `protobuf:"bytes,4,opt,name=update,proto3" json:"update,omitempty"`
	// contains filtered or unexported fields
}

Record update ('ExpRecUp')

func (*Expr_RecUpd) Descriptor deprecated 

func (*Expr_RecUpd) Descriptor() ([]byte, []int)

Deprecated: Use Expr_RecUpd.ProtoReflect.Descriptor instead.

func (*Expr_RecUpd) GetField 

func (m *Expr_RecUpd) GetField() isExpr_RecUpd_Field

func (*Expr_RecUpd) GetFieldInternedStr 

func (x *Expr_RecUpd) GetFieldInternedStr() int32

func (*Expr_RecUpd) GetFieldStr 

func (x *Expr_RecUpd) GetFieldStr() string

func (*Expr_RecUpd) GetRecord 

func (x *Expr_RecUpd) GetRecord() *Expr

func (*Expr_RecUpd) GetTycon 

func (x *Expr_RecUpd) GetTycon() *Type_Con

func (*Expr_RecUpd) GetUpdate 

func (x *Expr_RecUpd) GetUpdate() *Expr

func (*Expr_RecUpd) ProtoMessage 

func (*Expr_RecUpd) ProtoMessage()

func (*Expr_RecUpd) ProtoReflect 

func (x *Expr_RecUpd) ProtoReflect() protoreflect.Message

func (*Expr_RecUpd) Reset 

func (x *Expr_RecUpd) Reset()

func (*Expr_RecUpd) String 

func (x *Expr_RecUpd) String() string

type Expr_RecUpd_ 

type Expr_RecUpd_ struct {
	// Record udpate ('ExpRecUpdate')
	RecUpd *Expr_RecUpd `protobuf:"bytes,22,opt,name=rec_upd,json=recUpd,proto3,oneof"`
}

type Expr_RecUpd_FieldInternedStr 

type Expr_RecUpd_FieldInternedStr struct {
	// *Must be a valid interned identifier*
	FieldInternedStr int32 `protobuf:"varint,5,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type Expr_RecUpd_FieldStr 

type Expr_RecUpd_FieldStr struct {
	// *Must be a valid identifier*
	FieldStr string `protobuf:"bytes,2,opt,name=field_str,json=fieldStr,proto3,oneof"` // *Available in version < 1.7*
}

type Expr_Scenario 

type Expr_Scenario struct {
	// Scenario Expression ('ExpScenario')
	Scenario *Scenario `protobuf:"bytes,21,opt,name=scenario,proto3,oneof"`
}

type Expr_StructCon 

type Expr_StructCon struct {

	// Field names and their associated values.
	Fields []*FieldWithExpr `protobuf:"bytes,1,rep,name=fields,proto3" json:"fields,omitempty"`
	// contains filtered or unexported fields
}

Struct Construction ('ExpStructCon')

func (*Expr_StructCon) Descriptor deprecated 

func (*Expr_StructCon) Descriptor() ([]byte, []int)

Deprecated: Use Expr_StructCon.ProtoReflect.Descriptor instead.

func (*Expr_StructCon) GetFields 

func (x *Expr_StructCon) GetFields() []*FieldWithExpr

func (*Expr_StructCon) ProtoMessage 

func (*Expr_StructCon) ProtoMessage()

func (*Expr_StructCon) ProtoReflect 

func (x *Expr_StructCon) ProtoReflect() protoreflect.Message

func (*Expr_StructCon) Reset 

func (x *Expr_StructCon) Reset()

func (*Expr_StructCon) String 

func (x *Expr_StructCon) String() string

type Expr_StructCon_ 

type Expr_StructCon_ struct {
	// Struct construction ('ExpStructCon')
	StructCon *Expr_StructCon `protobuf:"bytes,9,opt,name=struct_con,json=structCon,proto3,oneof"`
}

type Expr_StructProj 

type Expr_StructProj struct {

	// Name of the field to be projected on.
	//
	// Types that are assignable to Field:
	//	*Expr_StructProj_FieldStr
	//	*Expr_StructProj_FieldInternedStr
	Field isExpr_StructProj_Field `protobuf_oneof:"field"`
	// struct to be projected.
	Struct *Expr `protobuf:"bytes,2,opt,name=struct,proto3" json:"struct,omitempty"`
	// contains filtered or unexported fields
}

Struct Projection ('ExpStructProj')

func (*Expr_StructProj) Descriptor deprecated 

func (*Expr_StructProj) Descriptor() ([]byte, []int)

Deprecated: Use Expr_StructProj.ProtoReflect.Descriptor instead.

func (*Expr_StructProj) GetField 

func (m *Expr_StructProj) GetField() isExpr_StructProj_Field

func (*Expr_StructProj) GetFieldInternedStr 

func (x *Expr_StructProj) GetFieldInternedStr() int32

func (*Expr_StructProj) GetFieldStr 

func (x *Expr_StructProj) GetFieldStr() string

func (*Expr_StructProj) GetStruct 

func (x *Expr_StructProj) GetStruct() *Expr

func (*Expr_StructProj) ProtoMessage 

func (*Expr_StructProj) ProtoMessage()

func (*Expr_StructProj) ProtoReflect 

func (x *Expr_StructProj) ProtoReflect() protoreflect.Message

func (*Expr_StructProj) Reset 

func (x *Expr_StructProj) Reset()

func (*Expr_StructProj) String 

func (x *Expr_StructProj) String() string

type Expr_StructProj_ 

type Expr_StructProj_ struct {
	// Struct project ('ExpStructProj')
	StructProj *Expr_StructProj `protobuf:"bytes,10,opt,name=struct_proj,json=structProj,proto3,oneof"`
}

type Expr_StructProj_FieldInternedStr 

type Expr_StructProj_FieldInternedStr struct {
	// *Must be a valid interned identifier*
	FieldInternedStr int32 `protobuf:"varint,3,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type Expr_StructProj_FieldStr 

type Expr_StructProj_FieldStr struct {
	// *Must be a valid Identifier*
	FieldStr string `protobuf:"bytes,1,opt,name=field_str,json=fieldStr,proto3,oneof"` // *Available in version < 1.7*
}

type Expr_StructUpd 

type Expr_StructUpd struct {

	// Name of the updated field.
	//
	// Types that are assignable to Field:
	//	*Expr_StructUpd_FieldStr
	//	*Expr_StructUpd_FieldInternedStr
	Field isExpr_StructUpd_Field `protobuf_oneof:"field"`
	// Actual struct being updated.
	Struct *Expr `protobuf:"bytes,2,opt,name=struct,proto3" json:"struct,omitempty"`
	// Value to which the record is udpated.
	Update *Expr `protobuf:"bytes,3,opt,name=update,proto3" json:"update,omitempty"`
	// contains filtered or unexported fields
}

Struct update ('ExpTuplUpdate')

func (*Expr_StructUpd) Descriptor deprecated 

func (*Expr_StructUpd) Descriptor() ([]byte, []int)

Deprecated: Use Expr_StructUpd.ProtoReflect.Descriptor instead.

func (*Expr_StructUpd) GetField 

func (m *Expr_StructUpd) GetField() isExpr_StructUpd_Field

func (*Expr_StructUpd) GetFieldInternedStr 

func (x *Expr_StructUpd) GetFieldInternedStr() int32

func (*Expr_StructUpd) GetFieldStr 

func (x *Expr_StructUpd) GetFieldStr() string

func (*Expr_StructUpd) GetStruct 

func (x *Expr_StructUpd) GetStruct() *Expr

func (*Expr_StructUpd) GetUpdate 

func (x *Expr_StructUpd) GetUpdate() *Expr

func (*Expr_StructUpd) ProtoMessage 

func (*Expr_StructUpd) ProtoMessage()

func (*Expr_StructUpd) ProtoReflect 

func (x *Expr_StructUpd) ProtoReflect() protoreflect.Message

func (*Expr_StructUpd) Reset 

func (x *Expr_StructUpd) Reset()

func (*Expr_StructUpd) String 

func (x *Expr_StructUpd) String() string

type Expr_StructUpd_ 

type Expr_StructUpd_ struct {
	// Struct update ('ExpStructUpdate')
	StructUpd *Expr_StructUpd `protobuf:"bytes,23,opt,name=struct_upd,json=structUpd,proto3,oneof"`
}

type Expr_StructUpd_FieldInternedStr 

type Expr_StructUpd_FieldInternedStr struct {
	// *Must be a valid interned identifier*
	FieldInternedStr int32 `protobuf:"varint,4,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type Expr_StructUpd_FieldStr 

type Expr_StructUpd_FieldStr struct {
	// *Must be a valid identifier*.
	FieldStr string `protobuf:"bytes,1,opt,name=field_str,json=fieldStr,proto3,oneof"` // *Available in version < 1.7*
}

type Expr_Throw 

type Expr_Throw struct {

	// Overall type of the "throw" expression.
	ReturnType *Type `protobuf:"bytes,1,opt,name=return_type,json=returnType,proto3" json:"return_type,omitempty"`
	// Type of exception to throw. Must be an exception type.
	ExceptionType *Type `protobuf:"bytes,2,opt,name=exception_type,json=exceptionType,proto3" json:"exception_type,omitempty"`
	// Value of type "exception_type".
	ExceptionExpr *Expr `protobuf:"bytes,3,opt,name=exception_expr,json=exceptionExpr,proto3" json:"exception_expr,omitempty"`
	// contains filtered or unexported fields
}

Throw an exception. *Available in versions >= 1.14*

func (*Expr_Throw) Descriptor deprecated 

func (*Expr_Throw) Descriptor() ([]byte, []int)

Deprecated: Use Expr_Throw.ProtoReflect.Descriptor instead.

func (*Expr_Throw) GetExceptionExpr 

func (x *Expr_Throw) GetExceptionExpr() *Expr

func (*Expr_Throw) GetExceptionType 

func (x *Expr_Throw) GetExceptionType() *Type

func (*Expr_Throw) GetReturnType 

func (x *Expr_Throw) GetReturnType() *Type

func (*Expr_Throw) ProtoMessage 

func (*Expr_Throw) ProtoMessage()

func (*Expr_Throw) ProtoReflect 

func (x *Expr_Throw) ProtoReflect() protoreflect.Message

func (*Expr_Throw) Reset 

func (x *Expr_Throw) Reset()

func (*Expr_Throw) String 

func (x *Expr_Throw) String() string

type Expr_Throw_ 

type Expr_Throw_ struct {
	// Throw an exception ('ExpThrow').
	// *Available in versions >= 1.14*
	Throw *Expr_Throw `protobuf:"bytes,35,opt,name=throw,proto3,oneof"`
}

type Expr_ToAny 

type Expr_ToAny struct {

	// type of argument. Must be the TypeConName of a template.
	Type *Type `protobuf:"bytes,1,opt,name=type,proto3" json:"type,omitempty"`
	// argument
	Expr *Expr `protobuf:"bytes,2,opt,name=expr,proto3" json:"expr,omitempty"`
	// contains filtered or unexported fields
}

Wrap a value in Any *Available in versions >= 1.7*

func (*Expr_ToAny) Descriptor deprecated 

func (*Expr_ToAny) Descriptor() ([]byte, []int)

Deprecated: Use Expr_ToAny.ProtoReflect.Descriptor instead.

func (*Expr_ToAny) GetExpr 

func (x *Expr_ToAny) GetExpr() *Expr

func (*Expr_ToAny) GetType 

func (x *Expr_ToAny) GetType() *Type

func (*Expr_ToAny) ProtoMessage 

func (*Expr_ToAny) ProtoMessage()

func (*Expr_ToAny) ProtoReflect 

func (x *Expr_ToAny) ProtoReflect() protoreflect.Message

func (*Expr_ToAny) Reset 

func (x *Expr_ToAny) Reset()

func (*Expr_ToAny) String 

func (x *Expr_ToAny) String() string

type Expr_ToAnyException 

type Expr_ToAnyException struct {

	// type of argument. Must be an exception type.
	Type *Type `protobuf:"bytes,1,opt,name=type,proto3" json:"type,omitempty"`
	// argument
	Expr *Expr `protobuf:"bytes,2,opt,name=expr,proto3" json:"expr,omitempty"`
	// contains filtered or unexported fields
}

Wrap an exception value in AnyException *Available in versions >= 1.14*

func (*Expr_ToAnyException) Descriptor deprecated 

func (*Expr_ToAnyException) Descriptor() ([]byte, []int)

Deprecated: Use Expr_ToAnyException.ProtoReflect.Descriptor instead.

func (*Expr_ToAnyException) GetExpr 

func (x *Expr_ToAnyException) GetExpr() *Expr

func (*Expr_ToAnyException) GetType 

func (x *Expr_ToAnyException) GetType() *Type

func (*Expr_ToAnyException) ProtoMessage 

func (*Expr_ToAnyException) ProtoMessage()

func (*Expr_ToAnyException) ProtoReflect 

func (x *Expr_ToAnyException) ProtoReflect() protoreflect.Message

func (*Expr_ToAnyException) Reset 

func (x *Expr_ToAnyException) Reset()

func (*Expr_ToAnyException) String 

func (x *Expr_ToAnyException) String() string

type Expr_ToAnyException_ 

type Expr_ToAnyException_ struct {
	// Wrap an arbitrary exception into an AnyException ('ExpToAnyException').
	// *Available in versions >= 1.14*
	ToAnyException *Expr_ToAnyException `protobuf:"bytes,33,opt,name=to_any_exception,json=toAnyException,proto3,oneof"`
}

type Expr_ToAny_ 

type Expr_ToAny_ struct {
	// Wrap an arbitrary value in Any ('ExpToAny')
	// *Available in versions >= 1.7*
	ToAny *Expr_ToAny `protobuf:"bytes,30,opt,name=to_any,json=toAny,proto3,oneof"`
}

type Expr_TyAbs 

type Expr_TyAbs struct {

	// Abstracted Variables with their type
	// *Must be non-empty*
	Param []*TypeVarWithKind `protobuf:"bytes,1,rep,name=param,proto3" json:"param,omitempty"`
	// Abstracted value
	Body *Expr `protobuf:"bytes,2,opt,name=body,proto3" json:"body,omitempty"`
	// contains filtered or unexported fields
}

func (*Expr_TyAbs) Descriptor deprecated 

func (*Expr_TyAbs) Descriptor() ([]byte, []int)

Deprecated: Use Expr_TyAbs.ProtoReflect.Descriptor instead.

func (*Expr_TyAbs) GetBody 

func (x *Expr_TyAbs) GetBody() *Expr

func (*Expr_TyAbs) GetParam 

func (x *Expr_TyAbs) GetParam() []*TypeVarWithKind

func (*Expr_TyAbs) ProtoMessage 

func (*Expr_TyAbs) ProtoMessage()

func (*Expr_TyAbs) ProtoReflect 

func (x *Expr_TyAbs) ProtoReflect() protoreflect.Message

func (*Expr_TyAbs) Reset 

func (x *Expr_TyAbs) Reset()

func (*Expr_TyAbs) String 

func (x *Expr_TyAbs) String() string

type Expr_TyAbs_ 

type Expr_TyAbs_ struct {
	// Type Abstraction ('ExpTyAbs')
	TyAbs *Expr_TyAbs `protobuf:"bytes,14,opt,name=ty_abs,json=tyAbs,proto3,oneof"`
}

type Expr_TyApp 

type Expr_TyApp struct {

	// Polymorphic expression
	Expr *Expr `protobuf:"bytes,1,opt,name=expr,proto3" json:"expr,omitempty"`
	// Arguments of the function.
	// *Must be non-empty*
	Types []*Type `protobuf:"bytes,2,rep,name=types,proto3" json:"types,omitempty"`
	// contains filtered or unexported fields
}

Type application ('ExpTyApp')

func (*Expr_TyApp) Descriptor deprecated 

func (*Expr_TyApp) Descriptor() ([]byte, []int)

Deprecated: Use Expr_TyApp.ProtoReflect.Descriptor instead.

func (*Expr_TyApp) GetExpr 

func (x *Expr_TyApp) GetExpr() *Expr

func (*Expr_TyApp) GetTypes 

func (x *Expr_TyApp) GetTypes() []*Type

func (*Expr_TyApp) ProtoMessage 

func (*Expr_TyApp) ProtoMessage()

func (*Expr_TyApp) ProtoReflect 

func (x *Expr_TyApp) ProtoReflect() protoreflect.Message

func (*Expr_TyApp) Reset 

func (x *Expr_TyApp) Reset()

func (*Expr_TyApp) String 

func (x *Expr_TyApp) String() string

type Expr_TyApp_ 

type Expr_TyApp_ struct {
	// Type Application ('ExpTyApp')
	TyApp *Expr_TyApp `protobuf:"bytes,12,opt,name=ty_app,json=tyApp,proto3,oneof"`
}

type Expr_TypeRep 

type Expr_TypeRep struct {
	// A type representation
	// *Available in versions >= 1.7*
	TypeRep *Type `protobuf:"bytes,32,opt,name=type_rep,json=typeRep,proto3,oneof"`
}

type Expr_Update 

type Expr_Update struct {
	// Update expression ('ExpUpdate')
	Update *Update `protobuf:"bytes,20,opt,name=update,proto3,oneof"`
}

type Expr_Val 

type Expr_Val struct {
	// Defined value ('ExpVal')
	Val *ValName `protobuf:"bytes,2,opt,name=val,proto3,oneof"`
}

type Expr_VarInternedStr 

type Expr_VarInternedStr struct {
	// *Must be a valid interned identifier*
	VarInternedStr int32 `protobuf:"varint,29,opt,name=var_interned_str,json=varInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type Expr_VarStr 

type Expr_VarStr struct {
	// *Must be a valid identifier*
	VarStr string `protobuf:"bytes,1,opt,name=var_str,json=varStr,proto3,oneof"` // *Available in version < 1.7*
}

type Expr_VariantCon 

type Expr_VariantCon struct {

	// type of the variant being constructed
	Tycon *Type_Con `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"`
	// name of the variant constructor
	//
	// Types that are assignable to VariantCon:
	//	*Expr_VariantCon_VariantConStr
	//	*Expr_VariantCon_VariantConInternedStr
	VariantCon isExpr_VariantCon_VariantCon `protobuf_oneof:"variant_con"`
	// Argument of the variant.
	VariantArg *Expr `protobuf:"bytes,3,opt,name=variant_arg,json=variantArg,proto3" json:"variant_arg,omitempty"`
	// contains filtered or unexported fields
}

Variant construction ('ExpVariantCon')

func (*Expr_VariantCon) Descriptor deprecated 

func (*Expr_VariantCon) Descriptor() ([]byte, []int)

Deprecated: Use Expr_VariantCon.ProtoReflect.Descriptor instead.

func (*Expr_VariantCon) GetTycon 

func (x *Expr_VariantCon) GetTycon() *Type_Con

func (*Expr_VariantCon) GetVariantArg 

func (x *Expr_VariantCon) GetVariantArg() *Expr

func (*Expr_VariantCon) GetVariantCon 

func (m *Expr_VariantCon) GetVariantCon() isExpr_VariantCon_VariantCon

func (*Expr_VariantCon) GetVariantConInternedStr 

func (x *Expr_VariantCon) GetVariantConInternedStr() int32

func (*Expr_VariantCon) GetVariantConStr 

func (x *Expr_VariantCon) GetVariantConStr() string

func (*Expr_VariantCon) ProtoMessage 

func (*Expr_VariantCon) ProtoMessage()

func (*Expr_VariantCon) ProtoReflect 

func (x *Expr_VariantCon) ProtoReflect() protoreflect.Message

func (*Expr_VariantCon) Reset 

func (x *Expr_VariantCon) Reset()

func (*Expr_VariantCon) String 

func (x *Expr_VariantCon) String() string

type Expr_VariantCon_ 

type Expr_VariantCon_ struct {
	// Variant construction ('ExpVariantCon')
	VariantCon *Expr_VariantCon `protobuf:"bytes,8,opt,name=variant_con,json=variantCon,proto3,oneof"`
}

type Expr_VariantCon_VariantConInternedStr 

type Expr_VariantCon_VariantConInternedStr struct {
	// *Must be a valid interned identifier*
	VariantConInternedStr int32 `protobuf:"varint,4,opt,name=variant_con_interned_str,json=variantConInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type Expr_VariantCon_VariantConStr 

type Expr_VariantCon_VariantConStr struct {
	// *Must be a valid identifier*
	VariantConStr string `protobuf:"bytes,2,opt,name=variant_con_str,json=variantConStr,proto3,oneof"` // *Available in version < 1.7*
}

type FeatureFlags 

type FeatureFlags struct {
	ForbidPartyLiterals                        bool `protobuf:"varint,1,opt,name=forbidPartyLiterals,proto3" json:"forbidPartyLiterals,omitempty"`
	DontDivulgeContractIdsInCreateArguments    bool `` /* 132-byte string literal not displayed */
	DontDiscloseNonConsumingChoicesToObservers bool `` /* 138-byte string literal not displayed */
	// contains filtered or unexported fields
}

func (*FeatureFlags) Descriptor deprecated 

func (*FeatureFlags) Descriptor() ([]byte, []int)

Deprecated: Use FeatureFlags.ProtoReflect.Descriptor instead.

func (*FeatureFlags) GetDontDiscloseNonConsumingChoicesToObservers 

func (x *FeatureFlags) GetDontDiscloseNonConsumingChoicesToObservers() bool

func (*FeatureFlags) GetDontDivulgeContractIdsInCreateArguments 

func (x *FeatureFlags) GetDontDivulgeContractIdsInCreateArguments() bool

func (*FeatureFlags) GetForbidPartyLiterals 

func (x *FeatureFlags) GetForbidPartyLiterals() bool

func (*FeatureFlags) ProtoMessage 

func (*FeatureFlags) ProtoMessage()

func (*FeatureFlags) ProtoReflect 

func (x *FeatureFlags) ProtoReflect() protoreflect.Message

func (*FeatureFlags) Reset 

func (x *FeatureFlags) Reset()

func (*FeatureFlags) String 

func (x *FeatureFlags) String() string

type FieldWithExpr 

type FieldWithExpr struct {

	// Types that are assignable to Field:
	//	*FieldWithExpr_FieldStr
	//	*FieldWithExpr_FieldInternedStr
	Field isFieldWithExpr_Field `protobuf_oneof:"field"`
	// Value of the field
	Expr *Expr `protobuf:"bytes,2,opt,name=expr,proto3" json:"expr,omitempty"`
	// contains filtered or unexported fields
}

A field in a record with its value.

func (*FieldWithExpr) Descriptor deprecated 

func (*FieldWithExpr) Descriptor() ([]byte, []int)

Deprecated: Use FieldWithExpr.ProtoReflect.Descriptor instead.

func (*FieldWithExpr) GetExpr 

func (x *FieldWithExpr) GetExpr() *Expr

func (*FieldWithExpr) GetField 

func (m *FieldWithExpr) GetField() isFieldWithExpr_Field

func (*FieldWithExpr) GetFieldInternedStr 

func (x *FieldWithExpr) GetFieldInternedStr() int32

func (*FieldWithExpr) GetFieldStr 

func (x *FieldWithExpr) GetFieldStr() string

func (*FieldWithExpr) ProtoMessage 

func (*FieldWithExpr) ProtoMessage()

func (*FieldWithExpr) ProtoReflect 

func (x *FieldWithExpr) ProtoReflect() protoreflect.Message

func (*FieldWithExpr) Reset 

func (x *FieldWithExpr) Reset()

func (*FieldWithExpr) String 

func (x *FieldWithExpr) String() string

type FieldWithExpr_FieldInternedStr 

type FieldWithExpr_FieldInternedStr struct {
	// *Must be a valid interned identifier*
	FieldInternedStr int32 `protobuf:"varint,3,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type FieldWithExpr_FieldStr 

type FieldWithExpr_FieldStr struct {
	// *Must be a valid identifier*
	FieldStr string `protobuf:"bytes,1,opt,name=field_str,json=fieldStr,proto3,oneof"` // *Available in version < 1.7*
}

type FieldWithType 

type FieldWithType struct {

	// Types that are assignable to Field:
	//	*FieldWithType_FieldStr
	//	*FieldWithType_FieldInternedStr
	Field isFieldWithType_Field `protobuf_oneof:"field"`
	// Type associated
	Type *Type `protobuf:"bytes,2,opt,name=type,proto3" json:"type,omitempty"`
	// contains filtered or unexported fields
}

A field name definition in a record or a variant associated with a type.

func (*FieldWithType) Descriptor deprecated 

func (*FieldWithType) Descriptor() ([]byte, []int)

Deprecated: Use FieldWithType.ProtoReflect.Descriptor instead.

func (*FieldWithType) GetField 

func (m *FieldWithType) GetField() isFieldWithType_Field

func (*FieldWithType) GetFieldInternedStr 

func (x *FieldWithType) GetFieldInternedStr() int32

func (*FieldWithType) GetFieldStr 

func (x *FieldWithType) GetFieldStr() string

func (*FieldWithType) GetType 

func (x *FieldWithType) GetType() *Type

func (*FieldWithType) ProtoMessage 

func (*FieldWithType) ProtoMessage()

func (*FieldWithType) ProtoReflect 

func (x *FieldWithType) ProtoReflect() protoreflect.Message

func (*FieldWithType) Reset 

func (x *FieldWithType) Reset()

func (*FieldWithType) String 

func (x *FieldWithType) String() string

type FieldWithType_FieldInternedStr 

type FieldWithType_FieldInternedStr struct {
	// *Must a valid interned identifier*
	FieldInternedStr int32 `protobuf:"varint,3,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type FieldWithType_FieldStr 

type FieldWithType_FieldStr struct {
	// *Must be a valid identifier*
	FieldStr string `protobuf:"bytes,1,opt,name=field_str,json=fieldStr,proto3,oneof"` // *Available in version < 1.7*
}

type HashFunction 

type HashFunction int32
const (
	HashFunction_SHA256 HashFunction = 0
)

func (HashFunction) Descriptor 

func (HashFunction) Descriptor() protoreflect.EnumDescriptor

func (HashFunction) Enum 

func (x HashFunction) Enum() *HashFunction

func (HashFunction) EnumDescriptor deprecated 

func (HashFunction) EnumDescriptor() ([]byte, []int)

Deprecated: Use HashFunction.Descriptor instead.

func (HashFunction) Number 

func (x HashFunction) Number() protoreflect.EnumNumber

func (HashFunction) String 

func (x HashFunction) String() string

func (HashFunction) Type 

func (HashFunction) Type() protoreflect.EnumType

type InternedDottedName 

type InternedDottedName struct {
	SegmentsInternedStr []int32 `` // *Available in versions >= 1.7*
	/* 128-byte string literal not displayed */
	// contains filtered or unexported fields
}

func (*InternedDottedName) Descriptor deprecated 

func (*InternedDottedName) Descriptor() ([]byte, []int)

Deprecated: Use InternedDottedName.ProtoReflect.Descriptor instead.

func (*InternedDottedName) GetSegmentsInternedStr 

func (x *InternedDottedName) GetSegmentsInternedStr() []int32

func (*InternedDottedName) ProtoMessage 

func (*InternedDottedName) ProtoMessage()

func (*InternedDottedName) ProtoReflect 

func (x *InternedDottedName) ProtoReflect() protoreflect.Message

func (*InternedDottedName) Reset 

func (x *InternedDottedName) Reset()

func (*InternedDottedName) String 

func (x *InternedDottedName) String() string

type KeyExpr 

type KeyExpr struct {

	// Types that are assignable to Sum:
	//	*KeyExpr_Projections_
	//	*KeyExpr_Record_
	Sum isKeyExpr_Sum `protobuf_oneof:"Sum"`
	// contains filtered or unexported fields
}

we restrict key expressions to records of projections, much like SQL

func (*KeyExpr) Descriptor deprecated 

func (*KeyExpr) Descriptor() ([]byte, []int)

Deprecated: Use KeyExpr.ProtoReflect.Descriptor instead.

func (*KeyExpr) GetProjections 

func (x *KeyExpr) GetProjections() *KeyExpr_Projections

func (*KeyExpr) GetRecord 

func (x *KeyExpr) GetRecord() *KeyExpr_Record

func (*KeyExpr) GetSum 

func (m *KeyExpr) GetSum() isKeyExpr_Sum

func (*KeyExpr) ProtoMessage 

func (*KeyExpr) ProtoMessage()

func (*KeyExpr) ProtoReflect 

func (x *KeyExpr) ProtoReflect() protoreflect.Message

func (*KeyExpr) Reset 

func (x *KeyExpr) Reset()

func (*KeyExpr) String 

func (x *KeyExpr) String() string

type KeyExpr_Projection 

type KeyExpr_Projection struct {
	Tycon *Type_Con `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"` // Always fully applied
	// Types that are assignable to Field:
	//	*KeyExpr_Projection_FieldStr
	//	*KeyExpr_Projection_FieldInternedStr
	Field isKeyExpr_Projection_Field `protobuf_oneof:"field"`
	// contains filtered or unexported fields
}

func (*KeyExpr_Projection) Descriptor deprecated 

func (*KeyExpr_Projection) Descriptor() ([]byte, []int)

Deprecated: Use KeyExpr_Projection.ProtoReflect.Descriptor instead.

func (*KeyExpr_Projection) GetField 

func (m *KeyExpr_Projection) GetField() isKeyExpr_Projection_Field

func (*KeyExpr_Projection) GetFieldInternedStr 

func (x *KeyExpr_Projection) GetFieldInternedStr() int32

func (*KeyExpr_Projection) GetFieldStr 

func (x *KeyExpr_Projection) GetFieldStr() string

func (*KeyExpr_Projection) GetTycon 

func (x *KeyExpr_Projection) GetTycon() *Type_Con

func (*KeyExpr_Projection) ProtoMessage 

func (*KeyExpr_Projection) ProtoMessage()

func (*KeyExpr_Projection) ProtoReflect 

func (x *KeyExpr_Projection) ProtoReflect() protoreflect.Message

func (*KeyExpr_Projection) Reset 

func (x *KeyExpr_Projection) Reset()

func (*KeyExpr_Projection) String 

func (x *KeyExpr_Projection) String() string

type KeyExpr_Projection_FieldInternedStr 

type KeyExpr_Projection_FieldInternedStr struct {
	// *Must be a valid interned identifier*
	FieldInternedStr int32 `protobuf:"varint,3,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type KeyExpr_Projection_FieldStr 

type KeyExpr_Projection_FieldStr struct {
	// *Must be a valid identifier*
	FieldStr string `protobuf:"bytes,2,opt,name=field_str,json=fieldStr,proto3,oneof"` // *Available in version < 1.7*
}

type KeyExpr_Projections 

type KeyExpr_Projections struct {
	Projections []*KeyExpr_Projection `protobuf:"bytes,2,rep,name=projections,proto3" json:"projections,omitempty"`
	// contains filtered or unexported fields
}

note that the projection is always referring to the template parameter.

func (*KeyExpr_Projections) Descriptor deprecated 

func (*KeyExpr_Projections) Descriptor() ([]byte, []int)

Deprecated: Use KeyExpr_Projections.ProtoReflect.Descriptor instead.

func (*KeyExpr_Projections) GetProjections 

func (x *KeyExpr_Projections) GetProjections() []*KeyExpr_Projection

func (*KeyExpr_Projections) ProtoMessage 

func (*KeyExpr_Projections) ProtoMessage()

func (*KeyExpr_Projections) ProtoReflect 

func (x *KeyExpr_Projections) ProtoReflect() protoreflect.Message

func (*KeyExpr_Projections) Reset 

func (x *KeyExpr_Projections) Reset()

func (*KeyExpr_Projections) String 

func (x *KeyExpr_Projections) String() string

type KeyExpr_Projections_ 

type KeyExpr_Projections_ struct {
	Projections *KeyExpr_Projections `protobuf:"bytes,1,opt,name=projections,proto3,oneof"`
}

type KeyExpr_Record 

type KeyExpr_Record struct {
	Tycon  *Type_Con              `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"` // Always fully applied
	Fields []*KeyExpr_RecordField `protobuf:"bytes,2,rep,name=fields,proto3" json:"fields,omitempty"`
	// contains filtered or unexported fields
}

func (*KeyExpr_Record) Descriptor deprecated 

func (*KeyExpr_Record) Descriptor() ([]byte, []int)

Deprecated: Use KeyExpr_Record.ProtoReflect.Descriptor instead.

func (*KeyExpr_Record) GetFields 

func (x *KeyExpr_Record) GetFields() []*KeyExpr_RecordField

func (*KeyExpr_Record) GetTycon 

func (x *KeyExpr_Record) GetTycon() *Type_Con

func (*KeyExpr_Record) ProtoMessage 

func (*KeyExpr_Record) ProtoMessage()

func (*KeyExpr_Record) ProtoReflect 

func (x *KeyExpr_Record) ProtoReflect() protoreflect.Message

func (*KeyExpr_Record) Reset 

func (x *KeyExpr_Record) Reset()

func (*KeyExpr_Record) String 

func (x *KeyExpr_Record) String() string

type KeyExpr_RecordField 

type KeyExpr_RecordField struct {

	// Types that are assignable to Field:
	//	*KeyExpr_RecordField_FieldStr
	//	*KeyExpr_RecordField_FieldInternedStr
	Field isKeyExpr_RecordField_Field `protobuf_oneof:"field"`
	Expr  *KeyExpr                    `protobuf:"bytes,2,opt,name=expr,proto3" json:"expr,omitempty"`
	// contains filtered or unexported fields
}

func (*KeyExpr_RecordField) Descriptor deprecated 

func (*KeyExpr_RecordField) Descriptor() ([]byte, []int)

Deprecated: Use KeyExpr_RecordField.ProtoReflect.Descriptor instead.

func (*KeyExpr_RecordField) GetExpr 

func (x *KeyExpr_RecordField) GetExpr() *KeyExpr

func (*KeyExpr_RecordField) GetField 

func (m *KeyExpr_RecordField) GetField() isKeyExpr_RecordField_Field

func (*KeyExpr_RecordField) GetFieldInternedStr 

func (x *KeyExpr_RecordField) GetFieldInternedStr() int32

func (*KeyExpr_RecordField) GetFieldStr 

func (x *KeyExpr_RecordField) GetFieldStr() string

func (*KeyExpr_RecordField) ProtoMessage 

func (*KeyExpr_RecordField) ProtoMessage()

func (*KeyExpr_RecordField) ProtoReflect 

func (x *KeyExpr_RecordField) ProtoReflect() protoreflect.Message

func (*KeyExpr_RecordField) Reset 

func (x *KeyExpr_RecordField) Reset()

func (*KeyExpr_RecordField) String 

func (x *KeyExpr_RecordField) String() string

type KeyExpr_RecordField_FieldInternedStr 

type KeyExpr_RecordField_FieldInternedStr struct {
	// *Must be a valid identifier*
	FieldInternedStr int32 `protobuf:"varint,3,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type KeyExpr_RecordField_FieldStr 

type KeyExpr_RecordField_FieldStr struct {
	// *Must be a valid identifier*
	FieldStr string `protobuf:"bytes,1,opt,name=field_str,json=fieldStr,proto3,oneof"` // *Available in version < 1.7*
}

type KeyExpr_Record_ 

type KeyExpr_Record_ struct {
	Record *KeyExpr_Record `protobuf:"bytes,2,opt,name=record,proto3,oneof"`
}

type Kind 

type Kind struct {

	// Types that are assignable to Sum:
	//	*Kind_Star
	//	*Kind_Arrow_
	//	*Kind_Nat
	Sum isKind_Sum `protobuf_oneof:"Sum"`
	// contains filtered or unexported fields
}

Kinds

func (*Kind) Descriptor deprecated 

func (*Kind) Descriptor() ([]byte, []int)

Deprecated: Use Kind.ProtoReflect.Descriptor instead.

func (*Kind) GetArrow 

func (x *Kind) GetArrow() *Kind_Arrow

func (*Kind) GetNat 

func (x *Kind) GetNat() *Unit

func (*Kind) GetStar 

func (x *Kind) GetStar() *Unit

func (*Kind) GetSum 

func (m *Kind) GetSum() isKind_Sum

func (*Kind) ProtoMessage 

func (*Kind) ProtoMessage()

func (*Kind) ProtoReflect 

func (x *Kind) ProtoReflect() protoreflect.Message

func (*Kind) Reset 

func (x *Kind) Reset()

func (*Kind) String 

func (x *Kind) String() string

type Kind_Arrow 

type Kind_Arrow struct {

	// parameter of the kind
	// *Must be non-empty*
	Params []*Kind `protobuf:"bytes,1,rep,name=params,proto3" json:"params,omitempty"`
	Result *Kind   `protobuf:"bytes,2,opt,name=result,proto3" json:"result,omitempty"`
	// contains filtered or unexported fields
}

The kind of polimorphic type.

func (*Kind_Arrow) Descriptor deprecated 

func (*Kind_Arrow) Descriptor() ([]byte, []int)

Deprecated: Use Kind_Arrow.ProtoReflect.Descriptor instead.

func (*Kind_Arrow) GetParams 

func (x *Kind_Arrow) GetParams() []*Kind

func (*Kind_Arrow) GetResult 

func (x *Kind_Arrow) GetResult() *Kind

func (*Kind_Arrow) ProtoMessage 

func (*Kind_Arrow) ProtoMessage()

func (*Kind_Arrow) ProtoReflect 

func (x *Kind_Arrow) ProtoReflect() protoreflect.Message

func (*Kind_Arrow) Reset 

func (x *Kind_Arrow) Reset()

func (*Kind_Arrow) String 

func (x *Kind_Arrow) String() string

type Kind_Arrow_ 

type Kind_Arrow_ struct {
	// Kind of polymorphic type.
	Arrow *Kind_Arrow `protobuf:"bytes,2,opt,name=arrow,proto3,oneof"`
}

type Kind_Nat 

type Kind_Nat struct {
	// kind of TNat type;
	// *Available in versions >= 1.7*
	Nat *Unit `protobuf:"bytes,3,opt,name=nat,proto3,oneof"`
}

type Kind_Star 

type Kind_Star struct {
	// Kind of monomorphic type.
	Star *Unit `protobuf:"bytes,1,opt,name=star,proto3,oneof"`
}

type Location 

type Location struct {
	Module *ModuleRef      `protobuf:"bytes,1,opt,name=module,proto3" json:"module,omitempty"` // (*optional*), if missing the line is within the current module.
	Range  *Location_Range `protobuf:"bytes,2,opt,name=range,proto3" json:"range,omitempty"`
	// contains filtered or unexported fields
}

Source code locations

func (*Location) Descriptor deprecated 

func (*Location) Descriptor() ([]byte, []int)

Deprecated: Use Location.ProtoReflect.Descriptor instead.

func (*Location) GetModule 

func (x *Location) GetModule() *ModuleRef

func (*Location) GetRange 

func (x *Location) GetRange() *Location_Range

func (*Location) ProtoMessage 

func (*Location) ProtoMessage()

func (*Location) ProtoReflect 

func (x *Location) ProtoReflect() protoreflect.Message

func (*Location) Reset 

func (x *Location) Reset()

func (*Location) String 

func (x *Location) String() string

type Location_Range 

type Location_Range struct {
	StartLine int32 `protobuf:"varint,1,opt,name=start_line,json=startLine,proto3" json:"start_line,omitempty"`
	StartCol  int32 `protobuf:"varint,2,opt,name=start_col,json=startCol,proto3" json:"start_col,omitempty"`
	EndLine   int32 `protobuf:"varint,3,opt,name=end_line,json=endLine,proto3" json:"end_line,omitempty"`
	EndCol    int32 `protobuf:"varint,4,opt,name=end_col,json=endCol,proto3" json:"end_col,omitempty"`
	// contains filtered or unexported fields
}

0-indexed start and end line and column numbers.

func (*Location_Range) Descriptor deprecated 

func (*Location_Range) Descriptor() ([]byte, []int)

Deprecated: Use Location_Range.ProtoReflect.Descriptor instead.

func (*Location_Range) GetEndCol 

func (x *Location_Range) GetEndCol() int32

func (*Location_Range) GetEndLine 

func (x *Location_Range) GetEndLine() int32

func (*Location_Range) GetStartCol 

func (x *Location_Range) GetStartCol() int32

func (*Location_Range) GetStartLine 

func (x *Location_Range) GetStartLine() int32

func (*Location_Range) ProtoMessage 

func (*Location_Range) ProtoMessage()

func (*Location_Range) ProtoReflect 

func (x *Location_Range) ProtoReflect() protoreflect.Message

func (*Location_Range) Reset 

func (x *Location_Range) Reset()

func (*Location_Range) String 

func (x *Location_Range) String() string

type Module 

type Module struct {

	// Types that are assignable to Name:
	//	*Module_NameDname
	//	*Module_NameInternedDname
	Name       isModule_Name   `protobuf_oneof:"name"`
	Flags      *FeatureFlags   `protobuf:"bytes,4,opt,name=flags,proto3" json:"flags,omitempty"`
	Synonyms   []*DefTypeSyn   `protobuf:"bytes,9,rep,name=synonyms,proto3" json:"synonyms,omitempty"` // *Available in versions >= 1.8*
	DataTypes  []*DefDataType  `protobuf:"bytes,5,rep,name=data_types,json=dataTypes,proto3" json:"data_types,omitempty"`
	Values     []*DefValue     `protobuf:"bytes,6,rep,name=values,proto3" json:"values,omitempty"`
	Templates  []*DefTemplate  `protobuf:"bytes,7,rep,name=templates,proto3" json:"templates,omitempty"`
	Exceptions []*DefException `protobuf:"bytes,10,rep,name=exceptions,proto3" json:"exceptions,omitempty"` // *Available in versions >= 1.14*
	// contains filtered or unexported fields
}

func (*Module) Descriptor deprecated 

func (*Module) Descriptor() ([]byte, []int)

Deprecated: Use Module.ProtoReflect.Descriptor instead.

func (*Module) GetDataTypes 

func (x *Module) GetDataTypes() []*DefDataType

func (*Module) GetExceptions 

func (x *Module) GetExceptions() []*DefException

func (*Module) GetFlags 

func (x *Module) GetFlags() *FeatureFlags

func (*Module) GetName 

func (m *Module) GetName() isModule_Name

func (*Module) GetNameDname 

func (x *Module) GetNameDname() *DottedName

func (*Module) GetNameInternedDname 

func (x *Module) GetNameInternedDname() int32

func (*Module) GetSynonyms 

func (x *Module) GetSynonyms() []*DefTypeSyn

func (*Module) GetTemplates 

func (x *Module) GetTemplates() []*DefTemplate

func (*Module) GetValues 

func (x *Module) GetValues() []*DefValue

func (*Module) ProtoMessage 

func (*Module) ProtoMessage()

func (*Module) ProtoReflect 

func (x *Module) ProtoReflect() protoreflect.Message

func (*Module) Reset 

func (x *Module) Reset()

func (*Module) String 

func (x *Module) String() string

type ModuleRef 

type ModuleRef struct {

	// package where the module is defined.
	PackageRef *PackageRef `protobuf:"bytes,1,opt,name=package_ref,json=packageRef,proto3" json:"package_ref,omitempty"`
	// Types that are assignable to ModuleName:
	//	*ModuleRef_ModuleNameDname
	//	*ModuleRef_ModuleNameInternedDname
	ModuleName isModuleRef_ModuleName `protobuf_oneof:"module_name"`
	// contains filtered or unexported fields
}

A fully qualified module reference

func (*ModuleRef) Descriptor deprecated 

func (*ModuleRef) Descriptor() ([]byte, []int)

Deprecated: Use ModuleRef.ProtoReflect.Descriptor instead.

func (*ModuleRef) GetModuleName 

func (m *ModuleRef) GetModuleName() isModuleRef_ModuleName

func (*ModuleRef) GetModuleNameDname 

func (x *ModuleRef) GetModuleNameDname() *DottedName

func (*ModuleRef) GetModuleNameInternedDname 

func (x *ModuleRef) GetModuleNameInternedDname() int32

func (*ModuleRef) GetPackageRef 

func (x *ModuleRef) GetPackageRef() *PackageRef

func (*ModuleRef) ProtoMessage 

func (*ModuleRef) ProtoMessage()

func (*ModuleRef) ProtoReflect 

func (x *ModuleRef) ProtoReflect() protoreflect.Message

func (*ModuleRef) Reset 

func (x *ModuleRef) Reset()

func (*ModuleRef) String 

func (x *ModuleRef) String() string

type ModuleRef_ModuleNameDname 

type ModuleRef_ModuleNameDname struct {
	// module name
	ModuleNameDname *DottedName `protobuf:"bytes,2,opt,name=module_name_dname,json=moduleNameDname,proto3,oneof"` // *Available in version < 1.7*
}

type ModuleRef_ModuleNameInternedDname 

type ModuleRef_ModuleNameInternedDname struct {
	ModuleNameInternedDname int32 `protobuf:"varint,3,opt,name=module_name_interned_dname,json=moduleNameInternedDname,proto3,oneof"` // *Available in version >= 1.7*
}

type Module_NameDname 

type Module_NameDname struct {
	NameDname *DottedName `protobuf:"bytes,1,opt,name=name_dname,json=nameDname,proto3,oneof"`
}

type Module_NameInternedDname 

type Module_NameInternedDname struct {
	NameInternedDname int32 `protobuf:"varint,8,opt,name=name_interned_dname,json=nameInternedDname,proto3,oneof"` // *Available in versions >= 1.7*
}

type Package 

type Package struct {
	Modules             []*Module             `protobuf:"bytes,1,rep,name=modules,proto3" json:"modules,omitempty"`
	InternedStrings     []string              `protobuf:"bytes,2,rep,name=interned_strings,json=internedStrings,proto3" json:"interned_strings,omitempty"`
	InternedDottedNames []*InternedDottedName `protobuf:"bytes,3,rep,name=interned_dotted_names,json=internedDottedNames,proto3" json:"interned_dotted_names,omitempty"` // *Available in versions >= 1.7*
	Metadata            *PackageMetadata      `protobuf:"bytes,4,opt,name=metadata,proto3" json:"metadata,omitempty"`                                                    // *Available and required in versions >= 1.8*
	// Types in the interning table are only allowed to refer to interned types
	// at smaller indices.
	InternedTypes []*Type `protobuf:"bytes,5,rep,name=interned_types,json=internedTypes,proto3" json:"interned_types,omitempty"` // *Available in versions >= 1.11*
	// contains filtered or unexported fields
}

func (*Package) Descriptor deprecated 

func (*Package) Descriptor() ([]byte, []int)

Deprecated: Use Package.ProtoReflect.Descriptor instead.

func (*Package) GetInternedDottedNames 

func (x *Package) GetInternedDottedNames() []*InternedDottedName

func (*Package) GetInternedStrings 

func (x *Package) GetInternedStrings() []string

func (*Package) GetInternedTypes 

func (x *Package) GetInternedTypes() []*Type

func (*Package) GetMetadata 

func (x *Package) GetMetadata() *PackageMetadata

func (*Package) GetModules 

func (x *Package) GetModules() []*Module

func (*Package) ProtoMessage 

func (*Package) ProtoMessage()

func (*Package) ProtoReflect 

func (x *Package) ProtoReflect() protoreflect.Message

func (*Package) Reset 

func (x *Package) Reset()

func (*Package) String 

func (x *Package) String() string

type PackageMetadata 

type PackageMetadata struct {
	NameInternedStr    int32 `protobuf:"varint,1,opt,name=name_interned_str,json=nameInternedStr,proto3" json:"name_interned_str,omitempty"`          // *Available in versions >= 1.8*
	VersionInternedStr int32 `protobuf:"varint,2,opt,name=version_interned_str,json=versionInternedStr,proto3" json:"version_interned_str,omitempty"` // *Available in versions >= 1.8*
	// contains filtered or unexported fields
}

func (*PackageMetadata) Descriptor deprecated 

func (*PackageMetadata) Descriptor() ([]byte, []int)

Deprecated: Use PackageMetadata.ProtoReflect.Descriptor instead.

func (*PackageMetadata) GetNameInternedStr 

func (x *PackageMetadata) GetNameInternedStr() int32

func (*PackageMetadata) GetVersionInternedStr 

func (x *PackageMetadata) GetVersionInternedStr() int32

func (*PackageMetadata) ProtoMessage 

func (*PackageMetadata) ProtoMessage()

func (*PackageMetadata) ProtoReflect 

func (x *PackageMetadata) ProtoReflect() protoreflect.Message

func (*PackageMetadata) Reset 

func (x *PackageMetadata) Reset()

func (*PackageMetadata) String 

func (x *PackageMetadata) String() string

type PackageRef 

type PackageRef struct {

	// Types that are assignable to Sum:
	//	*PackageRef_Self
	//	*PackageRef_PackageIdStr
	//	*PackageRef_PackageIdInternedStr
	Sum isPackageRef_Sum `protobuf_oneof:"Sum"`
	// contains filtered or unexported fields
}

Package reference

func (*PackageRef) Descriptor deprecated 

func (*PackageRef) Descriptor() ([]byte, []int)

Deprecated: Use PackageRef.ProtoReflect.Descriptor instead.

func (*PackageRef) GetPackageIdInternedStr 

func (x *PackageRef) GetPackageIdInternedStr() int32

func (*PackageRef) GetPackageIdStr 

func (x *PackageRef) GetPackageIdStr() string

func (*PackageRef) GetSelf 

func (x *PackageRef) GetSelf() *Unit

func (*PackageRef) GetSum 

func (m *PackageRef) GetSum() isPackageRef_Sum

func (*PackageRef) ProtoMessage 

func (*PackageRef) ProtoMessage()

func (*PackageRef) ProtoReflect 

func (x *PackageRef) ProtoReflect() protoreflect.Message

func (*PackageRef) Reset 

func (x *PackageRef) Reset()

func (*PackageRef) String 

func (x *PackageRef) String() string

type PackageRef_PackageIdInternedStr 

type PackageRef_PackageIdInternedStr struct {
	// An index into `interned_package_ids` of the Package containing
	// this reference.
	// *Must be a valid interned package Id string*
	PackageIdInternedStr int32 `protobuf:"varint,3,opt,name=package_id_interned_str,json=packageIdInternedStr,proto3,oneof"`
}

type PackageRef_PackageIdStr 

type PackageRef_PackageIdStr struct {
	// A `Package identifier` for an imported Package.
	// *Must be a list of valid packageId string*
	PackageIdStr string `protobuf:"bytes,2,opt,name=package_id_str,json=packageIdStr,proto3,oneof"` // *Available in versions < 1.7*
}

type PackageRef_Self 

type PackageRef_Self struct {
	// Reference to the package of which the package this reference
	// belongs.
	Self *Unit `protobuf:"bytes,1,opt,name=self,proto3,oneof"`
}

type PrimCon 

type PrimCon int32

Primitive constructors 

const (
	// Unit value '()'
	PrimCon_CON_UNIT PrimCon = 0
	// 'False' boolean value
	PrimCon_CON_FALSE PrimCon = 1
	// 'True' boolean value
	PrimCon_CON_TRUE PrimCon = 2
)

func (PrimCon) Descriptor 

func (PrimCon) Descriptor() protoreflect.EnumDescriptor

func (PrimCon) Enum 

func (x PrimCon) Enum() *PrimCon

func (PrimCon) EnumDescriptor deprecated 

func (PrimCon) EnumDescriptor() ([]byte, []int)

Deprecated: Use PrimCon.Descriptor instead.

func (PrimCon) Number 

func (x PrimCon) Number() protoreflect.EnumNumber

func (PrimCon) String 

func (x PrimCon) String() string

func (PrimCon) Type 

func (PrimCon) Type() protoreflect.EnumType

type PrimLit 

type PrimLit struct {

	// Types that are assignable to Sum:
	//	*PrimLit_Int64
	//	*PrimLit_DecimalStr
	//	*PrimLit_NumericInternedStr
	//	*PrimLit_TextStr
	//	*PrimLit_TextInternedStr
	//	*PrimLit_Timestamp
	//	*PrimLit_PartyStr
	//	*PrimLit_PartyInternedStr
	//	*PrimLit_Date
	//	*PrimLit_RoundingMode_
	Sum isPrimLit_Sum `protobuf_oneof:"Sum"`
	// contains filtered or unexported fields
}

Builtin literals FixMe: Renamed

func (*PrimLit) Descriptor deprecated 

func (*PrimLit) Descriptor() ([]byte, []int)

Deprecated: Use PrimLit.ProtoReflect.Descriptor instead.

func (*PrimLit) GetDate 

func (x *PrimLit) GetDate() int32

func (*PrimLit) GetDecimalStr 

func (x *PrimLit) GetDecimalStr() string

func (*PrimLit) GetInt64 

func (x *PrimLit) GetInt64() int64

func (*PrimLit) GetNumericInternedStr 

func (x *PrimLit) GetNumericInternedStr() int32

func (*PrimLit) GetPartyInternedStr 

func (x *PrimLit) GetPartyInternedStr() int32

func (*PrimLit) GetPartyStr 

func (x *PrimLit) GetPartyStr() string

func (*PrimLit) GetRoundingMode 

func (x *PrimLit) GetRoundingMode() PrimLit_RoundingMode

func (*PrimLit) GetSum 

func (m *PrimLit) GetSum() isPrimLit_Sum

func (*PrimLit) GetTextInternedStr 

func (x *PrimLit) GetTextInternedStr() int32

func (*PrimLit) GetTextStr 

func (x *PrimLit) GetTextStr() string

func (*PrimLit) GetTimestamp 

func (x *PrimLit) GetTimestamp() int64

func (*PrimLit) ProtoMessage 

func (*PrimLit) ProtoMessage()

func (*PrimLit) ProtoReflect 

func (x *PrimLit) ProtoReflect() protoreflect.Message

func (*PrimLit) Reset 

func (x *PrimLit) Reset()

func (*PrimLit) String 

func (x *PrimLit) String() string

type PrimLit_Date 

type PrimLit_Date struct {
	// *Must be a valid date*
	Date int32 `protobuf:"varint,8,opt,name=date,proto3,oneof"`
}

type PrimLit_DecimalStr 

type PrimLit_DecimalStr struct {
	// *Must be a valid representation of decimal*
	DecimalStr string `protobuf:"bytes,2,opt,name=decimal_str,json=decimalStr,proto3,oneof"` // *Available in versions < 1.7*
}

type PrimLit_Int64 

type PrimLit_Int64 struct {
	//  64-bit integer literal ('LitInt64')
	Int64 int64 `protobuf:"zigzag64,1,opt,name=int64,proto3,oneof"`
}

type PrimLit_NumericInternedStr 

type PrimLit_NumericInternedStr struct {
	// *Must be a valid interned numeric */
	NumericInternedStr int32 `protobuf:"varint,10,opt,name=numeric_interned_str,json=numericInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type PrimLit_PartyInternedStr 

type PrimLit_PartyInternedStr struct {
	// *Must be a valid interned PartyId string*
	PartyInternedStr int32 `protobuf:"varint,12,opt,name=party_interned_str,json=partyInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type PrimLit_PartyStr 

type PrimLit_PartyStr struct {
	// *Must be a valid PartyId string*
	PartyStr string `protobuf:"bytes,7,opt,name=party_str,json=partyStr,proto3,oneof"` // *Available in version < 1.7*
}

type PrimLit_RoundingMode 

type PrimLit_RoundingMode int32

match java.math.BigDecimal.ROUND_XXX constants 

const (
	PrimLit_UP          PrimLit_RoundingMode = 0
	PrimLit_DOWN        PrimLit_RoundingMode = 1
	PrimLit_CEILING     PrimLit_RoundingMode = 2
	PrimLit_FLOOR       PrimLit_RoundingMode = 3
	PrimLit_HALF_UP     PrimLit_RoundingMode = 4
	PrimLit_HALF_DOWN   PrimLit_RoundingMode = 5
	PrimLit_HALF_EVEN   PrimLit_RoundingMode = 6
	PrimLit_UNNECESSARY PrimLit_RoundingMode = 7
)

func (PrimLit_RoundingMode) Descriptor 

func (PrimLit_RoundingMode) Descriptor() protoreflect.EnumDescriptor

func (PrimLit_RoundingMode) Enum 

func (x PrimLit_RoundingMode) Enum() *PrimLit_RoundingMode

func (PrimLit_RoundingMode) EnumDescriptor deprecated 

func (PrimLit_RoundingMode) EnumDescriptor() ([]byte, []int)

Deprecated: Use PrimLit_RoundingMode.Descriptor instead.

func (PrimLit_RoundingMode) Number 

func (x PrimLit_RoundingMode) Number() protoreflect.EnumNumber

func (PrimLit_RoundingMode) String 

func (x PrimLit_RoundingMode) String() string

func (PrimLit_RoundingMode) Type 

func (PrimLit_RoundingMode) Type() protoreflect.EnumType

type PrimLit_RoundingMode_ 

type PrimLit_RoundingMode_ struct {
	// rounding mode for arithmetic operation
	// *Available in versions >= 1.13*
	RoundingMode PrimLit_RoundingMode `protobuf:"varint,13,opt,name=rounding_mode,json=roundingMode,proto3,enum=daml_lf_1.PrimLit_RoundingMode,oneof"`
}

type PrimLit_TextInternedStr 

type PrimLit_TextInternedStr struct {
	// *Must be a valid interned text*
	TextInternedStr int32 `protobuf:"varint,11,opt,name=text_interned_str,json=textInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type PrimLit_TextStr 

type PrimLit_TextStr struct {
	TextStr string `protobuf:"bytes,4,opt,name=text_str,json=textStr,proto3,oneof"` // *Available in version < 1.7*
}

type PrimLit_Timestamp 

type PrimLit_Timestamp struct {
	// *Must be a valid timestamp*
	Timestamp int64 `protobuf:"fixed64,5,opt,name=timestamp,proto3,oneof"`
}

type PrimType 

type PrimType int32

Builtin primitive types 

const (
	// Builtin type 'Unit'
	PrimType_UNIT PrimType = 0
	// Builtin type 'Bool'
	PrimType_BOOL PrimType = 1
	// Builtin type 'Int64'
	PrimType_INT64 PrimType = 2
	// Builtin type for legacy 'Decimal'
	// Alias for (Numeric 10)
	// *available in version < 1.7*
	PrimType_DECIMAL PrimType = 3
	// Builtin type 'Text'
	PrimType_TEXT PrimType = 5
	// Builtin type 'Timestamp'
	PrimType_TIMESTAMP PrimType = 6
	// Builtin tpe 'Party'
	PrimType_PARTY PrimType = 8
	// Builtin type 'List'
	PrimType_LIST PrimType = 9
	// Builtin type 'Update'
	PrimType_UPDATE PrimType = 10
	// Builtin type 'Scenario'
	PrimType_SCENARIO PrimType = 11
	// Builtin type 'Date'
	PrimType_DATE PrimType = 12
	// Builtin type 'ContractId'
	PrimType_CONTRACT_ID PrimType = 13
	// Builtin type 'Optional'
	// *Available in versions >= 1.1*
	PrimType_OPTIONAL PrimType = 14
	// Builtin type `TArrow`
	// *Available in versions >= 1.1*
	PrimType_ARROW PrimType = 15
	// Builtin type 'TTextMap`
	// *Available in versions >= 1.3*
	PrimType_TEXTMAP PrimType = 16
	// Builtin type 'Numeric'
	// *Available in versions >= 1.7*
	PrimType_NUMERIC PrimType = 17
	// Builtin type 'Any'
	// *Available in versions >= 1.7*
	PrimType_ANY PrimType = 18
	// Builtin type 'TypeRep'
	// *Available in versions >= 1.7*
	PrimType_TYPE_REP PrimType = 19
	// Builtin type 'TGenMap`
	// *Available in versions >= 1.11*
	PrimType_GENMAP PrimType = 20
	// Builtin type 'TBigNumeric'
	// *Available in versions >= 1.13*
	PrimType_BIGNUMERIC PrimType = 21
	// Builtin type 'TRoundingMode'
	// *Available in versions >= 1.13*
	PrimType_ROUNDING_MODE PrimType = 22
	// Builtin type 'TAnyException'
	// *Available in versions >= 1.14*
	PrimType_ANY_EXCEPTION PrimType = 23
)

func (PrimType) Descriptor 

func (PrimType) Descriptor() protoreflect.EnumDescriptor

func (PrimType) Enum 

func (x PrimType) Enum() *PrimType

func (PrimType) EnumDescriptor deprecated 

func (PrimType) EnumDescriptor() ([]byte, []int)

Deprecated: Use PrimType.Descriptor instead.

func (PrimType) Number 

func (x PrimType) Number() protoreflect.EnumNumber

func (PrimType) String 

func (x PrimType) String() string

func (PrimType) Type 

func (PrimType) Type() protoreflect.EnumType

type Pure 

type Pure struct {
	Type *Type `protobuf:"bytes,1,opt,name=type,proto3" json:"type,omitempty"`
	Expr *Expr `protobuf:"bytes,2,opt,name=expr,proto3" json:"expr,omitempty"`
	// contains filtered or unexported fields
}

A Pure statement either scenario or update

func (*Pure) Descriptor deprecated 

func (*Pure) Descriptor() ([]byte, []int)

Deprecated: Use Pure.ProtoReflect.Descriptor instead.

func (*Pure) GetExpr 

func (x *Pure) GetExpr() *Expr

func (*Pure) GetType 

func (x *Pure) GetType() *Type

func (*Pure) ProtoMessage 

func (*Pure) ProtoMessage()

func (*Pure) ProtoReflect 

func (x *Pure) ProtoReflect() protoreflect.Message

func (*Pure) Reset 

func (x *Pure) Reset()

func (*Pure) String 

func (x *Pure) String() string

type Scenario 

type Scenario struct {

	// Types that are assignable to Sum:
	//	*Scenario_Pure
	//	*Scenario_Block
	//	*Scenario_Commit_
	//	*Scenario_MustFailAt
	//	*Scenario_Pass
	//	*Scenario_GetTime
	//	*Scenario_GetParty
	//	*Scenario_EmbedExpr_
	Sum isScenario_Sum `protobuf_oneof:"Sum"`
	// contains filtered or unexported fields
}

Scenario actions

func (*Scenario) Descriptor deprecated 

func (*Scenario) Descriptor() ([]byte, []int)

Deprecated: Use Scenario.ProtoReflect.Descriptor instead.

func (*Scenario) GetBlock 

func (x *Scenario) GetBlock() *Block

func (*Scenario) GetCommit 

func (x *Scenario) GetCommit() *Scenario_Commit

func (*Scenario) GetEmbedExpr 

func (x *Scenario) GetEmbedExpr() *Scenario_EmbedExpr

func (*Scenario) GetGetParty 

func (x *Scenario) GetGetParty() *Expr

func (*Scenario) GetGetTime 

func (x *Scenario) GetGetTime() *Unit

func (*Scenario) GetMustFailAt 

func (x *Scenario) GetMustFailAt() *Scenario_Commit

func (*Scenario) GetPass 

func (x *Scenario) GetPass() *Expr

func (*Scenario) GetPure 

func (x *Scenario) GetPure() *Pure

func (*Scenario) GetSum 

func (m *Scenario) GetSum() isScenario_Sum

func (*Scenario) ProtoMessage 

func (*Scenario) ProtoMessage()

func (*Scenario) ProtoReflect 

func (x *Scenario) ProtoReflect() protoreflect.Message

func (*Scenario) Reset 

func (x *Scenario) Reset()

func (*Scenario) String 

func (x *Scenario) String() string

type Scenario_Block 

type Scenario_Block struct {
	Block *Block `protobuf:"bytes,2,opt,name=block,proto3,oneof"`
}

type Scenario_Commit 

type Scenario_Commit struct {

	// committing party
	Party *Expr `protobuf:"bytes,1,opt,name=party,proto3" json:"party,omitempty"`
	//
	Expr *Expr `protobuf:"bytes,2,opt,name=expr,proto3" json:"expr,omitempty"`
	// type of result
	RetType *Type `protobuf:"bytes,3,opt,name=ret_type,json=retType,proto3" json:"ret_type,omitempty"`
	// contains filtered or unexported fields
}

func (*Scenario_Commit) Descriptor deprecated 

func (*Scenario_Commit) Descriptor() ([]byte, []int)

Deprecated: Use Scenario_Commit.ProtoReflect.Descriptor instead.

func (*Scenario_Commit) GetExpr 

func (x *Scenario_Commit) GetExpr() *Expr

func (*Scenario_Commit) GetParty 

func (x *Scenario_Commit) GetParty() *Expr

func (*Scenario_Commit) GetRetType 

func (x *Scenario_Commit) GetRetType() *Type

func (*Scenario_Commit) ProtoMessage 

func (*Scenario_Commit) ProtoMessage()

func (*Scenario_Commit) ProtoReflect 

func (x *Scenario_Commit) ProtoReflect() protoreflect.Message

func (*Scenario_Commit) Reset 

func (x *Scenario_Commit) Reset()

func (*Scenario_Commit) String 

func (x *Scenario_Commit) String() string

type Scenario_Commit_ 

type Scenario_Commit_ struct {
	Commit *Scenario_Commit `protobuf:"bytes,3,opt,name=commit,proto3,oneof"`
}

type Scenario_EmbedExpr 

type Scenario_EmbedExpr struct {
	Type *Type `protobuf:"bytes,1,opt,name=type,proto3" json:"type,omitempty"`
	Body *Expr `protobuf:"bytes,2,opt,name=body,proto3" json:"body,omitempty"`
	// contains filtered or unexported fields
}

func (*Scenario_EmbedExpr) Descriptor deprecated 

func (*Scenario_EmbedExpr) Descriptor() ([]byte, []int)

Deprecated: Use Scenario_EmbedExpr.ProtoReflect.Descriptor instead.

func (*Scenario_EmbedExpr) GetBody 

func (x *Scenario_EmbedExpr) GetBody() *Expr

func (*Scenario_EmbedExpr) GetType 

func (x *Scenario_EmbedExpr) GetType() *Type

func (*Scenario_EmbedExpr) ProtoMessage 

func (*Scenario_EmbedExpr) ProtoMessage()

func (*Scenario_EmbedExpr) ProtoReflect 

func (x *Scenario_EmbedExpr) ProtoReflect() protoreflect.Message

func (*Scenario_EmbedExpr) Reset 

func (x *Scenario_EmbedExpr) Reset()

func (*Scenario_EmbedExpr) String 

func (x *Scenario_EmbedExpr) String() string

type Scenario_EmbedExpr_ 

type Scenario_EmbedExpr_ struct {
	// embed an expression of type Scenario. note that this construct is useful
	// to explicitly mark the start of scenario execution, which is useful in
	// top level definitions. for example if we hav
	//
	// def test : Scenario Unit = if <blah> then <this> else <that>
	//
	// this is not a value, since it's headed with an `if`, but we can turn
	// it into a value by wrapping the `if` with this constructor. in that
	// case, the `if` will be executed every time the scenario runs --
	// as expected.
	EmbedExpr *Scenario_EmbedExpr `protobuf:"bytes,8,opt,name=embed_expr,json=embedExpr,proto3,oneof"`
}

type Scenario_GetParty 

type Scenario_GetParty struct {
	GetParty *Expr `protobuf:"bytes,7,opt,name=get_party,json=getParty,proto3,oneof"`
}

type Scenario_GetTime 

type Scenario_GetTime struct {
	GetTime *Unit `protobuf:"bytes,6,opt,name=get_time,json=getTime,proto3,oneof"`
}

type Scenario_MustFailAt 

type Scenario_MustFailAt struct {
	MustFailAt *Scenario_Commit `protobuf:"bytes,4,opt,name=mustFailAt,proto3,oneof"`
}

type Scenario_Pass 

type Scenario_Pass struct {
	Pass *Expr `protobuf:"bytes,5,opt,name=pass,proto3,oneof"`
}

type Scenario_Pure 

type Scenario_Pure struct {
	Pure *Pure `protobuf:"bytes,1,opt,name=pure,proto3,oneof"`
}

type TemplateChoice 

type TemplateChoice struct {

	// *Must be a valid identifier*
	//
	// Types that are assignable to Name:
	//	*TemplateChoice_NameStr
	//	*TemplateChoice_NameInternedStr
	Name isTemplateChoice_Name `protobuf_oneof:"name"`
	// Choice type
	Consuming bool `protobuf:"varint,2,opt,name=consuming,proto3" json:"consuming,omitempty"`
	// The controllers of the choice. They have type `List Party` and the
	// template parameter in scope, and the choice parameter. All of these
	// controllers need to authorize the exercising of this choice (aka
	// conjunctive choice controllers).
	Controllers *Expr `protobuf:"bytes,3,opt,name=controllers,proto3" json:"controllers,omitempty"`
	// The additional informees of the choice. They have type `List Party`.
	Observers *Expr `protobuf:"bytes,11,opt,name=observers,proto3" json:"observers,omitempty"` // *Available in versions >= 1.11*
	// Name to which the choice argument is bound and its type.
	ArgBinder *VarWithType `protobuf:"bytes,4,opt,name=arg_binder,json=argBinder,proto3" json:"arg_binder,omitempty"`
	// Return type of the choice.
	RetType *Type `protobuf:"bytes,5,opt,name=ret_type,json=retType,proto3" json:"ret_type,omitempty"`
	// Follow-up update of the choice. It has type `Update <ret_type>` and both
	// the template parameter and the choice parameter in scope.
	Update *Expr `protobuf:"bytes,6,opt,name=update,proto3" json:"update,omitempty"`
	// Name to bind the ContractId of the contract this choice is exercised on to.
	//
	// Types that are assignable to SelfBinder:
	//	*TemplateChoice_SelfBinderStr
	//	*TemplateChoice_SelfBinderInternedStr
	SelfBinder isTemplateChoice_SelfBinder `protobuf_oneof:"self_binder"`
	Location   *Location                   `protobuf:"bytes,8,opt,name=location,proto3" json:"location,omitempty"`
	// contains filtered or unexported fields
}

Template choice definition.

func (*TemplateChoice) Descriptor deprecated 

func (*TemplateChoice) Descriptor() ([]byte, []int)

Deprecated: Use TemplateChoice.ProtoReflect.Descriptor instead.

func (*TemplateChoice) GetArgBinder 

func (x *TemplateChoice) GetArgBinder() *VarWithType

func (*TemplateChoice) GetConsuming 

func (x *TemplateChoice) GetConsuming() bool

func (*TemplateChoice) GetControllers 

func (x *TemplateChoice) GetControllers() *Expr

func (*TemplateChoice) GetLocation 

func (x *TemplateChoice) GetLocation() *Location

func (*TemplateChoice) GetName 

func (m *TemplateChoice) GetName() isTemplateChoice_Name

func (*TemplateChoice) GetNameInternedStr 

func (x *TemplateChoice) GetNameInternedStr() int32

func (*TemplateChoice) GetNameStr 

func (x *TemplateChoice) GetNameStr() string

func (*TemplateChoice) GetObservers 

func (x *TemplateChoice) GetObservers() *Expr

func (*TemplateChoice) GetRetType 

func (x *TemplateChoice) GetRetType() *Type

func (*TemplateChoice) GetSelfBinder 

func (m *TemplateChoice) GetSelfBinder() isTemplateChoice_SelfBinder

func (*TemplateChoice) GetSelfBinderInternedStr 

func (x *TemplateChoice) GetSelfBinderInternedStr() int32

func (*TemplateChoice) GetSelfBinderStr 

func (x *TemplateChoice) GetSelfBinderStr() string

func (*TemplateChoice) GetUpdate 

func (x *TemplateChoice) GetUpdate() *Expr

func (*TemplateChoice) ProtoMessage 

func (*TemplateChoice) ProtoMessage()

func (*TemplateChoice) ProtoReflect 

func (x *TemplateChoice) ProtoReflect() protoreflect.Message

func (*TemplateChoice) Reset 

func (x *TemplateChoice) Reset()

func (*TemplateChoice) String 

func (x *TemplateChoice) String() string

type TemplateChoice_NameInternedStr 

type TemplateChoice_NameInternedStr struct {
	// *Must be a valid interned identifier*
	NameInternedStr int32 `protobuf:"varint,9,opt,name=name_interned_str,json=nameInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type TemplateChoice_NameStr 

type TemplateChoice_NameStr struct {
	NameStr string `protobuf:"bytes,1,opt,name=name_str,json=nameStr,proto3,oneof"` // *Available in version < 1.7*
}

type TemplateChoice_SelfBinderInternedStr 

type TemplateChoice_SelfBinderInternedStr struct {
	// *Must be a valid interned identifier*
	SelfBinderInternedStr int32 `protobuf:"varint,10,opt,name=self_binder_interned_str,json=selfBinderInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type TemplateChoice_SelfBinderStr 

type TemplateChoice_SelfBinderStr struct {
	// *Must be a valid identifier*
	SelfBinderStr string `protobuf:"bytes,7,opt,name=self_binder_str,json=selfBinderStr,proto3,oneof"` // *Available in version < 1.7*
}

type Type 

type Type struct {

	// Types that are assignable to Sum:
	//	*Type_Var_
	//	*Type_Con_
	//	*Type_Prim_
	//	*Type_Forall_
	//	*Type_Struct_
	//	*Type_Nat
	//	*Type_Syn_
	//	*Type_Interned
	Sum isType_Sum `protobuf_oneof:"Sum"`
	// contains filtered or unexported fields
}

Types

func (*Type) Descriptor deprecated 

func (*Type) Descriptor() ([]byte, []int)

Deprecated: Use Type.ProtoReflect.Descriptor instead.

func (*Type) GetCon 

func (x *Type) GetCon() *Type_Con

func (*Type) GetForall 

func (x *Type) GetForall() *Type_Forall

func (*Type) GetInterned 

func (x *Type) GetInterned() int32

func (*Type) GetNat 

func (x *Type) GetNat() int64

func (*Type) GetPrim 

func (x *Type) GetPrim() *Type_Prim

func (*Type) GetStruct 

func (x *Type) GetStruct() *Type_Struct

func (*Type) GetSum 

func (m *Type) GetSum() isType_Sum

func (*Type) GetSyn 

func (x *Type) GetSyn() *Type_Syn

func (*Type) GetVar 

func (x *Type) GetVar() *Type_Var

func (*Type) ProtoMessage 

func (*Type) ProtoMessage()

func (*Type) ProtoReflect 

func (x *Type) ProtoReflect() protoreflect.Message

func (*Type) Reset 

func (x *Type) Reset()

func (*Type) String 

func (x *Type) String() string

type TypeConName 

type TypeConName struct {

	// Module where the type is defined.
	Module *ModuleRef `protobuf:"bytes,1,opt,name=module,proto3" json:"module,omitempty"`
	// Types that are assignable to Name:
	//	*TypeConName_NameDname
	//	*TypeConName_NameInternedDname
	Name isTypeConName_Name `protobuf_oneof:"name"`
	// contains filtered or unexported fields
}

A fully qualified reference to a type constructor name.

func (*TypeConName) Descriptor deprecated 

func (*TypeConName) Descriptor() ([]byte, []int)

Deprecated: Use TypeConName.ProtoReflect.Descriptor instead.

func (*TypeConName) GetModule 

func (x *TypeConName) GetModule() *ModuleRef

func (*TypeConName) GetName 

func (m *TypeConName) GetName() isTypeConName_Name

func (*TypeConName) GetNameDname 

func (x *TypeConName) GetNameDname() *DottedName

func (*TypeConName) GetNameInternedDname 

func (x *TypeConName) GetNameInternedDname() int32

func (*TypeConName) ProtoMessage 

func (*TypeConName) ProtoMessage()

func (*TypeConName) ProtoReflect 

func (x *TypeConName) ProtoReflect() protoreflect.Message

func (*TypeConName) Reset 

func (x *TypeConName) Reset()

func (*TypeConName) String 

func (x *TypeConName) String() string

type TypeConName_NameDname 

type TypeConName_NameDname struct {
	// type constructor name.
	NameDname *DottedName `protobuf:"bytes,2,opt,name=name_dname,json=nameDname,proto3,oneof"`
}

type TypeConName_NameInternedDname 

type TypeConName_NameInternedDname struct {
	// *Must be a valid interned name*
	NameInternedDname int32 `protobuf:"varint,3,opt,name=name_interned_dname,json=nameInternedDname,proto3,oneof"` // *Available in versions >= 1.7*
}

type TypeSynName 

type TypeSynName struct {

	// Module where the type is defined.
	Module *ModuleRef `protobuf:"bytes,1,opt,name=module,proto3" json:"module,omitempty"`
	// Types that are assignable to Name:
	//	*TypeSynName_NameDname
	//	*TypeSynName_NameInternedDname
	Name isTypeSynName_Name `protobuf_oneof:"name"`
	// contains filtered or unexported fields
}

A fully qualified reference to a type synonym name. *Available in versions >= 1.8*

func (*TypeSynName) Descriptor deprecated 

func (*TypeSynName) Descriptor() ([]byte, []int)

Deprecated: Use TypeSynName.ProtoReflect.Descriptor instead.

func (*TypeSynName) GetModule 

func (x *TypeSynName) GetModule() *ModuleRef

func (*TypeSynName) GetName 

func (m *TypeSynName) GetName() isTypeSynName_Name

func (*TypeSynName) GetNameDname 

func (x *TypeSynName) GetNameDname() *DottedName

func (*TypeSynName) GetNameInternedDname 

func (x *TypeSynName) GetNameInternedDname() int32

func (*TypeSynName) ProtoMessage 

func (*TypeSynName) ProtoMessage()

func (*TypeSynName) ProtoReflect 

func (x *TypeSynName) ProtoReflect() protoreflect.Message

func (*TypeSynName) Reset 

func (x *TypeSynName) Reset()

func (*TypeSynName) String 

func (x *TypeSynName) String() string

type TypeSynName_NameDname 

type TypeSynName_NameDname struct {
	// type synonym name.
	NameDname *DottedName `protobuf:"bytes,2,opt,name=name_dname,json=nameDname,proto3,oneof"`
}

type TypeSynName_NameInternedDname 

type TypeSynName_NameInternedDname struct {
	// *Must be a valid interned name*
	NameInternedDname int32 `protobuf:"varint,3,opt,name=name_interned_dname,json=nameInternedDname,proto3,oneof"`
}

type TypeVarWithKind 

type TypeVarWithKind struct {

	// Name of the bound expression variable
	//
	// Types that are assignable to Var:
	//	*TypeVarWithKind_VarStr
	//	*TypeVarWithKind_VarInternedStr
	Var isTypeVarWithKind_Var `protobuf_oneof:"var"`
	// Kind of the bound variable
	Kind *Kind `protobuf:"bytes,2,opt,name=kind,proto3" json:"kind,omitempty"`
	// contains filtered or unexported fields
}

Type binder associated with a kind.

func (*TypeVarWithKind) Descriptor deprecated 

func (*TypeVarWithKind) Descriptor() ([]byte, []int)

Deprecated: Use TypeVarWithKind.ProtoReflect.Descriptor instead.

func (*TypeVarWithKind) GetKind 

func (x *TypeVarWithKind) GetKind() *Kind

func (*TypeVarWithKind) GetVar 

func (m *TypeVarWithKind) GetVar() isTypeVarWithKind_Var

func (*TypeVarWithKind) GetVarInternedStr 

func (x *TypeVarWithKind) GetVarInternedStr() int32

func (*TypeVarWithKind) GetVarStr 

func (x *TypeVarWithKind) GetVarStr() string

func (*TypeVarWithKind) ProtoMessage 

func (*TypeVarWithKind) ProtoMessage()

func (*TypeVarWithKind) ProtoReflect 

func (x *TypeVarWithKind) ProtoReflect() protoreflect.Message

func (*TypeVarWithKind) Reset 

func (x *TypeVarWithKind) Reset()

func (*TypeVarWithKind) String 

func (x *TypeVarWithKind) String() string

type TypeVarWithKind_VarInternedStr 

type TypeVarWithKind_VarInternedStr struct {
	// *Must be a valid interned identifier*
	VarInternedStr int32 `protobuf:"varint,3,opt,name=var_interned_str,json=varInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type TypeVarWithKind_VarStr 

type TypeVarWithKind_VarStr struct {
	// *Must be a valid identifier*
	VarStr string `protobuf:"bytes,1,opt,name=var_str,json=varStr,proto3,oneof"` // *Available in version < 1.7*
}

type Type_Con 

type Type_Con struct {

	// Name of the type constructor name
	Tycon *TypeConName `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"`
	// Type to which the constructor name is applied.
	Args []*Type `protobuf:"bytes,2,rep,name=args,proto3" json:"args,omitempty"`
	// contains filtered or unexported fields
}

Possibly applied type constructor 'TyCon'

func (*Type_Con) Descriptor deprecated 

func (*Type_Con) Descriptor() ([]byte, []int)

Deprecated: Use Type_Con.ProtoReflect.Descriptor instead.

func (*Type_Con) GetArgs 

func (x *Type_Con) GetArgs() []*Type

func (*Type_Con) GetTycon 

func (x *Type_Con) GetTycon() *TypeConName

func (*Type_Con) ProtoMessage 

func (*Type_Con) ProtoMessage()

func (*Type_Con) ProtoReflect 

func (x *Type_Con) ProtoReflect() protoreflect.Message

func (*Type_Con) Reset 

func (x *Type_Con) Reset()

func (*Type_Con) String 

func (x *Type_Con) String() string

type Type_Con_ 

type Type_Con_ struct {
	Con *Type_Con `protobuf:"bytes,2,opt,name=con,proto3,oneof"`
}

type Type_Forall 

type Type_Forall struct {

	// binders of the quantification
	// *Must be non-empty*
	Vars []*TypeVarWithKind `protobuf:"bytes,1,rep,name=vars,proto3" json:"vars,omitempty"`
	// Body of the quantification
	Body *Type `protobuf:"bytes,2,opt,name=body,proto3" json:"body,omitempty"`
	// contains filtered or unexported fields
}

Universal quantification 'TyForAll'

func (*Type_Forall) Descriptor deprecated 

func (*Type_Forall) Descriptor() ([]byte, []int)

Deprecated: Use Type_Forall.ProtoReflect.Descriptor instead.

func (*Type_Forall) GetBody 

func (x *Type_Forall) GetBody() *Type

func (*Type_Forall) GetVars 

func (x *Type_Forall) GetVars() []*TypeVarWithKind

func (*Type_Forall) ProtoMessage 

func (*Type_Forall) ProtoMessage()

func (*Type_Forall) ProtoReflect 

func (x *Type_Forall) ProtoReflect() protoreflect.Message

func (*Type_Forall) Reset 

func (x *Type_Forall) Reset()

func (*Type_Forall) String 

func (x *Type_Forall) String() string

type Type_Forall_ 

type Type_Forall_ struct {
	Forall *Type_Forall `protobuf:"bytes,5,opt,name=forall,proto3,oneof"`
}

type Type_Fun 

type Type_Fun struct {

	// type of the arguments
	// *Must be non-empty*
	Params []*Type `protobuf:"bytes,1,rep,name=params,proto3" json:"params,omitempty"`
	// type of the result
	Result *Type `protobuf:"bytes,2,opt,name=result,proto3" json:"result,omitempty"`
	// contains filtered or unexported fields
}

n-ary function type *Available in versions < 1.2*

func (*Type_Fun) Descriptor deprecated 

func (*Type_Fun) Descriptor() ([]byte, []int)

Deprecated: Use Type_Fun.ProtoReflect.Descriptor instead.

func (*Type_Fun) GetParams 

func (x *Type_Fun) GetParams() []*Type

func (*Type_Fun) GetResult 

func (x *Type_Fun) GetResult() *Type

func (*Type_Fun) ProtoMessage 

func (*Type_Fun) ProtoMessage()

func (*Type_Fun) ProtoReflect 

func (x *Type_Fun) ProtoReflect() protoreflect.Message

func (*Type_Fun) Reset 

func (x *Type_Fun) Reset()

func (*Type_Fun) String 

func (x *Type_Fun) String() string

type Type_Interned 

type Type_Interned struct {
	Interned int32 `protobuf:"varint,13,opt,name=interned,proto3,oneof"` // *Available in versions >= 1.11*
}

type Type_Nat 

type Type_Nat struct {
	// *Available in versions >= 1.7*
	// *Must be between 0 and 37 (bounds inclusive)*
	// use standard signed long for future usage.
	Nat int64 `protobuf:"zigzag64,11,opt,name=nat,proto3,oneof"`
}

type Type_Prim 

type Type_Prim struct {

	// Builtin type
	// FixMe: Rename
	Prim PrimType `protobuf:"varint,1,opt,name=prim,proto3,enum=daml_lf_1.PrimType" json:"prim,omitempty"`
	// Types to which the builtin type is applied.
	Args []*Type `protobuf:"bytes,2,rep,name=args,proto3" json:"args,omitempty"`
	// contains filtered or unexported fields
}

Possibly applied builtin types

func (*Type_Prim) Descriptor deprecated 

func (*Type_Prim) Descriptor() ([]byte, []int)

Deprecated: Use Type_Prim.ProtoReflect.Descriptor instead.

func (*Type_Prim) GetArgs 

func (x *Type_Prim) GetArgs() []*Type

func (*Type_Prim) GetPrim 

func (x *Type_Prim) GetPrim() PrimType

func (*Type_Prim) ProtoMessage 

func (*Type_Prim) ProtoMessage()

func (*Type_Prim) ProtoReflect 

func (x *Type_Prim) ProtoReflect() protoreflect.Message

func (*Type_Prim) Reset 

func (x *Type_Prim) Reset()

func (*Type_Prim) String 

func (x *Type_Prim) String() string

type Type_Prim_ 

type Type_Prim_ struct {
	Prim *Type_Prim `protobuf:"bytes,3,opt,name=prim,proto3,oneof"` // FixMe: renamed
}

type Type_Struct 

type Type_Struct struct {

	// name of the field with their types.
	Fields []*FieldWithType `protobuf:"bytes,1,rep,name=fields,proto3" json:"fields,omitempty"`
	// contains filtered or unexported fields
}

Struct type

func (*Type_Struct) Descriptor deprecated 

func (*Type_Struct) Descriptor() ([]byte, []int)

Deprecated: Use Type_Struct.ProtoReflect.Descriptor instead.

func (*Type_Struct) GetFields 

func (x *Type_Struct) GetFields() []*FieldWithType

func (*Type_Struct) ProtoMessage 

func (*Type_Struct) ProtoMessage()

func (*Type_Struct) ProtoReflect 

func (x *Type_Struct) ProtoReflect() protoreflect.Message

func (*Type_Struct) Reset 

func (x *Type_Struct) Reset()

func (*Type_Struct) String 

func (x *Type_Struct) String() string

type Type_Struct_ 

type Type_Struct_ struct {
	Struct *Type_Struct `protobuf:"bytes,7,opt,name=struct,proto3,oneof"`
}

type Type_Syn 

type Type_Syn struct {

	// Name of the type synonym
	Tysyn *TypeSynName `protobuf:"bytes,1,opt,name=tysyn,proto3" json:"tysyn,omitempty"`
	// Types to which the synonym is applied.
	Args []*Type `protobuf:"bytes,2,rep,name=args,proto3" json:"args,omitempty"`
	// contains filtered or unexported fields
}

Fully applied type constructor 'TySyn' *Available in versions >= 1.8*

func (*Type_Syn) Descriptor deprecated 

func (*Type_Syn) Descriptor() ([]byte, []int)

Deprecated: Use Type_Syn.ProtoReflect.Descriptor instead.

func (*Type_Syn) GetArgs 

func (x *Type_Syn) GetArgs() []*Type

func (*Type_Syn) GetTysyn 

func (x *Type_Syn) GetTysyn() *TypeSynName

func (*Type_Syn) ProtoMessage 

func (*Type_Syn) ProtoMessage()

func (*Type_Syn) ProtoReflect 

func (x *Type_Syn) ProtoReflect() protoreflect.Message

func (*Type_Syn) Reset 

func (x *Type_Syn) Reset()

func (*Type_Syn) String 

func (x *Type_Syn) String() string

type Type_Syn_ 

type Type_Syn_ struct {
	Syn *Type_Syn `protobuf:"bytes,12,opt,name=syn,proto3,oneof"` // *Available in versions >= 1.8*
}

type Type_Var 

type Type_Var struct {

	// Name of the variable.
	//
	// Types that are assignable to Var:
	//	*Type_Var_VarStr
	//	*Type_Var_VarInternedStr
	Var isType_Var_Var `protobuf_oneof:"var"`
	// Types to which the variable is applied
	Args []*Type `protobuf:"bytes,2,rep,name=args,proto3" json:"args,omitempty"`
	// contains filtered or unexported fields
}

Possibly applied type variable 'TyVar'

func (*Type_Var) Descriptor deprecated 

func (*Type_Var) Descriptor() ([]byte, []int)

Deprecated: Use Type_Var.ProtoReflect.Descriptor instead.

func (*Type_Var) GetArgs 

func (x *Type_Var) GetArgs() []*Type

func (*Type_Var) GetVar 

func (m *Type_Var) GetVar() isType_Var_Var

func (*Type_Var) GetVarInternedStr 

func (x *Type_Var) GetVarInternedStr() int32

func (*Type_Var) GetVarStr 

func (x *Type_Var) GetVarStr() string

func (*Type_Var) ProtoMessage 

func (*Type_Var) ProtoMessage()

func (*Type_Var) ProtoReflect 

func (x *Type_Var) ProtoReflect() protoreflect.Message

func (*Type_Var) Reset 

func (x *Type_Var) Reset()

func (*Type_Var) String 

func (x *Type_Var) String() string

type Type_Var_ 

type Type_Var_ struct {
	Var *Type_Var `protobuf:"bytes,1,opt,name=var,proto3,oneof"`
}

type Type_Var_VarInternedStr 

type Type_Var_VarInternedStr struct {
	// *Must be a valid interned identifier*
	VarInternedStr int32 `protobuf:"varint,3,opt,name=var_interned_str,json=varInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type Type_Var_VarStr 

type Type_Var_VarStr struct {
	// *Must be a valid identifier*
	VarStr string `protobuf:"bytes,1,opt,name=var_str,json=varStr,proto3,oneof"` // *Available in version < 1.7*
}

type Unit 

type Unit struct {
	// contains filtered or unexported fields
}

Canonical encoding in one-ofs for cases that carry no meaningful values.

func (*Unit) Descriptor deprecated 

func (*Unit) Descriptor() ([]byte, []int)

Deprecated: Use Unit.ProtoReflect.Descriptor instead.

func (*Unit) ProtoMessage 

func (*Unit) ProtoMessage()

func (*Unit) ProtoReflect 

func (x *Unit) ProtoReflect() protoreflect.Message

func (*Unit) Reset 

func (x *Unit) Reset()

func (*Unit) String 

func (x *Unit) String() string

type Update 

type Update struct {

	// Types that are assignable to Sum:
	//	*Update_Pure
	//	*Update_Block
	//	*Update_Create_
	//	*Update_Exercise_
	//	*Update_ExerciseByKey_
	//	*Update_Fetch_
	//	*Update_GetTime
	//	*Update_LookupByKey
	//	*Update_FetchByKey
	//	*Update_EmbedExpr_
	//	*Update_TryCatch_
	Sum isUpdate_Sum `protobuf_oneof:"Sum"`
	// contains filtered or unexported fields
}

func (*Update) Descriptor deprecated 

func (*Update) Descriptor() ([]byte, []int)

Deprecated: Use Update.ProtoReflect.Descriptor instead.

func (*Update) GetBlock 

func (x *Update) GetBlock() *Block

func (*Update) GetCreate 

func (x *Update) GetCreate() *Update_Create

func (*Update) GetEmbedExpr 

func (x *Update) GetEmbedExpr() *Update_EmbedExpr

func (*Update) GetExercise 

func (x *Update) GetExercise() *Update_Exercise

func (*Update) GetExerciseByKey 

func (x *Update) GetExerciseByKey() *Update_ExerciseByKey

func (*Update) GetFetch 

func (x *Update) GetFetch() *Update_Fetch

func (*Update) GetFetchByKey 

func (x *Update) GetFetchByKey() *Update_RetrieveByKey

func (*Update) GetGetTime 

func (x *Update) GetGetTime() *Unit

func (*Update) GetLookupByKey 

func (x *Update) GetLookupByKey() *Update_RetrieveByKey

func (*Update) GetPure 

func (x *Update) GetPure() *Pure

func (*Update) GetSum 

func (m *Update) GetSum() isUpdate_Sum

func (*Update) GetTryCatch 

func (x *Update) GetTryCatch() *Update_TryCatch

func (*Update) ProtoMessage 

func (*Update) ProtoMessage()

func (*Update) ProtoReflect 

func (x *Update) ProtoReflect() protoreflect.Message

func (*Update) Reset 

func (x *Update) Reset()

func (*Update) String 

func (x *Update) String() string

type Update_Block 

type Update_Block struct {
	Block *Block `protobuf:"bytes,2,opt,name=block,proto3,oneof"`
}

type Update_Create 

type Update_Create struct {

	// Template type
	Template *TypeConName `protobuf:"bytes,1,opt,name=template,proto3" json:"template,omitempty"`
	// Template argument
	Expr *Expr `protobuf:"bytes,2,opt,name=expr,proto3" json:"expr,omitempty"`
	// contains filtered or unexported fields
}

Create Update

func (*Update_Create) Descriptor deprecated 

func (*Update_Create) Descriptor() ([]byte, []int)

Deprecated: Use Update_Create.ProtoReflect.Descriptor instead.

func (*Update_Create) GetExpr 

func (x *Update_Create) GetExpr() *Expr

func (*Update_Create) GetTemplate 

func (x *Update_Create) GetTemplate() *TypeConName

func (*Update_Create) ProtoMessage 

func (*Update_Create) ProtoMessage()

func (*Update_Create) ProtoReflect 

func (x *Update_Create) ProtoReflect() protoreflect.Message

func (*Update_Create) Reset 

func (x *Update_Create) Reset()

func (*Update_Create) String 

func (x *Update_Create) String() string

type Update_Create_ 

type Update_Create_ struct {
	Create *Update_Create `protobuf:"bytes,3,opt,name=create,proto3,oneof"`
}

type Update_EmbedExpr 

type Update_EmbedExpr struct {

	// Expression type
	Type *Type `protobuf:"bytes,1,opt,name=type,proto3" json:"type,omitempty"`
	// Expression body
	Body *Expr `protobuf:"bytes,2,opt,name=body,proto3" json:"body,omitempty"`
	// contains filtered or unexported fields
}

Embedded Expression Update

func (*Update_EmbedExpr) Descriptor deprecated 

func (*Update_EmbedExpr) Descriptor() ([]byte, []int)

Deprecated: Use Update_EmbedExpr.ProtoReflect.Descriptor instead.

func (*Update_EmbedExpr) GetBody 

func (x *Update_EmbedExpr) GetBody() *Expr

func (*Update_EmbedExpr) GetType 

func (x *Update_EmbedExpr) GetType() *Type

func (*Update_EmbedExpr) ProtoMessage 

func (*Update_EmbedExpr) ProtoMessage()

func (*Update_EmbedExpr) ProtoReflect 

func (x *Update_EmbedExpr) ProtoReflect() protoreflect.Message

func (*Update_EmbedExpr) Reset 

func (x *Update_EmbedExpr) Reset()

func (*Update_EmbedExpr) String 

func (x *Update_EmbedExpr) String() string

type Update_EmbedExpr_ 

type Update_EmbedExpr_ struct {
	// see similar constructor in `Scenario` on why this is useful.
	EmbedExpr *Update_EmbedExpr `protobuf:"bytes,7,opt,name=embed_expr,json=embedExpr,proto3,oneof"`
}

type Update_Exercise 

type Update_Exercise struct {

	// Template type
	Template *TypeConName `protobuf:"bytes,1,opt,name=template,proto3" json:"template,omitempty"`
	// name of the exercised template choice
	//
	// Types that are assignable to Choice:
	//	*Update_Exercise_ChoiceStr
	//	*Update_Exercise_ChoiceInternedStr
	Choice isUpdate_Exercise_Choice `protobuf_oneof:"choice"`
	// contract id
	Cid *Expr `protobuf:"bytes,3,opt,name=cid,proto3" json:"cid,omitempty"`
	// argument
	Arg *Expr `protobuf:"bytes,5,opt,name=arg,proto3" json:"arg,omitempty"`
	// contains filtered or unexported fields
}

Exercise Update

func (*Update_Exercise) Descriptor deprecated 

func (*Update_Exercise) Descriptor() ([]byte, []int)

Deprecated: Use Update_Exercise.ProtoReflect.Descriptor instead.

func (*Update_Exercise) GetArg 

func (x *Update_Exercise) GetArg() *Expr

func (*Update_Exercise) GetChoice 

func (m *Update_Exercise) GetChoice() isUpdate_Exercise_Choice

func (*Update_Exercise) GetChoiceInternedStr 

func (x *Update_Exercise) GetChoiceInternedStr() int32

func (*Update_Exercise) GetChoiceStr 

func (x *Update_Exercise) GetChoiceStr() string

func (*Update_Exercise) GetCid 

func (x *Update_Exercise) GetCid() *Expr

func (*Update_Exercise) GetTemplate 

func (x *Update_Exercise) GetTemplate() *TypeConName

func (*Update_Exercise) ProtoMessage 

func (*Update_Exercise) ProtoMessage()

func (*Update_Exercise) ProtoReflect 

func (x *Update_Exercise) ProtoReflect() protoreflect.Message

func (*Update_Exercise) Reset 

func (x *Update_Exercise) Reset()

func (*Update_Exercise) String 

func (x *Update_Exercise) String() string

type Update_ExerciseByKey 

type Update_ExerciseByKey struct {

	// Template type
	Template *TypeConName `protobuf:"bytes,1,opt,name=template,proto3" json:"template,omitempty"`
	// *Must be a valid interned identifier*
	ChoiceInternedStr int32 `protobuf:"varint,2,opt,name=choice_interned_str,json=choiceInternedStr,proto3" json:"choice_interned_str,omitempty"`
	// key
	Key *Expr `protobuf:"bytes,3,opt,name=key,proto3" json:"key,omitempty"`
	// argument
	Arg *Expr `protobuf:"bytes,4,opt,name=arg,proto3" json:"arg,omitempty"`
	// contains filtered or unexported fields
}

ExerciseByKey Update

func (*Update_ExerciseByKey) Descriptor deprecated 

func (*Update_ExerciseByKey) Descriptor() ([]byte, []int)

Deprecated: Use Update_ExerciseByKey.ProtoReflect.Descriptor instead.

func (*Update_ExerciseByKey) GetArg 

func (x *Update_ExerciseByKey) GetArg() *Expr

func (*Update_ExerciseByKey) GetChoiceInternedStr 

func (x *Update_ExerciseByKey) GetChoiceInternedStr() int32

func (*Update_ExerciseByKey) GetKey 

func (x *Update_ExerciseByKey) GetKey() *Expr

func (*Update_ExerciseByKey) GetTemplate 

func (x *Update_ExerciseByKey) GetTemplate() *TypeConName

func (*Update_ExerciseByKey) ProtoMessage 

func (*Update_ExerciseByKey) ProtoMessage()

func (*Update_ExerciseByKey) ProtoReflect 

func (x *Update_ExerciseByKey) ProtoReflect() protoreflect.Message

func (*Update_ExerciseByKey) Reset 

func (x *Update_ExerciseByKey) Reset()

func (*Update_ExerciseByKey) String 

func (x *Update_ExerciseByKey) String() string

type Update_ExerciseByKey_ 

type Update_ExerciseByKey_ struct {
	ExerciseByKey *Update_ExerciseByKey `protobuf:"bytes,10,opt,name=exercise_by_key,json=exerciseByKey,proto3,oneof"` // *Available in versions >= 1.11*
}

type Update_Exercise_ 

type Update_Exercise_ struct {
	Exercise *Update_Exercise `protobuf:"bytes,4,opt,name=exercise,proto3,oneof"`
}

type Update_Exercise_ChoiceInternedStr 

type Update_Exercise_ChoiceInternedStr struct {
	// *Must be a valid interned identifier*
	ChoiceInternedStr int32 `protobuf:"varint,6,opt,name=choice_interned_str,json=choiceInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type Update_Exercise_ChoiceStr 

type Update_Exercise_ChoiceStr struct {
	// *Must be a valid identifier*
	ChoiceStr string `protobuf:"bytes,2,opt,name=choice_str,json=choiceStr,proto3,oneof"` // *Available in version < 1.7*
}

type Update_Fetch 

type Update_Fetch struct {

	// Template type
	Template *TypeConName `protobuf:"bytes,1,opt,name=template,proto3" json:"template,omitempty"`
	// contract id
	Cid *Expr `protobuf:"bytes,2,opt,name=cid,proto3" json:"cid,omitempty"`
	// contains filtered or unexported fields
}

Fetch Update

func (*Update_Fetch) Descriptor deprecated 

func (*Update_Fetch) Descriptor() ([]byte, []int)

Deprecated: Use Update_Fetch.ProtoReflect.Descriptor instead.

func (*Update_Fetch) GetCid 

func (x *Update_Fetch) GetCid() *Expr

func (*Update_Fetch) GetTemplate 

func (x *Update_Fetch) GetTemplate() *TypeConName

func (*Update_Fetch) ProtoMessage 

func (*Update_Fetch) ProtoMessage()

func (*Update_Fetch) ProtoReflect 

func (x *Update_Fetch) ProtoReflect() protoreflect.Message

func (*Update_Fetch) Reset 

func (x *Update_Fetch) Reset()

func (*Update_Fetch) String 

func (x *Update_Fetch) String() string

type Update_FetchByKey 

type Update_FetchByKey struct {
	FetchByKey *Update_RetrieveByKey `protobuf:"bytes,9,opt,name=fetch_by_key,json=fetchByKey,proto3,oneof"` // *Available in versions >= 1.2*
}

type Update_Fetch_ 

type Update_Fetch_ struct {
	Fetch *Update_Fetch `protobuf:"bytes,5,opt,name=fetch,proto3,oneof"`
}

type Update_GetTime 

type Update_GetTime struct {
	GetTime *Unit `protobuf:"bytes,6,opt,name=get_time,json=getTime,proto3,oneof"`
}

type Update_LookupByKey 

type Update_LookupByKey struct {
	LookupByKey *Update_RetrieveByKey `protobuf:"bytes,8,opt,name=lookup_by_key,json=lookupByKey,proto3,oneof"` // *Available in versions >= 1.2*
}

type Update_Pure 

type Update_Pure struct {
	Pure *Pure `protobuf:"bytes,1,opt,name=pure,proto3,oneof"`
}

type Update_RetrieveByKey 

type Update_RetrieveByKey struct {
	Template *TypeConName `protobuf:"bytes,1,opt,name=template,proto3" json:"template,omitempty"`
	Key      *Expr        `protobuf:"bytes,2,opt,name=key,proto3" json:"key,omitempty"`
	// contains filtered or unexported fields
}

Retrieve by key Update *Available in versions >= 1.2*

func (*Update_RetrieveByKey) Descriptor deprecated 

func (*Update_RetrieveByKey) Descriptor() ([]byte, []int)

Deprecated: Use Update_RetrieveByKey.ProtoReflect.Descriptor instead.

func (*Update_RetrieveByKey) GetKey 

func (x *Update_RetrieveByKey) GetKey() *Expr

func (*Update_RetrieveByKey) GetTemplate 

func (x *Update_RetrieveByKey) GetTemplate() *TypeConName

func (*Update_RetrieveByKey) ProtoMessage 

func (*Update_RetrieveByKey) ProtoMessage()

func (*Update_RetrieveByKey) ProtoReflect 

func (x *Update_RetrieveByKey) ProtoReflect() protoreflect.Message

func (*Update_RetrieveByKey) Reset 

func (x *Update_RetrieveByKey) Reset()

func (*Update_RetrieveByKey) String 

func (x *Update_RetrieveByKey) String() string

type Update_TryCatch 

type Update_TryCatch struct {
	ReturnType *Type `protobuf:"bytes,1,opt,name=return_type,json=returnType,proto3" json:"return_type,omitempty"`
	TryExpr    *Expr `protobuf:"bytes,2,opt,name=try_expr,json=tryExpr,proto3" json:"try_expr,omitempty"`
	// Name of the bound expression variable.
	// *Must be a valid interned identifier*
	VarInternedStr int32 `protobuf:"varint,3,opt,name=var_interned_str,json=varInternedStr,proto3" json:"var_interned_str,omitempty"`
	CatchExpr      *Expr `protobuf:"bytes,4,opt,name=catch_expr,json=catchExpr,proto3" json:"catch_expr,omitempty"`
	// contains filtered or unexported fields
}

Try-catch block.

func (*Update_TryCatch) Descriptor deprecated 

func (*Update_TryCatch) Descriptor() ([]byte, []int)

Deprecated: Use Update_TryCatch.ProtoReflect.Descriptor instead.

func (*Update_TryCatch) GetCatchExpr 

func (x *Update_TryCatch) GetCatchExpr() *Expr

func (*Update_TryCatch) GetReturnType 

func (x *Update_TryCatch) GetReturnType() *Type

func (*Update_TryCatch) GetTryExpr 

func (x *Update_TryCatch) GetTryExpr() *Expr

func (*Update_TryCatch) GetVarInternedStr 

func (x *Update_TryCatch) GetVarInternedStr() int32

func (*Update_TryCatch) ProtoMessage 

func (*Update_TryCatch) ProtoMessage()

func (*Update_TryCatch) ProtoReflect 

func (x *Update_TryCatch) ProtoReflect() protoreflect.Message

func (*Update_TryCatch) Reset 

func (x *Update_TryCatch) Reset()

func (*Update_TryCatch) String 

func (x *Update_TryCatch) String() string

type Update_TryCatch_ 

type Update_TryCatch_ struct {
	TryCatch *Update_TryCatch `protobuf:"bytes,11,opt,name=try_catch,json=tryCatch,proto3,oneof"` // *Available in versions >= 1.14*
}

type ValName 

type ValName struct {

	// Module where the value is defined
	Module *ModuleRef `protobuf:"bytes,1,opt,name=module,proto3" json:"module,omitempty"`
	// *Must be a non-empty list of valid identifier*
	NameDname []string `protobuf:"bytes,2,rep,name=name_dname,json=nameDname,proto3" json:"name_dname,omitempty"` // *Available in version < 1.7*
	// *Must be a valid interned name*
	NameInternedDname int32 `protobuf:"varint,3,opt,name=name_interned_dname,json=nameInternedDname,proto3" json:"name_interned_dname,omitempty"` // *Available in versions >= 1.7*
	// contains filtered or unexported fields
}

A fully qualified reference to a value definition.

func (*ValName) Descriptor deprecated 

func (*ValName) Descriptor() ([]byte, []int)

Deprecated: Use ValName.ProtoReflect.Descriptor instead.

func (*ValName) GetModule 

func (x *ValName) GetModule() *ModuleRef

func (*ValName) GetNameDname 

func (x *ValName) GetNameDname() []string

func (*ValName) GetNameInternedDname 

func (x *ValName) GetNameInternedDname() int32

func (*ValName) ProtoMessage 

func (*ValName) ProtoMessage()

func (*ValName) ProtoReflect 

func (x *ValName) ProtoReflect() protoreflect.Message

func (*ValName) Reset 

func (x *ValName) Reset()

func (*ValName) String 

func (x *ValName) String() string

type VarWithType 

type VarWithType struct {

	// Name of the bound expression variable.
	//
	// Types that are assignable to Var:
	//	*VarWithType_VarStr
	//	*VarWithType_VarInternedStr
	Var isVarWithType_Var `protobuf_oneof:"var"`
	// Type of the bound variable
	Type *Type `protobuf:"bytes,2,opt,name=type,proto3" json:"type,omitempty"`
	// contains filtered or unexported fields
}

Binder associated with a type.

func (*VarWithType) Descriptor deprecated 

func (*VarWithType) Descriptor() ([]byte, []int)

Deprecated: Use VarWithType.ProtoReflect.Descriptor instead.

func (*VarWithType) GetType 

func (x *VarWithType) GetType() *Type

func (*VarWithType) GetVar 

func (m *VarWithType) GetVar() isVarWithType_Var

func (*VarWithType) GetVarInternedStr 

func (x *VarWithType) GetVarInternedStr() int32

func (*VarWithType) GetVarStr 

func (x *VarWithType) GetVarStr() string

func (*VarWithType) ProtoMessage 

func (*VarWithType) ProtoMessage()

func (*VarWithType) ProtoReflect 

func (x *VarWithType) ProtoReflect() protoreflect.Message

func (*VarWithType) Reset 

func (x *VarWithType) Reset()

func (*VarWithType) String 

func (x *VarWithType) String() string

type VarWithType_VarInternedStr 

type VarWithType_VarInternedStr struct {
	// *Must be a valid interned identifier*
	VarInternedStr int32 `protobuf:"varint,3,opt,name=var_interned_str,json=varInternedStr,proto3,oneof"` // *Available in versions >= 1.7*
}

type VarWithType_VarStr 

type VarWithType_VarStr struct {
	// *Must be a valid identifier*
	VarStr string `protobuf:"bytes,1,opt,name=var_str,json=varStr,proto3,oneof"` // *Available in version < 1.7*
}

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.