daml_lf_1_16

package
v8.0.0-...-7c4b7c9 Latest Latest
Warning

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

Go to latest
Published: Dec 12, 2024 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{}/* 126 elements not displayed */

	BuiltinFunction_value = map[string]int32{}/* 126 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_16_daml_lf_1_proto protoreflect.FileDescriptor
View Source
var File_com_daml_daml_lf_1_16_daml_lf_proto protoreflect.FileDescriptor

Functions

This section is empty.

Types

type Archive

type Archive struct {
	HashFunction HashFunction `` /* 129-byte string literal not displayed */
	Payload      []byte       `protobuf:"bytes,3,opt,name=payload,proto3" json:"payload,omitempty"`
	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 {
	Minor string `protobuf:"bytes,3,opt,name=minor,proto3" json:"minor,omitempty"`
	// Types that are assignable to Sum:
	//
	//	*ArchivePayload_DamlLf_1
	//	*ArchivePayload_DamlLf_2
	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) GetDamlLf_2

func (x *ArchivePayload) GetDamlLf_2() []byte

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 ArchivePayload_DamlLf_2

type ArchivePayload_DamlLf_2 struct {
	DamlLf_2 []byte `protobuf:"bytes,4,opt,name=daml_lf_2,json=damlLf2,proto3,oneof"`
}

type Binding

type Binding struct {
	Binder *VarWithType `protobuf:"bytes,1,opt,name=binder,proto3" json:"binder,omitempty"`
	Bound  *Expr        `protobuf:"bytes,2,opt,name=bound,proto3" json:"bound,omitempty"`
	// contains filtered or unexported fields
}

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 {
	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
}

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
const (
	BuiltinFunction_ADD_DECIMAL                    BuiltinFunction = 0
	BuiltinFunction_SUB_DECIMAL                    BuiltinFunction = 1
	BuiltinFunction_MUL_DECIMAL                    BuiltinFunction = 2
	BuiltinFunction_DIV_DECIMAL                    BuiltinFunction = 3
	BuiltinFunction_ROUND_DECIMAL                  BuiltinFunction = 6
	BuiltinFunction_ADD_NUMERIC                    BuiltinFunction = 107
	BuiltinFunction_SUB_NUMERIC                    BuiltinFunction = 108
	BuiltinFunction_MUL_NUMERIC_LEGACY             BuiltinFunction = 109
	BuiltinFunction_MUL_NUMERIC                    BuiltinFunction = 149
	BuiltinFunction_DIV_NUMERIC_LEGACY             BuiltinFunction = 110
	BuiltinFunction_DIV_NUMERIC                    BuiltinFunction = 150
	BuiltinFunction_ROUND_NUMERIC                  BuiltinFunction = 111
	BuiltinFunction_CAST_NUMERIC_LEGACY            BuiltinFunction = 121
	BuiltinFunction_CAST_NUMERIC                   BuiltinFunction = 151
	BuiltinFunction_SHIFT_NUMERIC_LEGACY           BuiltinFunction = 122
	BuiltinFunction_SHIFT_NUMERIC                  BuiltinFunction = 152
	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
	BuiltinFunction_GENMAP_INSERT                  BuiltinFunction = 125
	BuiltinFunction_GENMAP_LOOKUP                  BuiltinFunction = 126
	BuiltinFunction_GENMAP_DELETE                  BuiltinFunction = 127
	BuiltinFunction_GENMAP_KEYS                    BuiltinFunction = 128
	BuiltinFunction_GENMAP_VALUES                  BuiltinFunction = 129
	BuiltinFunction_GENMAP_SIZE                    BuiltinFunction = 130
	BuiltinFunction_EXPLODE_TEXT                   BuiltinFunction = 23
	BuiltinFunction_APPEND_TEXT                    BuiltinFunction = 24
	BuiltinFunction_ERROR                          BuiltinFunction = 25
	BuiltinFunction_ANY_EXCEPTION_MESSAGE          BuiltinFunction = 147
	BuiltinFunction_LEQ_INT64                      BuiltinFunction = 33
	BuiltinFunction_LEQ_DECIMAL                    BuiltinFunction = 34
	BuiltinFunction_LEQ_NUMERIC                    BuiltinFunction = 112
	BuiltinFunction_LEQ_TEXT                       BuiltinFunction = 36
	BuiltinFunction_LEQ_TIMESTAMP                  BuiltinFunction = 37
	BuiltinFunction_LEQ_DATE                       BuiltinFunction = 67
	BuiltinFunction_LEQ_PARTY                      BuiltinFunction = 89
	BuiltinFunction_LESS_INT64                     BuiltinFunction = 39
	BuiltinFunction_LESS_DECIMAL                   BuiltinFunction = 40
	BuiltinFunction_LESS_NUMERIC                   BuiltinFunction = 113
	BuiltinFunction_LESS_TEXT                      BuiltinFunction = 42
	BuiltinFunction_LESS_TIMESTAMP                 BuiltinFunction = 43
	BuiltinFunction_LESS_DATE                      BuiltinFunction = 68
	BuiltinFunction_LESS_PARTY                     BuiltinFunction = 90
	BuiltinFunction_GEQ_INT64                      BuiltinFunction = 45
	BuiltinFunction_GEQ_DECIMAL                    BuiltinFunction = 46
	BuiltinFunction_GEQ_NUMERIC                    BuiltinFunction = 114
	BuiltinFunction_GEQ_TEXT                       BuiltinFunction = 48
	BuiltinFunction_GEQ_TIMESTAMP                  BuiltinFunction = 49
	BuiltinFunction_GEQ_DATE                       BuiltinFunction = 69
	BuiltinFunction_GEQ_PARTY                      BuiltinFunction = 91
	BuiltinFunction_GREATER_INT64                  BuiltinFunction = 51
	BuiltinFunction_GREATER_DECIMAL                BuiltinFunction = 52
	BuiltinFunction_GREATER_NUMERIC                BuiltinFunction = 115
	BuiltinFunction_GREATER_TEXT                   BuiltinFunction = 54
	BuiltinFunction_GREATER_TIMESTAMP              BuiltinFunction = 55
	BuiltinFunction_GREATER_DATE                   BuiltinFunction = 70
	BuiltinFunction_GREATER_PARTY                  BuiltinFunction = 92
	BuiltinFunction_INT64_TO_TEXT                  BuiltinFunction = 57
	BuiltinFunction_DECIMAL_TO_TEXT                BuiltinFunction = 58
	BuiltinFunction_NUMERIC_TO_TEXT                BuiltinFunction = 116
	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
	BuiltinFunction_PARTY_TO_TEXT                  BuiltinFunction = 94
	BuiltinFunction_TEXT_TO_PARTY                  BuiltinFunction = 95
	BuiltinFunction_TEXT_TO_INT64                  BuiltinFunction = 103
	BuiltinFunction_TEXT_TO_DECIMAL                BuiltinFunction = 104
	BuiltinFunction_TEXT_TO_NUMERIC_LEGACY         BuiltinFunction = 117
	BuiltinFunction_TEXT_TO_NUMERIC                BuiltinFunction = 153
	BuiltinFunction_CONTRACT_ID_TO_TEXT            BuiltinFunction = 136
	BuiltinFunction_SHA256_TEXT                    BuiltinFunction = 93
	BuiltinFunction_DATE_TO_UNIX_DAYS              BuiltinFunction = 72
	BuiltinFunction_UNIX_DAYS_TO_DATE              BuiltinFunction = 73
	BuiltinFunction_TIMESTAMP_TO_UNIX_MICROSECONDS BuiltinFunction = 74
	BuiltinFunction_UNIX_MICROSECONDS_TO_TIMESTAMP BuiltinFunction = 75
	BuiltinFunction_INT64_TO_DECIMAL               BuiltinFunction = 76
	BuiltinFunction_DECIMAL_TO_INT64               BuiltinFunction = 77
	BuiltinFunction_INT64_TO_NUMERIC_LEGACY        BuiltinFunction = 118
	BuiltinFunction_INT64_TO_NUMERIC               BuiltinFunction = 154
	BuiltinFunction_NUMERIC_TO_INT64               BuiltinFunction = 119
	BuiltinFunction_IMPLODE_TEXT                   BuiltinFunction = 78
	BuiltinFunction_EQUAL_INT64                    BuiltinFunction = 79
	BuiltinFunction_EQUAL_DECIMAL                  BuiltinFunction = 80
	BuiltinFunction_EQUAL_NUMERIC                  BuiltinFunction = 120
	BuiltinFunction_EQUAL_TEXT                     BuiltinFunction = 81
	BuiltinFunction_EQUAL_TIMESTAMP                BuiltinFunction = 82
	BuiltinFunction_EQUAL_DATE                     BuiltinFunction = 83
	BuiltinFunction_EQUAL_PARTY                    BuiltinFunction = 84
	BuiltinFunction_EQUAL_BOOL                     BuiltinFunction = 85
	BuiltinFunction_EQUAL_CONTRACT_ID              BuiltinFunction = 86
	BuiltinFunction_EQUAL_LIST                     BuiltinFunction = 87
	BuiltinFunction_EQUAL_TYPE_REP                 BuiltinFunction = 123
	BuiltinFunction_EQUAL                          BuiltinFunction = 131
	BuiltinFunction_LESS_EQ                        BuiltinFunction = 132
	BuiltinFunction_LESS                           BuiltinFunction = 133
	BuiltinFunction_GREATER_EQ                     BuiltinFunction = 134
	BuiltinFunction_GREATER                        BuiltinFunction = 135
	BuiltinFunction_TRACE                          BuiltinFunction = 88
	BuiltinFunction_COERCE_CONTRACT_ID             BuiltinFunction = 102
	BuiltinFunction_CODE_POINTS_TO_TEXT            BuiltinFunction = 105
	BuiltinFunction_TEXT_TO_CODE_POINTS            BuiltinFunction = 106
	BuiltinFunction_SCALE_BIGNUMERIC               BuiltinFunction = 137
	BuiltinFunction_PRECISION_BIGNUMERIC           BuiltinFunction = 138
	BuiltinFunction_ADD_BIGNUMERIC                 BuiltinFunction = 139
	BuiltinFunction_SUB_BIGNUMERIC                 BuiltinFunction = 140
	BuiltinFunction_MUL_BIGNUMERIC                 BuiltinFunction = 141
	BuiltinFunction_DIV_BIGNUMERIC                 BuiltinFunction = 142
	BuiltinFunction_SHIFT_RIGHT_BIGNUMERIC         BuiltinFunction = 143
	BuiltinFunction_BIGNUMERIC_TO_NUMERIC_LEGACY   BuiltinFunction = 144
	BuiltinFunction_BIGNUMERIC_TO_NUMERIC          BuiltinFunction = 155
	BuiltinFunction_NUMERIC_TO_BIGNUMERIC          BuiltinFunction = 145
	BuiltinFunction_BIGNUMERIC_TO_TEXT             BuiltinFunction = 146
	BuiltinFunction_TYPE_REP_TYCON_NAME            BuiltinFunction = 148
)

func (BuiltinFunction) Descriptor

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 (BuiltinFunction) String

func (x BuiltinFunction) String() string

func (BuiltinFunction) Type

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
}

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 {

	// 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
}

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 {
	VarHeadInternedStr int32 `protobuf:"varint,3,opt,name=var_head_interned_str,json=varHeadInternedStr,proto3,oneof"`
}

type CaseAlt_Cons_VarHeadStr

type CaseAlt_Cons_VarHeadStr struct {
	VarHeadStr string `protobuf:"bytes,1,opt,name=var_head_str,json=varHeadStr,proto3,oneof"`
}

type CaseAlt_Cons_VarTailInternedStr

type CaseAlt_Cons_VarTailInternedStr struct {
	VarTailInternedStr int32 `protobuf:"varint,4,opt,name=var_tail_interned_str,json=varTailInternedStr,proto3,oneof"`
}

type CaseAlt_Cons_VarTailStr

type CaseAlt_Cons_VarTailStr struct {
	VarTailStr string `protobuf:"bytes,2,opt,name=var_tail_str,json=varTailStr,proto3,oneof"`
}

type CaseAlt_Default

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

type CaseAlt_Enum

type CaseAlt_Enum struct {
	Con *TypeConName `protobuf:"bytes,1,opt,name=con,proto3" json:"con,omitempty"`
	// Types that are assignable to Constructor:
	//
	//	*CaseAlt_Enum_ConstructorStr
	//	*CaseAlt_Enum_ConstructorInternedStr
	Constructor isCaseAlt_Enum_Constructor `protobuf_oneof:"constructor"`
	// contains filtered or unexported fields
}

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"`
}

type CaseAlt_Enum_ConstructorInternedStr

type CaseAlt_Enum_ConstructorInternedStr struct {
	ConstructorInternedStr int32 `protobuf:"varint,3,opt,name=constructor_interned_str,json=constructorInternedStr,proto3,oneof"`
}

type CaseAlt_Enum_ConstructorStr

type CaseAlt_Enum_ConstructorStr struct {
	ConstructorStr string `protobuf:"bytes,2,opt,name=constructor_str,json=constructorStr,proto3,oneof"`
}

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"`
}

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
}

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"`
}

type CaseAlt_OptionalSome_VarBodyInternedStr

type CaseAlt_OptionalSome_VarBodyInternedStr struct {
	VarBodyInternedStr int32 `protobuf:"varint,2,opt,name=var_body_interned_str,json=varBodyInternedStr,proto3,oneof"`
}

type CaseAlt_OptionalSome_VarBodyStr

type CaseAlt_OptionalSome_VarBodyStr struct {
	VarBodyStr string `protobuf:"bytes,1,opt,name=var_body_str,json=varBodyStr,proto3,oneof"`
}

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 {
	Con *TypeConName `protobuf:"bytes,1,opt,name=con,proto3" json:"con,omitempty"`
	// Types that are assignable to Variant:
	//
	//	*CaseAlt_Variant_VariantStr
	//	*CaseAlt_Variant_VariantInternedStr
	Variant isCaseAlt_Variant_Variant `protobuf_oneof:"variant"`
	// Types that are assignable to Binder:
	//
	//	*CaseAlt_Variant_BinderStr
	//	*CaseAlt_Variant_BinderInternedStr
	Binder isCaseAlt_Variant_Binder `protobuf_oneof:"binder"`
	// contains filtered or unexported fields
}

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 {
	BinderInternedStr int32 `protobuf:"varint,5,opt,name=binder_interned_str,json=binderInternedStr,proto3,oneof"`
}

type CaseAlt_Variant_BinderStr

type CaseAlt_Variant_BinderStr struct {
	BinderStr string `protobuf:"bytes,3,opt,name=binder_str,json=binderStr,proto3,oneof"`
}

type CaseAlt_Variant_VariantInternedStr

type CaseAlt_Variant_VariantInternedStr struct {
	VariantInternedStr int32 `protobuf:"varint,4,opt,name=variant_interned_str,json=variantInternedStr,proto3,oneof"`
}

type CaseAlt_Variant_VariantStr

type CaseAlt_Variant_VariantStr struct {
	VariantStr string `protobuf:"bytes,2,opt,name=variant_str,json=variantStr,proto3,oneof"`
}

type DefDataType

type DefDataType struct {

	// Types that are assignable to Name:
	//
	//	*DefDataType_NameDname
	//	*DefDataType_NameInternedDname
	Name   isDefDataType_Name `protobuf_oneof:"name"`
	Params []*TypeVarWithKind `protobuf:"bytes,2,rep,name=params,proto3" json:"params,omitempty"`
	// Types that are assignable to DataCons:
	//
	//	*DefDataType_Record
	//	*DefDataType_Variant
	//	*DefDataType_Enum
	//	*DefDataType_Interface
	DataCons     isDefDataType_DataCons `protobuf_oneof:"DataCons"`
	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
}

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 (*DefDataType) GetInterface

func (x *DefDataType) GetInterface() *Unit

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"`
}

type DefDataType_EnumConstructors

type DefDataType_EnumConstructors struct {
	ConstructorsStr         []string `protobuf:"bytes,1,rep,name=constructors_str,json=constructorsStr,proto3" json:"constructors_str,omitempty"`
	ConstructorsInternedStr []int32  `` /* 140-byte string literal not displayed */
	// contains filtered or unexported fields
}

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 (*DefDataType_EnumConstructors) Reset

func (x *DefDataType_EnumConstructors) Reset()

func (*DefDataType_EnumConstructors) 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_Interface

type DefDataType_Interface struct {
	Interface *Unit `protobuf:"bytes,9,opt,name=interface,proto3,oneof"`
}

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 {
	NameInternedDname int32 `protobuf:"varint,8,opt,name=name_interned_dname,json=nameInternedDname,proto3,oneof"`
}

type DefDataType_Record

type DefDataType_Record struct {
	Record *DefDataType_Fields `protobuf:"bytes,3,opt,name=record,proto3,oneof"`
}

type DefDataType_Variant

type DefDataType_Variant struct {
	Variant *DefDataType_Fields `protobuf:"bytes,4,opt,name=variant,proto3,oneof"`
}

type DefException

type DefException struct {
	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
}

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 DefInterface

type DefInterface struct {
	Location           *Location                    `protobuf:"bytes,1,opt,name=location,proto3" json:"location,omitempty"`
	TyconInternedDname int32                        `protobuf:"varint,2,opt,name=tycon_interned_dname,json=tyconInternedDname,proto3" json:"tycon_interned_dname,omitempty"`
	Methods            []*InterfaceMethod           `protobuf:"bytes,3,rep,name=methods,proto3" json:"methods,omitempty"`
	ParamInternedStr   int32                        `protobuf:"varint,4,opt,name=param_interned_str,json=paramInternedStr,proto3" json:"param_interned_str,omitempty"`
	Choices            []*TemplateChoice            `protobuf:"bytes,5,rep,name=choices,proto3" json:"choices,omitempty"`
	CoImplements       []*DefInterface_CoImplements `protobuf:"bytes,6,rep,name=coImplements,proto3" json:"coImplements,omitempty"`
	View               *Type                        `protobuf:"bytes,8,opt,name=view,proto3" json:"view,omitempty"`
	Requires           []*TypeConName               `protobuf:"bytes,9,rep,name=requires,proto3" json:"requires,omitempty"`
	// contains filtered or unexported fields
}

func (*DefInterface) Descriptor deprecated

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

Deprecated: Use DefInterface.ProtoReflect.Descriptor instead.

func (*DefInterface) GetChoices

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

func (*DefInterface) GetCoImplements

func (x *DefInterface) GetCoImplements() []*DefInterface_CoImplements

func (*DefInterface) GetLocation

func (x *DefInterface) GetLocation() *Location

func (*DefInterface) GetMethods

func (x *DefInterface) GetMethods() []*InterfaceMethod

func (*DefInterface) GetParamInternedStr

func (x *DefInterface) GetParamInternedStr() int32

func (*DefInterface) GetRequires

func (x *DefInterface) GetRequires() []*TypeConName

func (*DefInterface) GetTyconInternedDname

func (x *DefInterface) GetTyconInternedDname() int32

func (*DefInterface) GetView

func (x *DefInterface) GetView() *Type

func (*DefInterface) ProtoMessage

func (*DefInterface) ProtoMessage()

func (*DefInterface) ProtoReflect

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

func (*DefInterface) Reset

func (x *DefInterface) Reset()

func (*DefInterface) String

func (x *DefInterface) String() string

type DefInterface_CoImplements

type DefInterface_CoImplements struct {
	Template *TypeConName           `protobuf:"bytes,1,opt,name=template,proto3" json:"template,omitempty"`
	Body     *InterfaceInstanceBody `protobuf:"bytes,2,opt,name=body,proto3" json:"body,omitempty"`
	Location *Location              `protobuf:"bytes,3,opt,name=location,proto3" json:"location,omitempty"`
	// contains filtered or unexported fields
}

func (*DefInterface_CoImplements) Descriptor deprecated

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

Deprecated: Use DefInterface_CoImplements.ProtoReflect.Descriptor instead.

func (*DefInterface_CoImplements) GetBody

func (*DefInterface_CoImplements) GetLocation

func (x *DefInterface_CoImplements) GetLocation() *Location

func (*DefInterface_CoImplements) GetTemplate

func (x *DefInterface_CoImplements) GetTemplate() *TypeConName

func (*DefInterface_CoImplements) ProtoMessage

func (*DefInterface_CoImplements) ProtoMessage()

func (*DefInterface_CoImplements) ProtoReflect

func (*DefInterface_CoImplements) Reset

func (x *DefInterface_CoImplements) Reset()

func (*DefInterface_CoImplements) String

func (x *DefInterface_CoImplements) String() string

type DefTemplate

type DefTemplate struct {

	// Types that are assignable to Tycon:
	//
	//	*DefTemplate_TyconDname
	//	*DefTemplate_TyconInternedDname
	Tycon isDefTemplate_Tycon `protobuf_oneof:"tycon"`
	// Types that are assignable to Param:
	//
	//	*DefTemplate_ParamStr
	//	*DefTemplate_ParamInternedStr
	Param       isDefTemplate_Param       `protobuf_oneof:"param"`
	Precond     *Expr                     `protobuf:"bytes,4,opt,name=precond,proto3" json:"precond,omitempty"`
	Signatories *Expr                     `protobuf:"bytes,5,opt,name=signatories,proto3" json:"signatories,omitempty"`
	Agreement   *Expr                     `protobuf:"bytes,6,opt,name=agreement,proto3" json:"agreement,omitempty"`
	Choices     []*TemplateChoice         `protobuf:"bytes,7,rep,name=choices,proto3" json:"choices,omitempty"`
	Observers   *Expr                     `protobuf:"bytes,8,opt,name=observers,proto3" json:"observers,omitempty"`
	Location    *Location                 `protobuf:"bytes,9,opt,name=location,proto3" json:"location,omitempty"`
	Key         *DefTemplate_DefKey       `protobuf:"bytes,10,opt,name=key,proto3" json:"key,omitempty"`
	Implements  []*DefTemplate_Implements `protobuf:"bytes,13,rep,name=implements,proto3" json:"implements,omitempty"`
	// contains filtered or unexported fields
}

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) GetImplements

func (x *DefTemplate) GetImplements() []*DefTemplate_Implements

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"`
	// 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"`
	// 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_Implements

type DefTemplate_Implements struct {
	Interface *TypeConName           `protobuf:"bytes,1,opt,name=interface,proto3" json:"interface,omitempty"`
	Body      *InterfaceInstanceBody `protobuf:"bytes,2,opt,name=body,proto3" json:"body,omitempty"`
	Location  *Location              `protobuf:"bytes,3,opt,name=location,proto3" json:"location,omitempty"`
	// contains filtered or unexported fields
}

func (*DefTemplate_Implements) Descriptor deprecated

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

Deprecated: Use DefTemplate_Implements.ProtoReflect.Descriptor instead.

func (*DefTemplate_Implements) GetBody

func (*DefTemplate_Implements) GetInterface

func (x *DefTemplate_Implements) GetInterface() *TypeConName

func (*DefTemplate_Implements) GetLocation

func (x *DefTemplate_Implements) GetLocation() *Location

func (*DefTemplate_Implements) ProtoMessage

func (*DefTemplate_Implements) ProtoMessage()

func (*DefTemplate_Implements) ProtoReflect

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

func (*DefTemplate_Implements) Reset

func (x *DefTemplate_Implements) Reset()

func (*DefTemplate_Implements) String

func (x *DefTemplate_Implements) String() string

type DefTemplate_ParamInternedStr

type DefTemplate_ParamInternedStr struct {
	ParamInternedStr int32 `protobuf:"varint,11,opt,name=param_interned_str,json=paramInternedStr,proto3,oneof"`
}

type DefTemplate_ParamStr

type DefTemplate_ParamStr struct {
	ParamStr string `protobuf:"bytes,2,opt,name=param_str,json=paramStr,proto3,oneof"`
}

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 {
	TyconInternedDname int32 `protobuf:"varint,12,opt,name=tycon_interned_dname,json=tyconInternedDname,proto3,oneof"`
}

type DefTypeSyn

type DefTypeSyn struct {

	// Types that are assignable to Name:
	//
	//	*DefTypeSyn_NameDname
	//	*DefTypeSyn_NameInternedDname
	Name     isDefTypeSyn_Name  `protobuf_oneof:"name"`
	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
}

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 {
	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"`
	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
}

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 {
	NameDname         []string `protobuf:"bytes,1,rep,name=name_dname,json=nameDname,proto3" json:"name_dname,omitempty"`
	NameInternedDname int32    `protobuf:"varint,3,opt,name=name_interned_dname,json=nameInternedDname,proto3" json:"name_interned_dname,omitempty"`
	Type              *Type    `protobuf:"bytes,2,opt,name=type,proto3" json:"type,omitempty"`
	// contains filtered or unexported fields
}

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 {
	Segments []string `protobuf:"bytes,1,rep,name=segments,proto3" json:"segments,omitempty"`
	// contains filtered or unexported fields
}

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 *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_ToInterface_
	//	*Expr_FromInterface_
	//	*Expr_CallInterface_
	//	*Expr_SignatoryInterface_
	//	*Expr_ObserverInterface_
	//	*Expr_ViewInterface_
	//	*Expr_UnsafeFromInterface_
	//	*Expr_InterfaceTemplateTypeRep_
	//	*Expr_ToRequiredInterface_
	//	*Expr_FromRequiredInterface_
	//	*Expr_UnsafeFromRequiredInterface_
	//	*Expr_ChoiceController_
	//	*Expr_ChoiceObserver_
	//	*Expr_Experimental_
	Sum isExpr_Sum `protobuf_oneof:"Sum"`
	// contains filtered or unexported fields
}

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) GetCallInterface

func (x *Expr) GetCallInterface() *Expr_CallInterface

func (*Expr) GetCase

func (x *Expr) GetCase() *Case

func (*Expr) GetChoiceController

func (x *Expr) GetChoiceController() *Expr_ChoiceController

func (*Expr) GetChoiceObserver

func (x *Expr) GetChoiceObserver() *Expr_ChoiceObserver

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) GetFromInterface

func (x *Expr) GetFromInterface() *Expr_FromInterface

func (*Expr) GetFromRequiredInterface

func (x *Expr) GetFromRequiredInterface() *Expr_FromRequiredInterface

func (*Expr) GetInterfaceTemplateTypeRep

func (x *Expr) GetInterfaceTemplateTypeRep() *Expr_InterfaceTemplateTypeRep

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) GetObserverInterface

func (x *Expr) GetObserverInterface() *Expr_ObserverInterface

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) GetSignatoryInterface

func (x *Expr) GetSignatoryInterface() *Expr_SignatoryInterface

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) GetToInterface

func (x *Expr) GetToInterface() *Expr_ToInterface

func (*Expr) GetToRequiredInterface

func (x *Expr) GetToRequiredInterface() *Expr_ToRequiredInterface

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) GetUnsafeFromInterface

func (x *Expr) GetUnsafeFromInterface() *Expr_UnsafeFromInterface

func (*Expr) GetUnsafeFromRequiredInterface

func (x *Expr) GetUnsafeFromRequiredInterface() *Expr_UnsafeFromRequiredInterface

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) GetViewInterface

func (x *Expr) GetViewInterface() *Expr_ViewInterface

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 {
	Param []*VarWithType `protobuf:"bytes,1,rep,name=param,proto3" json:"param,omitempty"`
	Body  *Expr          `protobuf:"bytes,2,opt,name=body,proto3" json:"body,omitempty"`
	// contains filtered or unexported fields
}

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 {
	Abs *Expr_Abs `protobuf:"bytes,13,opt,name=abs,proto3,oneof"`
}

type Expr_App

type Expr_App struct {
	Fun  *Expr   `protobuf:"bytes,1,opt,name=fun,proto3" json:"fun,omitempty"`
	Args []*Expr `protobuf:"bytes,2,rep,name=args,proto3" json:"args,omitempty"`
	// contains filtered or unexported fields
}

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 {
	App *Expr_App `protobuf:"bytes,11,opt,name=app,proto3,oneof"`
}

type Expr_Builtin

type Expr_Builtin struct {
	Builtin BuiltinFunction `protobuf:"varint,3,opt,name=builtin,proto3,enum=daml_lf_1.BuiltinFunction,oneof"`
}

type Expr_CallInterface

type Expr_CallInterface struct {
	InterfaceType      *TypeConName `protobuf:"bytes,1,opt,name=interface_type,json=interfaceType,proto3" json:"interface_type,omitempty"`
	MethodInternedName int32        `protobuf:"varint,2,opt,name=method_interned_name,json=methodInternedName,proto3" json:"method_interned_name,omitempty"`
	InterfaceExpr      *Expr        `protobuf:"bytes,3,opt,name=interface_expr,json=interfaceExpr,proto3" json:"interface_expr,omitempty"`
	// contains filtered or unexported fields
}

func (*Expr_CallInterface) Descriptor deprecated

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

Deprecated: Use Expr_CallInterface.ProtoReflect.Descriptor instead.

func (*Expr_CallInterface) GetInterfaceExpr

func (x *Expr_CallInterface) GetInterfaceExpr() *Expr

func (*Expr_CallInterface) GetInterfaceType

func (x *Expr_CallInterface) GetInterfaceType() *TypeConName

func (*Expr_CallInterface) GetMethodInternedName

func (x *Expr_CallInterface) GetMethodInternedName() int32

func (*Expr_CallInterface) ProtoMessage

func (*Expr_CallInterface) ProtoMessage()

func (*Expr_CallInterface) ProtoReflect

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

func (*Expr_CallInterface) Reset

func (x *Expr_CallInterface) Reset()

func (*Expr_CallInterface) String

func (x *Expr_CallInterface) String() string

type Expr_CallInterface_

type Expr_CallInterface_ struct {
	CallInterface *Expr_CallInterface `protobuf:"bytes,38,opt,name=call_interface,json=callInterface,proto3,oneof"`
}

type Expr_Case

type Expr_Case struct {
	Case *Case `protobuf:"bytes,15,opt,name=case,proto3,oneof"`
}

type Expr_ChoiceController

type Expr_ChoiceController struct {
	Template          *TypeConName `protobuf:"bytes,1,opt,name=template,proto3" json:"template,omitempty"`
	ChoiceInternedStr int32        `protobuf:"varint,2,opt,name=choice_interned_str,json=choiceInternedStr,proto3" json:"choice_interned_str,omitempty"`
	ContractExpr      *Expr        `protobuf:"bytes,3,opt,name=contract_expr,json=contractExpr,proto3" json:"contract_expr,omitempty"`
	ChoiceArgExpr     *Expr        `protobuf:"bytes,4,opt,name=choice_arg_expr,json=choiceArgExpr,proto3" json:"choice_arg_expr,omitempty"`
	// contains filtered or unexported fields
}

func (*Expr_ChoiceController) Descriptor deprecated

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

Deprecated: Use Expr_ChoiceController.ProtoReflect.Descriptor instead.

func (*Expr_ChoiceController) GetChoiceArgExpr

func (x *Expr_ChoiceController) GetChoiceArgExpr() *Expr

func (*Expr_ChoiceController) GetChoiceInternedStr

func (x *Expr_ChoiceController) GetChoiceInternedStr() int32

func (*Expr_ChoiceController) GetContractExpr

func (x *Expr_ChoiceController) GetContractExpr() *Expr

func (*Expr_ChoiceController) GetTemplate

func (x *Expr_ChoiceController) GetTemplate() *TypeConName

func (*Expr_ChoiceController) ProtoMessage

func (*Expr_ChoiceController) ProtoMessage()

func (*Expr_ChoiceController) ProtoReflect

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

func (*Expr_ChoiceController) Reset

func (x *Expr_ChoiceController) Reset()

func (*Expr_ChoiceController) String

func (x *Expr_ChoiceController) String() string

type Expr_ChoiceController_

type Expr_ChoiceController_ struct {
	ChoiceController *Expr_ChoiceController `protobuf:"bytes,47,opt,name=choice_controller,json=choiceController,proto3,oneof"`
}

type Expr_ChoiceObserver

type Expr_ChoiceObserver struct {
	Template          *TypeConName `protobuf:"bytes,1,opt,name=template,proto3" json:"template,omitempty"`
	ChoiceInternedStr int32        `protobuf:"varint,2,opt,name=choice_interned_str,json=choiceInternedStr,proto3" json:"choice_interned_str,omitempty"`
	ContractExpr      *Expr        `protobuf:"bytes,3,opt,name=contract_expr,json=contractExpr,proto3" json:"contract_expr,omitempty"`
	ChoiceArgExpr     *Expr        `protobuf:"bytes,4,opt,name=choice_arg_expr,json=choiceArgExpr,proto3" json:"choice_arg_expr,omitempty"`
	// contains filtered or unexported fields
}

func (*Expr_ChoiceObserver) Descriptor deprecated

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

Deprecated: Use Expr_ChoiceObserver.ProtoReflect.Descriptor instead.

func (*Expr_ChoiceObserver) GetChoiceArgExpr

func (x *Expr_ChoiceObserver) GetChoiceArgExpr() *Expr

func (*Expr_ChoiceObserver) GetChoiceInternedStr

func (x *Expr_ChoiceObserver) GetChoiceInternedStr() int32

func (*Expr_ChoiceObserver) GetContractExpr

func (x *Expr_ChoiceObserver) GetContractExpr() *Expr

func (*Expr_ChoiceObserver) GetTemplate

func (x *Expr_ChoiceObserver) GetTemplate() *TypeConName

func (*Expr_ChoiceObserver) ProtoMessage

func (*Expr_ChoiceObserver) ProtoMessage()

func (*Expr_ChoiceObserver) ProtoReflect

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

func (*Expr_ChoiceObserver) Reset

func (x *Expr_ChoiceObserver) Reset()

func (*Expr_ChoiceObserver) String

func (x *Expr_ChoiceObserver) String() string

type Expr_ChoiceObserver_

type Expr_ChoiceObserver_ struct {
	ChoiceObserver *Expr_ChoiceObserver `protobuf:"bytes,48,opt,name=choice_observer,json=choiceObserver,proto3,oneof"`
}

type Expr_Cons

type Expr_Cons struct {
	Type  *Type   `protobuf:"bytes,1,opt,name=type,proto3" json:"type,omitempty"`
	Front []*Expr `protobuf:"bytes,2,rep,name=front,proto3" json:"front,omitempty"`
	Tail  *Expr   `protobuf:"bytes,3,opt,name=tail,proto3" json:"tail,omitempty"`
	// contains filtered or unexported fields
}

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 {
	Cons *Expr_Cons `protobuf:"bytes,18,opt,name=cons,proto3,oneof"`
}

type Expr_EnumCon

type Expr_EnumCon struct {
	Tycon *TypeConName `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"`
	// 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
}

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 {
	EnumCon *Expr_EnumCon `protobuf:"bytes,28,opt,name=enum_con,json=enumCon,proto3,oneof"`
}

type Expr_EnumCon_EnumConInternedStr

type Expr_EnumCon_EnumConInternedStr struct {
	EnumConInternedStr int32 `protobuf:"varint,3,opt,name=enum_con_interned_str,json=enumConInternedStr,proto3,oneof"`
}

type Expr_EnumCon_EnumConStr

type Expr_EnumCon_EnumConStr struct {
	EnumConStr string `protobuf:"bytes,2,opt,name=enum_con_str,json=enumConStr,proto3,oneof"`
}

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"`
}

type Expr_FromAny

type Expr_FromAny 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
}

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 *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
}

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 {
	FromAnyException *Expr_FromAnyException `protobuf:"bytes,34,opt,name=from_any_exception,json=fromAnyException,proto3,oneof"`
}

type Expr_FromAny_

type Expr_FromAny_ struct {
	FromAny *Expr_FromAny `protobuf:"bytes,31,opt,name=from_any,json=fromAny,proto3,oneof"`
}

type Expr_FromInterface

type Expr_FromInterface struct {
	InterfaceType *TypeConName `protobuf:"bytes,1,opt,name=interface_type,json=interfaceType,proto3" json:"interface_type,omitempty"`
	TemplateType  *TypeConName `protobuf:"bytes,2,opt,name=template_type,json=templateType,proto3" json:"template_type,omitempty"`
	InterfaceExpr *Expr        `protobuf:"bytes,3,opt,name=interface_expr,json=interfaceExpr,proto3" json:"interface_expr,omitempty"`
	// contains filtered or unexported fields
}

func (*Expr_FromInterface) Descriptor deprecated

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

Deprecated: Use Expr_FromInterface.ProtoReflect.Descriptor instead.

func (*Expr_FromInterface) GetInterfaceExpr

func (x *Expr_FromInterface) GetInterfaceExpr() *Expr

func (*Expr_FromInterface) GetInterfaceType

func (x *Expr_FromInterface) GetInterfaceType() *TypeConName

func (*Expr_FromInterface) GetTemplateType

func (x *Expr_FromInterface) GetTemplateType() *TypeConName

func (*Expr_FromInterface) ProtoMessage

func (*Expr_FromInterface) ProtoMessage()

func (*Expr_FromInterface) ProtoReflect

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

func (*Expr_FromInterface) Reset

func (x *Expr_FromInterface) Reset()

func (*Expr_FromInterface) String

func (x *Expr_FromInterface) String() string

type Expr_FromInterface_

type Expr_FromInterface_ struct {
	FromInterface *Expr_FromInterface `protobuf:"bytes,37,opt,name=from_interface,json=fromInterface,proto3,oneof"`
}

type Expr_FromRequiredInterface

type Expr_FromRequiredInterface struct {
	RequiredInterface  *TypeConName `protobuf:"bytes,1,opt,name=required_interface,json=requiredInterface,proto3" json:"required_interface,omitempty"`
	RequiringInterface *TypeConName `protobuf:"bytes,2,opt,name=requiring_interface,json=requiringInterface,proto3" json:"requiring_interface,omitempty"`
	Expr               *Expr        `protobuf:"bytes,3,opt,name=expr,proto3" json:"expr,omitempty"`
	// contains filtered or unexported fields
}

func (*Expr_FromRequiredInterface) Descriptor deprecated

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

Deprecated: Use Expr_FromRequiredInterface.ProtoReflect.Descriptor instead.

func (*Expr_FromRequiredInterface) GetExpr

func (x *Expr_FromRequiredInterface) GetExpr() *Expr

func (*Expr_FromRequiredInterface) GetRequiredInterface

func (x *Expr_FromRequiredInterface) GetRequiredInterface() *TypeConName

func (*Expr_FromRequiredInterface) GetRequiringInterface

func (x *Expr_FromRequiredInterface) GetRequiringInterface() *TypeConName

func (*Expr_FromRequiredInterface) ProtoMessage

func (*Expr_FromRequiredInterface) ProtoMessage()

func (*Expr_FromRequiredInterface) ProtoReflect

func (*Expr_FromRequiredInterface) Reset

func (x *Expr_FromRequiredInterface) Reset()

func (*Expr_FromRequiredInterface) String

func (x *Expr_FromRequiredInterface) String() string

type Expr_FromRequiredInterface_

type Expr_FromRequiredInterface_ struct {
	FromRequiredInterface *Expr_FromRequiredInterface `protobuf:"bytes,45,opt,name=from_required_interface,json=fromRequiredInterface,proto3,oneof"`
}

type Expr_InterfaceTemplateTypeRep

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

func (*Expr_InterfaceTemplateTypeRep) Descriptor deprecated

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

Deprecated: Use Expr_InterfaceTemplateTypeRep.ProtoReflect.Descriptor instead.

func (*Expr_InterfaceTemplateTypeRep) GetExpr

func (x *Expr_InterfaceTemplateTypeRep) GetExpr() *Expr

func (*Expr_InterfaceTemplateTypeRep) GetInterface

func (x *Expr_InterfaceTemplateTypeRep) GetInterface() *TypeConName

func (*Expr_InterfaceTemplateTypeRep) ProtoMessage

func (*Expr_InterfaceTemplateTypeRep) ProtoMessage()

func (*Expr_InterfaceTemplateTypeRep) ProtoReflect

func (*Expr_InterfaceTemplateTypeRep) Reset

func (x *Expr_InterfaceTemplateTypeRep) Reset()

func (*Expr_InterfaceTemplateTypeRep) String

type Expr_InterfaceTemplateTypeRep_

type Expr_InterfaceTemplateTypeRep_ struct {
	InterfaceTemplateTypeRep *Expr_InterfaceTemplateTypeRep `protobuf:"bytes,43,opt,name=interface_template_type_rep,json=interfaceTemplateTypeRep,proto3,oneof"`
}

type Expr_Let

type Expr_Let struct {
	Let *Block `protobuf:"bytes,16,opt,name=let,proto3,oneof"`
}

type Expr_Nil

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

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 {
	Nil *Expr_Nil `protobuf:"bytes,17,opt,name=nil,proto3,oneof"`
}

type Expr_ObserverInterface

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

func (*Expr_ObserverInterface) Descriptor deprecated

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

Deprecated: Use Expr_ObserverInterface.ProtoReflect.Descriptor instead.

func (*Expr_ObserverInterface) GetExpr

func (x *Expr_ObserverInterface) GetExpr() *Expr

func (*Expr_ObserverInterface) GetInterface

func (x *Expr_ObserverInterface) GetInterface() *TypeConName

func (*Expr_ObserverInterface) ProtoMessage

func (*Expr_ObserverInterface) ProtoMessage()

func (*Expr_ObserverInterface) ProtoReflect

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

func (*Expr_ObserverInterface) Reset

func (x *Expr_ObserverInterface) Reset()

func (*Expr_ObserverInterface) String

func (x *Expr_ObserverInterface) String() string

type Expr_ObserverInterface_

type Expr_ObserverInterface_ struct {
	ObserverInterface *Expr_ObserverInterface `protobuf:"bytes,40,opt,name=observer_interface,json=observerInterface,proto3,oneof"`
}

type Expr_OptionalNone

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

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 {
	OptionalNone *Expr_OptionalNone `protobuf:"bytes,26,opt,name=optional_none,json=optionalNone,proto3,oneof"`
}

type Expr_OptionalSome

type Expr_OptionalSome 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 (*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 {
	OptionalSome *Expr_OptionalSome `protobuf:"bytes,27,opt,name=optional_some,json=optionalSome,proto3,oneof"`
}

type Expr_PrimCon

type Expr_PrimCon struct {
	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 {
	PrimLit *PrimLit `protobuf:"bytes,5,opt,name=prim_lit,json=primLit,proto3,oneof"`
}

type Expr_RecCon

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

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 {
	RecCon *Expr_RecCon `protobuf:"bytes,6,opt,name=rec_con,json=recCon,proto3,oneof"`
}

type Expr_RecProj

type Expr_RecProj struct {
	Tycon *Type_Con `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"`
	// Types that are assignable to Field:
	//
	//	*Expr_RecProj_FieldStr
	//	*Expr_RecProj_FieldInternedStr
	Field  isExpr_RecProj_Field `protobuf_oneof:"field"`
	Record *Expr                `protobuf:"bytes,3,opt,name=record,proto3" json:"record,omitempty"`
	// contains filtered or unexported fields
}

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 {
	RecProj *Expr_RecProj `protobuf:"bytes,7,opt,name=rec_proj,json=recProj,proto3,oneof"`
}

type Expr_RecProj_FieldInternedStr

type Expr_RecProj_FieldInternedStr struct {
	FieldInternedStr int32 `protobuf:"varint,4,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"`
}

type Expr_RecProj_FieldStr

type Expr_RecProj_FieldStr struct {
	FieldStr string `protobuf:"bytes,2,opt,name=field_str,json=fieldStr,proto3,oneof"`
}

type Expr_RecUpd

type Expr_RecUpd struct {
	Tycon *Type_Con `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"`
	// Types that are assignable to Field:
	//
	//	*Expr_RecUpd_FieldStr
	//	*Expr_RecUpd_FieldInternedStr
	Field  isExpr_RecUpd_Field `protobuf_oneof:"field"`
	Record *Expr               `protobuf:"bytes,3,opt,name=record,proto3" json:"record,omitempty"`
	Update *Expr               `protobuf:"bytes,4,opt,name=update,proto3" json:"update,omitempty"`
	// contains filtered or unexported fields
}

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 {
	RecUpd *Expr_RecUpd `protobuf:"bytes,22,opt,name=rec_upd,json=recUpd,proto3,oneof"`
}

type Expr_RecUpd_FieldInternedStr

type Expr_RecUpd_FieldInternedStr struct {
	FieldInternedStr int32 `protobuf:"varint,5,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"`
}

type Expr_RecUpd_FieldStr

type Expr_RecUpd_FieldStr struct {
	FieldStr string `protobuf:"bytes,2,opt,name=field_str,json=fieldStr,proto3,oneof"`
}

type Expr_Scenario

type Expr_Scenario struct {
	Scenario *Scenario `protobuf:"bytes,21,opt,name=scenario,proto3,oneof"`
}

type Expr_SignatoryInterface

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

func (*Expr_SignatoryInterface) Descriptor deprecated

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

Deprecated: Use Expr_SignatoryInterface.ProtoReflect.Descriptor instead.

func (*Expr_SignatoryInterface) GetExpr

func (x *Expr_SignatoryInterface) GetExpr() *Expr

func (*Expr_SignatoryInterface) GetInterface

func (x *Expr_SignatoryInterface) GetInterface() *TypeConName

func (*Expr_SignatoryInterface) ProtoMessage

func (*Expr_SignatoryInterface) ProtoMessage()

func (*Expr_SignatoryInterface) ProtoReflect

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

func (*Expr_SignatoryInterface) Reset

func (x *Expr_SignatoryInterface) Reset()

func (*Expr_SignatoryInterface) String

func (x *Expr_SignatoryInterface) String() string

type Expr_SignatoryInterface_

type Expr_SignatoryInterface_ struct {
	SignatoryInterface *Expr_SignatoryInterface `protobuf:"bytes,39,opt,name=signatory_interface,json=signatoryInterface,proto3,oneof"`
}

type Expr_StructCon

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

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 {
	StructCon *Expr_StructCon `protobuf:"bytes,9,opt,name=struct_con,json=structCon,proto3,oneof"`
}

type Expr_StructProj

type Expr_StructProj struct {

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

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 {
	StructProj *Expr_StructProj `protobuf:"bytes,10,opt,name=struct_proj,json=structProj,proto3,oneof"`
}

type Expr_StructProj_FieldInternedStr

type Expr_StructProj_FieldInternedStr struct {
	FieldInternedStr int32 `protobuf:"varint,3,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"`
}

type Expr_StructProj_FieldStr

type Expr_StructProj_FieldStr struct {
	FieldStr string `protobuf:"bytes,1,opt,name=field_str,json=fieldStr,proto3,oneof"`
}

type Expr_StructUpd

type Expr_StructUpd struct {

	// Types that are assignable to Field:
	//
	//	*Expr_StructUpd_FieldStr
	//	*Expr_StructUpd_FieldInternedStr
	Field  isExpr_StructUpd_Field `protobuf_oneof:"field"`
	Struct *Expr                  `protobuf:"bytes,2,opt,name=struct,proto3" json:"struct,omitempty"`
	Update *Expr                  `protobuf:"bytes,3,opt,name=update,proto3" json:"update,omitempty"`
	// contains filtered or unexported fields
}

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 {
	StructUpd *Expr_StructUpd `protobuf:"bytes,23,opt,name=struct_upd,json=structUpd,proto3,oneof"`
}

type Expr_StructUpd_FieldInternedStr

type Expr_StructUpd_FieldInternedStr struct {
	FieldInternedStr int32 `protobuf:"varint,4,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"`
}

type Expr_StructUpd_FieldStr

type Expr_StructUpd_FieldStr struct {
	FieldStr string `protobuf:"bytes,1,opt,name=field_str,json=fieldStr,proto3,oneof"`
}

type Expr_Throw

type Expr_Throw struct {
	ReturnType    *Type `protobuf:"bytes,1,opt,name=return_type,json=returnType,proto3" json:"return_type,omitempty"`
	ExceptionType *Type `protobuf:"bytes,2,opt,name=exception_type,json=exceptionType,proto3" json:"exception_type,omitempty"`
	ExceptionExpr *Expr `protobuf:"bytes,3,opt,name=exception_expr,json=exceptionExpr,proto3" json:"exception_expr,omitempty"`
	// contains filtered or unexported fields
}

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 *Expr_Throw `protobuf:"bytes,35,opt,name=throw,proto3,oneof"`
}

type Expr_ToAny

type Expr_ToAny 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
}

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 *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
}

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 {
	ToAnyException *Expr_ToAnyException `protobuf:"bytes,33,opt,name=to_any_exception,json=toAnyException,proto3,oneof"`
}

type Expr_ToAny_

type Expr_ToAny_ struct {
	ToAny *Expr_ToAny `protobuf:"bytes,30,opt,name=to_any,json=toAny,proto3,oneof"`
}

type Expr_ToInterface

type Expr_ToInterface struct {
	InterfaceType *TypeConName `protobuf:"bytes,1,opt,name=interface_type,json=interfaceType,proto3" json:"interface_type,omitempty"`
	TemplateType  *TypeConName `protobuf:"bytes,2,opt,name=template_type,json=templateType,proto3" json:"template_type,omitempty"`
	TemplateExpr  *Expr        `protobuf:"bytes,3,opt,name=template_expr,json=templateExpr,proto3" json:"template_expr,omitempty"`
	// contains filtered or unexported fields
}

func (*Expr_ToInterface) Descriptor deprecated

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

Deprecated: Use Expr_ToInterface.ProtoReflect.Descriptor instead.

func (*Expr_ToInterface) GetInterfaceType

func (x *Expr_ToInterface) GetInterfaceType() *TypeConName

func (*Expr_ToInterface) GetTemplateExpr

func (x *Expr_ToInterface) GetTemplateExpr() *Expr

func (*Expr_ToInterface) GetTemplateType

func (x *Expr_ToInterface) GetTemplateType() *TypeConName

func (*Expr_ToInterface) ProtoMessage

func (*Expr_ToInterface) ProtoMessage()

func (*Expr_ToInterface) ProtoReflect

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

func (*Expr_ToInterface) Reset

func (x *Expr_ToInterface) Reset()

func (*Expr_ToInterface) String

func (x *Expr_ToInterface) String() string

type Expr_ToInterface_

type Expr_ToInterface_ struct {
	ToInterface *Expr_ToInterface `protobuf:"bytes,36,opt,name=to_interface,json=toInterface,proto3,oneof"`
}

type Expr_ToRequiredInterface

type Expr_ToRequiredInterface struct {
	RequiredInterface  *TypeConName `protobuf:"bytes,1,opt,name=required_interface,json=requiredInterface,proto3" json:"required_interface,omitempty"`
	RequiringInterface *TypeConName `protobuf:"bytes,2,opt,name=requiring_interface,json=requiringInterface,proto3" json:"requiring_interface,omitempty"`
	Expr               *Expr        `protobuf:"bytes,3,opt,name=expr,proto3" json:"expr,omitempty"`
	// contains filtered or unexported fields
}

func (*Expr_ToRequiredInterface) Descriptor deprecated

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

Deprecated: Use Expr_ToRequiredInterface.ProtoReflect.Descriptor instead.

func (*Expr_ToRequiredInterface) GetExpr

func (x *Expr_ToRequiredInterface) GetExpr() *Expr

func (*Expr_ToRequiredInterface) GetRequiredInterface

func (x *Expr_ToRequiredInterface) GetRequiredInterface() *TypeConName

func (*Expr_ToRequiredInterface) GetRequiringInterface

func (x *Expr_ToRequiredInterface) GetRequiringInterface() *TypeConName

func (*Expr_ToRequiredInterface) ProtoMessage

func (*Expr_ToRequiredInterface) ProtoMessage()

func (*Expr_ToRequiredInterface) ProtoReflect

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

func (*Expr_ToRequiredInterface) Reset

func (x *Expr_ToRequiredInterface) Reset()

func (*Expr_ToRequiredInterface) String

func (x *Expr_ToRequiredInterface) String() string

type Expr_ToRequiredInterface_

type Expr_ToRequiredInterface_ struct {
	ToRequiredInterface *Expr_ToRequiredInterface `protobuf:"bytes,44,opt,name=to_required_interface,json=toRequiredInterface,proto3,oneof"`
}

type Expr_TyAbs

type Expr_TyAbs struct {
	Param []*TypeVarWithKind `protobuf:"bytes,1,rep,name=param,proto3" json:"param,omitempty"`
	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 {
	TyAbs *Expr_TyAbs `protobuf:"bytes,14,opt,name=ty_abs,json=tyAbs,proto3,oneof"`
}

type Expr_TyApp

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

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 {
	TyApp *Expr_TyApp `protobuf:"bytes,12,opt,name=ty_app,json=tyApp,proto3,oneof"`
}

type Expr_TypeRep

type Expr_TypeRep struct {
	TypeRep *Type `protobuf:"bytes,32,opt,name=type_rep,json=typeRep,proto3,oneof"`
}

type Expr_UnsafeFromInterface

type Expr_UnsafeFromInterface struct {
	InterfaceType  *TypeConName `protobuf:"bytes,1,opt,name=interface_type,json=interfaceType,proto3" json:"interface_type,omitempty"`
	TemplateType   *TypeConName `protobuf:"bytes,2,opt,name=template_type,json=templateType,proto3" json:"template_type,omitempty"`
	ContractIdExpr *Expr        `protobuf:"bytes,3,opt,name=contract_id_expr,json=contractIdExpr,proto3" json:"contract_id_expr,omitempty"`
	InterfaceExpr  *Expr        `protobuf:"bytes,4,opt,name=interface_expr,json=interfaceExpr,proto3" json:"interface_expr,omitempty"`
	// contains filtered or unexported fields
}

func (*Expr_UnsafeFromInterface) Descriptor deprecated

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

Deprecated: Use Expr_UnsafeFromInterface.ProtoReflect.Descriptor instead.

func (*Expr_UnsafeFromInterface) GetContractIdExpr

func (x *Expr_UnsafeFromInterface) GetContractIdExpr() *Expr

func (*Expr_UnsafeFromInterface) GetInterfaceExpr

func (x *Expr_UnsafeFromInterface) GetInterfaceExpr() *Expr

func (*Expr_UnsafeFromInterface) GetInterfaceType

func (x *Expr_UnsafeFromInterface) GetInterfaceType() *TypeConName

func (*Expr_UnsafeFromInterface) GetTemplateType

func (x *Expr_UnsafeFromInterface) GetTemplateType() *TypeConName

func (*Expr_UnsafeFromInterface) ProtoMessage

func (*Expr_UnsafeFromInterface) ProtoMessage()

func (*Expr_UnsafeFromInterface) ProtoReflect

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

func (*Expr_UnsafeFromInterface) Reset

func (x *Expr_UnsafeFromInterface) Reset()

func (*Expr_UnsafeFromInterface) String

func (x *Expr_UnsafeFromInterface) String() string

type Expr_UnsafeFromInterface_

type Expr_UnsafeFromInterface_ struct {
	UnsafeFromInterface *Expr_UnsafeFromInterface `protobuf:"bytes,42,opt,name=unsafe_from_interface,json=unsafeFromInterface,proto3,oneof"`
}

type Expr_UnsafeFromRequiredInterface

type Expr_UnsafeFromRequiredInterface struct {
	RequiredInterface  *TypeConName `protobuf:"bytes,1,opt,name=required_interface,json=requiredInterface,proto3" json:"required_interface,omitempty"`
	RequiringInterface *TypeConName `protobuf:"bytes,2,opt,name=requiring_interface,json=requiringInterface,proto3" json:"requiring_interface,omitempty"`
	ContractIdExpr     *Expr        `protobuf:"bytes,3,opt,name=contract_id_expr,json=contractIdExpr,proto3" json:"contract_id_expr,omitempty"`
	InterfaceExpr      *Expr        `protobuf:"bytes,4,opt,name=interface_expr,json=interfaceExpr,proto3" json:"interface_expr,omitempty"`
	// contains filtered or unexported fields
}

func (*Expr_UnsafeFromRequiredInterface) Descriptor deprecated

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

Deprecated: Use Expr_UnsafeFromRequiredInterface.ProtoReflect.Descriptor instead.

func (*Expr_UnsafeFromRequiredInterface) GetContractIdExpr

func (x *Expr_UnsafeFromRequiredInterface) GetContractIdExpr() *Expr

func (*Expr_UnsafeFromRequiredInterface) GetInterfaceExpr

func (x *Expr_UnsafeFromRequiredInterface) GetInterfaceExpr() *Expr

func (*Expr_UnsafeFromRequiredInterface) GetRequiredInterface

func (x *Expr_UnsafeFromRequiredInterface) GetRequiredInterface() *TypeConName

func (*Expr_UnsafeFromRequiredInterface) GetRequiringInterface

func (x *Expr_UnsafeFromRequiredInterface) GetRequiringInterface() *TypeConName

func (*Expr_UnsafeFromRequiredInterface) ProtoMessage

func (*Expr_UnsafeFromRequiredInterface) ProtoMessage()

func (*Expr_UnsafeFromRequiredInterface) ProtoReflect

func (*Expr_UnsafeFromRequiredInterface) Reset

func (*Expr_UnsafeFromRequiredInterface) String

type Expr_UnsafeFromRequiredInterface_

type Expr_UnsafeFromRequiredInterface_ struct {
	UnsafeFromRequiredInterface *Expr_UnsafeFromRequiredInterface `protobuf:"bytes,46,opt,name=unsafe_from_required_interface,json=unsafeFromRequiredInterface,proto3,oneof"`
}

type Expr_Update

type Expr_Update struct {
	Update *Update `protobuf:"bytes,20,opt,name=update,proto3,oneof"`
}

type Expr_Val

type Expr_Val struct {
	Val *ValName `protobuf:"bytes,2,opt,name=val,proto3,oneof"`
}

type Expr_VarInternedStr

type Expr_VarInternedStr struct {
	VarInternedStr int32 `protobuf:"varint,29,opt,name=var_interned_str,json=varInternedStr,proto3,oneof"`
}

type Expr_VarStr

type Expr_VarStr struct {
	VarStr string `protobuf:"bytes,1,opt,name=var_str,json=varStr,proto3,oneof"`
}

type Expr_VariantCon

type Expr_VariantCon struct {
	Tycon *Type_Con `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"`
	// Types that are assignable to VariantCon:
	//
	//	*Expr_VariantCon_VariantConStr
	//	*Expr_VariantCon_VariantConInternedStr
	VariantCon isExpr_VariantCon_VariantCon `protobuf_oneof:"variant_con"`
	VariantArg *Expr                        `protobuf:"bytes,3,opt,name=variant_arg,json=variantArg,proto3" json:"variant_arg,omitempty"`
	// contains filtered or unexported fields
}

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 {
	VariantCon *Expr_VariantCon `protobuf:"bytes,8,opt,name=variant_con,json=variantCon,proto3,oneof"`
}

type Expr_VariantCon_VariantConInternedStr

type Expr_VariantCon_VariantConInternedStr struct {
	VariantConInternedStr int32 `protobuf:"varint,4,opt,name=variant_con_interned_str,json=variantConInternedStr,proto3,oneof"`
}

type Expr_VariantCon_VariantConStr

type Expr_VariantCon_VariantConStr struct {
	VariantConStr string `protobuf:"bytes,2,opt,name=variant_con_str,json=variantConStr,proto3,oneof"`
}

type Expr_ViewInterface

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

func (*Expr_ViewInterface) Descriptor deprecated

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

Deprecated: Use Expr_ViewInterface.ProtoReflect.Descriptor instead.

func (*Expr_ViewInterface) GetExpr

func (x *Expr_ViewInterface) GetExpr() *Expr

func (*Expr_ViewInterface) GetInterface

func (x *Expr_ViewInterface) GetInterface() *TypeConName

func (*Expr_ViewInterface) ProtoMessage

func (*Expr_ViewInterface) ProtoMessage()

func (*Expr_ViewInterface) ProtoReflect

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

func (*Expr_ViewInterface) Reset

func (x *Expr_ViewInterface) Reset()

func (*Expr_ViewInterface) String

func (x *Expr_ViewInterface) String() string

type Expr_ViewInterface_

type Expr_ViewInterface_ struct {
	ViewInterface *Expr_ViewInterface `protobuf:"bytes,41,opt,name=view_interface,json=viewInterface,proto3,oneof"`
}

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"`
	Expr  *Expr                 `protobuf:"bytes,2,opt,name=expr,proto3" json:"expr,omitempty"`
	// contains filtered or unexported fields
}

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 {
	FieldInternedStr int32 `protobuf:"varint,3,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"`
}

type FieldWithExpr_FieldStr

type FieldWithExpr_FieldStr struct {
	FieldStr string `protobuf:"bytes,1,opt,name=field_str,json=fieldStr,proto3,oneof"`
}

type FieldWithType

type FieldWithType struct {

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

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 {
	FieldInternedStr int32 `protobuf:"varint,3,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"`
}

type FieldWithType_FieldStr

type FieldWithType_FieldStr struct {
	FieldStr string `protobuf:"bytes,1,opt,name=field_str,json=fieldStr,proto3,oneof"`
}

type HashFunction

type HashFunction int32
const (
	HashFunction_SHA256 HashFunction = 0
)

func (HashFunction) Descriptor

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 (HashFunction) String

func (x HashFunction) String() string

func (HashFunction) Type

type InterfaceInstanceBody

type InterfaceInstanceBody struct {
	Methods []*InterfaceInstanceBody_InterfaceInstanceMethod `protobuf:"bytes,1,rep,name=methods,proto3" json:"methods,omitempty"`
	View    *Expr                                            `protobuf:"bytes,2,opt,name=view,proto3" json:"view,omitempty"`
	// contains filtered or unexported fields
}

func (*InterfaceInstanceBody) Descriptor deprecated

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

Deprecated: Use InterfaceInstanceBody.ProtoReflect.Descriptor instead.

func (*InterfaceInstanceBody) GetMethods

func (*InterfaceInstanceBody) GetView

func (x *InterfaceInstanceBody) GetView() *Expr

func (*InterfaceInstanceBody) ProtoMessage

func (*InterfaceInstanceBody) ProtoMessage()

func (*InterfaceInstanceBody) ProtoReflect

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

func (*InterfaceInstanceBody) Reset

func (x *InterfaceInstanceBody) Reset()

func (*InterfaceInstanceBody) String

func (x *InterfaceInstanceBody) String() string

type InterfaceInstanceBody_InterfaceInstanceMethod

type InterfaceInstanceBody_InterfaceInstanceMethod struct {
	MethodInternedName int32 `protobuf:"varint,1,opt,name=method_interned_name,json=methodInternedName,proto3" json:"method_interned_name,omitempty"`
	Value              *Expr `protobuf:"bytes,2,opt,name=value,proto3" json:"value,omitempty"`
	// contains filtered or unexported fields
}

func (*InterfaceInstanceBody_InterfaceInstanceMethod) Descriptor deprecated

Deprecated: Use InterfaceInstanceBody_InterfaceInstanceMethod.ProtoReflect.Descriptor instead.

func (*InterfaceInstanceBody_InterfaceInstanceMethod) GetMethodInternedName

func (x *InterfaceInstanceBody_InterfaceInstanceMethod) GetMethodInternedName() int32

func (*InterfaceInstanceBody_InterfaceInstanceMethod) GetValue

func (*InterfaceInstanceBody_InterfaceInstanceMethod) ProtoMessage

func (*InterfaceInstanceBody_InterfaceInstanceMethod) ProtoReflect

func (*InterfaceInstanceBody_InterfaceInstanceMethod) Reset

func (*InterfaceInstanceBody_InterfaceInstanceMethod) String

type InterfaceMethod

type InterfaceMethod struct {
	Location           *Location `protobuf:"bytes,1,opt,name=location,proto3" json:"location,omitempty"`
	MethodInternedName int32     `protobuf:"varint,2,opt,name=method_interned_name,json=methodInternedName,proto3" json:"method_interned_name,omitempty"`
	Type               *Type     `protobuf:"bytes,3,opt,name=type,proto3" json:"type,omitempty"`
	// contains filtered or unexported fields
}

func (*InterfaceMethod) Descriptor deprecated

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

Deprecated: Use InterfaceMethod.ProtoReflect.Descriptor instead.

func (*InterfaceMethod) GetLocation

func (x *InterfaceMethod) GetLocation() *Location

func (*InterfaceMethod) GetMethodInternedName

func (x *InterfaceMethod) GetMethodInternedName() int32

func (*InterfaceMethod) GetType

func (x *InterfaceMethod) GetType() *Type

func (*InterfaceMethod) ProtoMessage

func (*InterfaceMethod) ProtoMessage()

func (*InterfaceMethod) ProtoReflect

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

func (*InterfaceMethod) Reset

func (x *InterfaceMethod) Reset()

func (*InterfaceMethod) String

func (x *InterfaceMethod) String() string

type InternedDottedName

type InternedDottedName struct {
	SegmentsInternedStr []int32 `` /* 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
}

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"`
	// 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 {
	FieldInternedStr int32 `protobuf:"varint,3,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"`
}

type KeyExpr_Projection_FieldStr

type KeyExpr_Projection_FieldStr struct {
	FieldStr string `protobuf:"bytes,2,opt,name=field_str,json=fieldStr,proto3,oneof"`
}

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
}

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"`
	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 {
	FieldInternedStr int32 `protobuf:"varint,3,opt,name=field_interned_str,json=fieldInternedStr,proto3,oneof"`
}

type KeyExpr_RecordField_FieldStr

type KeyExpr_RecordField_FieldStr struct {
	FieldStr string `protobuf:"bytes,1,opt,name=field_str,json=fieldStr,proto3,oneof"`
}

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
}

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 {
	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
}

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 {
	Arrow *Kind_Arrow `protobuf:"bytes,2,opt,name=arrow,proto3,oneof"`
}

type Kind_Nat

type Kind_Nat struct {
	Nat *Unit `protobuf:"bytes,3,opt,name=nat,proto3,oneof"`
}

type Kind_Star

type Kind_Star struct {
	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"`
	Range  *Location_Range `protobuf:"bytes,2,opt,name=range,proto3" json:"range,omitempty"`
	// contains filtered or unexported fields
}

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
}

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"`
	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"`
	Interfaces []*DefInterface `protobuf:"bytes,11,rep,name=interfaces,proto3" json:"interfaces,omitempty"`
	// 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) GetInterfaces

func (x *Module) GetInterfaces() []*DefInterface

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 {
	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
}

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 {
	ModuleNameDname *DottedName `protobuf:"bytes,2,opt,name=module_name_dname,json=moduleNameDname,proto3,oneof"`
}

type ModuleRef_ModuleNameInternedDname

type ModuleRef_ModuleNameInternedDname struct {
	ModuleNameInternedDname int32 `protobuf:"varint,3,opt,name=module_name_interned_dname,json=moduleNameInternedDname,proto3,oneof"`
}

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"`
}

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"`
	Metadata            *PackageMetadata      `protobuf:"bytes,4,opt,name=metadata,proto3" json:"metadata,omitempty"`
	InternedTypes       []*Type               `protobuf:"bytes,5,rep,name=interned_types,json=internedTypes,proto3" json:"interned_types,omitempty"`
	// 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"`
	VersionInternedStr int32              `protobuf:"varint,2,opt,name=version_interned_str,json=versionInternedStr,proto3" json:"version_interned_str,omitempty"`
	UpgradedPackageId  *UpgradedPackageId `protobuf:"bytes,3,opt,name=upgraded_package_id,json=upgradedPackageId,proto3" json:"upgraded_package_id,omitempty"`
	// 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) GetUpgradedPackageId

func (x *PackageMetadata) GetUpgradedPackageId() *UpgradedPackageId

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
}

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 {
	PackageIdInternedStr int32 `protobuf:"varint,3,opt,name=package_id_interned_str,json=packageIdInternedStr,proto3,oneof"`
}

type PackageRef_PackageIdStr

type PackageRef_PackageIdStr struct {
	PackageIdStr string `protobuf:"bytes,2,opt,name=package_id_str,json=packageIdStr,proto3,oneof"`
}

type PackageRef_Self

type PackageRef_Self struct {
	Self *Unit `protobuf:"bytes,1,opt,name=self,proto3,oneof"`
}

type PrimCon

type PrimCon int32
const (
	PrimCon_CON_UNIT  PrimCon = 0
	PrimCon_CON_FALSE PrimCon = 1
	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
}

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 {
	Date int32 `protobuf:"varint,8,opt,name=date,proto3,oneof"`
}

type PrimLit_DecimalStr

type PrimLit_DecimalStr struct {
	DecimalStr string `protobuf:"bytes,2,opt,name=decimal_str,json=decimalStr,proto3,oneof"`
}

type PrimLit_Int64

type PrimLit_Int64 struct {
	Int64 int64 `protobuf:"zigzag64,1,opt,name=int64,proto3,oneof"`
}

type PrimLit_NumericInternedStr

type PrimLit_NumericInternedStr struct {
	NumericInternedStr int32 `protobuf:"varint,10,opt,name=numeric_interned_str,json=numericInternedStr,proto3,oneof"`
}

type PrimLit_PartyInternedStr

type PrimLit_PartyInternedStr struct {
	PartyInternedStr int32 `protobuf:"varint,12,opt,name=party_interned_str,json=partyInternedStr,proto3,oneof"`
}

type PrimLit_PartyStr

type PrimLit_PartyStr struct {
	PartyStr string `protobuf:"bytes,7,opt,name=party_str,json=partyStr,proto3,oneof"`
}

type PrimLit_RoundingMode

type PrimLit_RoundingMode int32
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) Enum

func (PrimLit_RoundingMode) EnumDescriptor deprecated

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

Deprecated: Use PrimLit_RoundingMode.Descriptor instead.

func (PrimLit_RoundingMode) Number

func (PrimLit_RoundingMode) String

func (x PrimLit_RoundingMode) String() string

func (PrimLit_RoundingMode) Type

type PrimLit_RoundingMode_

type PrimLit_RoundingMode_ struct {
	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 {
	TextInternedStr int32 `protobuf:"varint,11,opt,name=text_interned_str,json=textInternedStr,proto3,oneof"`
}

type PrimLit_TextStr

type PrimLit_TextStr struct {
	TextStr string `protobuf:"bytes,4,opt,name=text_str,json=textStr,proto3,oneof"`
}

type PrimLit_Timestamp

type PrimLit_Timestamp struct {
	Timestamp int64 `protobuf:"fixed64,5,opt,name=timestamp,proto3,oneof"`
}

type PrimType

type PrimType int32
const (
	PrimType_UNIT          PrimType = 0
	PrimType_BOOL          PrimType = 1
	PrimType_INT64         PrimType = 2
	PrimType_DECIMAL       PrimType = 3
	PrimType_TEXT          PrimType = 5
	PrimType_TIMESTAMP     PrimType = 6
	PrimType_PARTY         PrimType = 8
	PrimType_LIST          PrimType = 9
	PrimType_UPDATE        PrimType = 10
	PrimType_SCENARIO      PrimType = 11
	PrimType_DATE          PrimType = 12
	PrimType_CONTRACT_ID   PrimType = 13
	PrimType_OPTIONAL      PrimType = 14
	PrimType_ARROW         PrimType = 15
	PrimType_TEXTMAP       PrimType = 16
	PrimType_NUMERIC       PrimType = 17
	PrimType_ANY           PrimType = 18
	PrimType_TYPE_REP      PrimType = 19
	PrimType_GENMAP        PrimType = 20
	PrimType_BIGNUMERIC    PrimType = 21
	PrimType_ROUNDING_MODE PrimType = 22
	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

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
}

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
}

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 {
	Party   *Expr `protobuf:"bytes,1,opt,name=party,proto3" json:"party,omitempty"`
	Expr    *Expr `protobuf:"bytes,2,opt,name=expr,proto3" json:"expr,omitempty"`
	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 {
	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 {

	// Types that are assignable to Name:
	//
	//	*TemplateChoice_NameStr
	//	*TemplateChoice_NameInternedStr
	Name        isTemplateChoice_Name `protobuf_oneof:"name"`
	Consuming   bool                  `protobuf:"varint,2,opt,name=consuming,proto3" json:"consuming,omitempty"`
	Controllers *Expr                 `protobuf:"bytes,3,opt,name=controllers,proto3" json:"controllers,omitempty"`
	Observers   *Expr                 `protobuf:"bytes,11,opt,name=observers,proto3" json:"observers,omitempty"`
	Authorizers *Expr                 `protobuf:"bytes,12,opt,name=authorizers,proto3" json:"authorizers,omitempty"`
	ArgBinder   *VarWithType          `protobuf:"bytes,4,opt,name=arg_binder,json=argBinder,proto3" json:"arg_binder,omitempty"`
	RetType     *Type                 `protobuf:"bytes,5,opt,name=ret_type,json=retType,proto3" json:"ret_type,omitempty"`
	Update      *Expr                 `protobuf:"bytes,6,opt,name=update,proto3" json:"update,omitempty"`
	// 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
}

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) GetAuthorizers

func (x *TemplateChoice) GetAuthorizers() *Expr

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 {
	NameInternedStr int32 `protobuf:"varint,9,opt,name=name_interned_str,json=nameInternedStr,proto3,oneof"`
}

type TemplateChoice_NameStr

type TemplateChoice_NameStr struct {
	NameStr string `protobuf:"bytes,1,opt,name=name_str,json=nameStr,proto3,oneof"`
}

type TemplateChoice_SelfBinderInternedStr

type TemplateChoice_SelfBinderInternedStr struct {
	SelfBinderInternedStr int32 `protobuf:"varint,10,opt,name=self_binder_interned_str,json=selfBinderInternedStr,proto3,oneof"`
}

type TemplateChoice_SelfBinderStr

type TemplateChoice_SelfBinderStr struct {
	SelfBinderStr string `protobuf:"bytes,7,opt,name=self_binder_str,json=selfBinderStr,proto3,oneof"`
}

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
}

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 *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
}

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 {
	NameDname *DottedName `protobuf:"bytes,2,opt,name=name_dname,json=nameDname,proto3,oneof"`
}

type TypeConName_NameInternedDname

type TypeConName_NameInternedDname struct {
	NameInternedDname int32 `protobuf:"varint,3,opt,name=name_interned_dname,json=nameInternedDname,proto3,oneof"`
}

type TypeSynName

type TypeSynName struct {
	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
}

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 {
	NameDname *DottedName `protobuf:"bytes,2,opt,name=name_dname,json=nameDname,proto3,oneof"`
}

type TypeSynName_NameInternedDname

type TypeSynName_NameInternedDname struct {
	NameInternedDname int32 `protobuf:"varint,3,opt,name=name_interned_dname,json=nameInternedDname,proto3,oneof"`
}

type TypeVarWithKind

type TypeVarWithKind struct {

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

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 {
	VarInternedStr int32 `protobuf:"varint,3,opt,name=var_interned_str,json=varInternedStr,proto3,oneof"`
}

type TypeVarWithKind_VarStr

type TypeVarWithKind_VarStr struct {
	VarStr string `protobuf:"bytes,1,opt,name=var_str,json=varStr,proto3,oneof"`
}

type Type_Con

type Type_Con struct {
	Tycon *TypeConName `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"`
	Args  []*Type      `protobuf:"bytes,2,rep,name=args,proto3" json:"args,omitempty"`
	// contains filtered or unexported fields
}

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 {
	Vars []*TypeVarWithKind `protobuf:"bytes,1,rep,name=vars,proto3" json:"vars,omitempty"`
	Body *Type              `protobuf:"bytes,2,opt,name=body,proto3" json:"body,omitempty"`
	// contains filtered or unexported fields
}

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_Interned

type Type_Interned struct {
	Interned int32 `protobuf:"varint,13,opt,name=interned,proto3,oneof"`
}

type Type_Nat

type Type_Nat struct {
	Nat int64 `protobuf:"zigzag64,11,opt,name=nat,proto3,oneof"`
}

type Type_Prim

type Type_Prim struct {
	Prim PrimType `protobuf:"varint,1,opt,name=prim,proto3,enum=daml_lf_1.PrimType" json:"prim,omitempty"`
	Args []*Type  `protobuf:"bytes,2,rep,name=args,proto3" json:"args,omitempty"`
	// contains filtered or unexported fields
}

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"`
}

type Type_Struct

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

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 {
	Tysyn *TypeSynName `protobuf:"bytes,1,opt,name=tysyn,proto3" json:"tysyn,omitempty"`
	Args  []*Type      `protobuf:"bytes,2,rep,name=args,proto3" json:"args,omitempty"`
	// contains filtered or unexported fields
}

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"`
}

type Type_Var

type Type_Var struct {

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

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 {
	VarInternedStr int32 `protobuf:"varint,3,opt,name=var_interned_str,json=varInternedStr,proto3,oneof"`
}

type Type_Var_VarStr

type Type_Var_VarStr struct {
	VarStr string `protobuf:"bytes,1,opt,name=var_str,json=varStr,proto3,oneof"`
}

type Unit

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

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_
	//	*Update_CreateInterface_
	//	*Update_ExerciseInterface_
	//	*Update_FetchInterface_
	//	*Update_DynamicExercise_
	//	*Update_SoftFetch_
	//	*Update_SoftExercise_
	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) GetCreateInterface

func (x *Update) GetCreateInterface() *Update_CreateInterface

func (*Update) GetDynamicExercise

func (x *Update) GetDynamicExercise() *Update_DynamicExercise

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) GetExerciseInterface

func (x *Update) GetExerciseInterface() *Update_ExerciseInterface

func (*Update) GetFetch

func (x *Update) GetFetch() *Update_Fetch

func (*Update) GetFetchByKey

func (x *Update) GetFetchByKey() *Update_RetrieveByKey

func (*Update) GetFetchInterface

func (x *Update) GetFetchInterface() *Update_FetchInterface

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) GetSoftExercise

func (x *Update) GetSoftExercise() *Update_SoftExercise

func (*Update) GetSoftFetch

func (x *Update) GetSoftFetch() *Update_SoftFetch

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 *TypeConName `protobuf:"bytes,1,opt,name=template,proto3" json:"template,omitempty"`
	Expr     *Expr        `protobuf:"bytes,2,opt,name=expr,proto3" json:"expr,omitempty"`
	// contains filtered or unexported fields
}

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_CreateInterface

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

func (*Update_CreateInterface) Descriptor deprecated

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

Deprecated: Use Update_CreateInterface.ProtoReflect.Descriptor instead.

func (*Update_CreateInterface) GetExpr

func (x *Update_CreateInterface) GetExpr() *Expr

func (*Update_CreateInterface) GetInterface

func (x *Update_CreateInterface) GetInterface() *TypeConName

func (*Update_CreateInterface) ProtoMessage

func (*Update_CreateInterface) ProtoMessage()

func (*Update_CreateInterface) ProtoReflect

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

func (*Update_CreateInterface) Reset

func (x *Update_CreateInterface) Reset()

func (*Update_CreateInterface) String

func (x *Update_CreateInterface) String() string

type Update_CreateInterface_

type Update_CreateInterface_ struct {
	CreateInterface *Update_CreateInterface `protobuf:"bytes,12,opt,name=create_interface,json=createInterface,proto3,oneof"`
}

type Update_Create_

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

type Update_DynamicExercise

type Update_DynamicExercise struct {
	Template          *TypeConName `protobuf:"bytes,1,opt,name=template,proto3" json:"template,omitempty"`
	ChoiceInternedStr int32        `protobuf:"varint,2,opt,name=choice_interned_str,json=choiceInternedStr,proto3" json:"choice_interned_str,omitempty"`
	Cid               *Expr        `protobuf:"bytes,3,opt,name=cid,proto3" json:"cid,omitempty"`
	Arg               *Expr        `protobuf:"bytes,4,opt,name=arg,proto3" json:"arg,omitempty"`
	// contains filtered or unexported fields
}

func (*Update_DynamicExercise) Descriptor deprecated

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

Deprecated: Use Update_DynamicExercise.ProtoReflect.Descriptor instead.

func (*Update_DynamicExercise) GetArg

func (x *Update_DynamicExercise) GetArg() *Expr

func (*Update_DynamicExercise) GetChoiceInternedStr

func (x *Update_DynamicExercise) GetChoiceInternedStr() int32

func (*Update_DynamicExercise) GetCid

func (x *Update_DynamicExercise) GetCid() *Expr

func (*Update_DynamicExercise) GetTemplate

func (x *Update_DynamicExercise) GetTemplate() *TypeConName

func (*Update_DynamicExercise) ProtoMessage

func (*Update_DynamicExercise) ProtoMessage()

func (*Update_DynamicExercise) ProtoReflect

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

func (*Update_DynamicExercise) Reset

func (x *Update_DynamicExercise) Reset()

func (*Update_DynamicExercise) String

func (x *Update_DynamicExercise) String() string

type Update_DynamicExercise_

type Update_DynamicExercise_ struct {
	DynamicExercise *Update_DynamicExercise `protobuf:"bytes,15,opt,name=dynamic_exercise,json=dynamicExercise,proto3,oneof"`
}

type Update_EmbedExpr

type Update_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 (*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 {
	EmbedExpr *Update_EmbedExpr `protobuf:"bytes,7,opt,name=embed_expr,json=embedExpr,proto3,oneof"`
}

type Update_Exercise

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

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          *TypeConName `protobuf:"bytes,1,opt,name=template,proto3" json:"template,omitempty"`
	ChoiceInternedStr int32        `protobuf:"varint,2,opt,name=choice_interned_str,json=choiceInternedStr,proto3" json:"choice_interned_str,omitempty"`
	Key               *Expr        `protobuf:"bytes,3,opt,name=key,proto3" json:"key,omitempty"`
	Arg               *Expr        `protobuf:"bytes,4,opt,name=arg,proto3" json:"arg,omitempty"`
	// contains filtered or unexported fields
}

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"`
}

type Update_ExerciseInterface

type Update_ExerciseInterface struct {
	Interface         *TypeConName `protobuf:"bytes,1,opt,name=interface,proto3" json:"interface,omitempty"`
	ChoiceInternedStr int32        `protobuf:"varint,2,opt,name=choice_interned_str,json=choiceInternedStr,proto3" json:"choice_interned_str,omitempty"`
	Cid               *Expr        `protobuf:"bytes,3,opt,name=cid,proto3" json:"cid,omitempty"`
	Arg               *Expr        `protobuf:"bytes,4,opt,name=arg,proto3" json:"arg,omitempty"`
	Guard             *Expr        `protobuf:"bytes,5,opt,name=guard,proto3" json:"guard,omitempty"`
	// contains filtered or unexported fields
}

func (*Update_ExerciseInterface) Descriptor deprecated

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

Deprecated: Use Update_ExerciseInterface.ProtoReflect.Descriptor instead.

func (*Update_ExerciseInterface) GetArg

func (x *Update_ExerciseInterface) GetArg() *Expr

func (*Update_ExerciseInterface) GetChoiceInternedStr

func (x *Update_ExerciseInterface) GetChoiceInternedStr() int32

func (*Update_ExerciseInterface) GetCid

func (x *Update_ExerciseInterface) GetCid() *Expr

func (*Update_ExerciseInterface) GetGuard

func (x *Update_ExerciseInterface) GetGuard() *Expr

func (*Update_ExerciseInterface) GetInterface

func (x *Update_ExerciseInterface) GetInterface() *TypeConName

func (*Update_ExerciseInterface) ProtoMessage

func (*Update_ExerciseInterface) ProtoMessage()

func (*Update_ExerciseInterface) ProtoReflect

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

func (*Update_ExerciseInterface) Reset

func (x *Update_ExerciseInterface) Reset()

func (*Update_ExerciseInterface) String

func (x *Update_ExerciseInterface) String() string

type Update_ExerciseInterface_

type Update_ExerciseInterface_ struct {
	ExerciseInterface *Update_ExerciseInterface `protobuf:"bytes,13,opt,name=exercise_interface,json=exerciseInterface,proto3,oneof"`
}

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 {
	ChoiceInternedStr int32 `protobuf:"varint,6,opt,name=choice_interned_str,json=choiceInternedStr,proto3,oneof"`
}

type Update_Exercise_ChoiceStr

type Update_Exercise_ChoiceStr struct {
	ChoiceStr string `protobuf:"bytes,2,opt,name=choice_str,json=choiceStr,proto3,oneof"`
}

type Update_Fetch

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

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"`
}

type Update_FetchInterface

type Update_FetchInterface struct {
	Interface *TypeConName `protobuf:"bytes,1,opt,name=interface,proto3" json:"interface,omitempty"`
	Cid       *Expr        `protobuf:"bytes,2,opt,name=cid,proto3" json:"cid,omitempty"`
	// contains filtered or unexported fields
}

func (*Update_FetchInterface) Descriptor deprecated

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

Deprecated: Use Update_FetchInterface.ProtoReflect.Descriptor instead.

func (*Update_FetchInterface) GetCid

func (x *Update_FetchInterface) GetCid() *Expr

func (*Update_FetchInterface) GetInterface

func (x *Update_FetchInterface) GetInterface() *TypeConName

func (*Update_FetchInterface) ProtoMessage

func (*Update_FetchInterface) ProtoMessage()

func (*Update_FetchInterface) ProtoReflect

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

func (*Update_FetchInterface) Reset

func (x *Update_FetchInterface) Reset()

func (*Update_FetchInterface) String

func (x *Update_FetchInterface) String() string

type Update_FetchInterface_

type Update_FetchInterface_ struct {
	FetchInterface *Update_FetchInterface `protobuf:"bytes,14,opt,name=fetch_interface,json=fetchInterface,proto3,oneof"`
}

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"`
}

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
}

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_SoftExercise

type Update_SoftExercise struct {
	Template *TypeConName `protobuf:"bytes,1,opt,name=template,proto3" json:"template,omitempty"`
	// Types that are assignable to Choice:
	//
	//	*Update_SoftExercise_ChoiceStr
	//	*Update_SoftExercise_ChoiceInternedStr
	Choice isUpdate_SoftExercise_Choice `protobuf_oneof:"choice"`
	Cid    *Expr                        `protobuf:"bytes,3,opt,name=cid,proto3" json:"cid,omitempty"`
	Arg    *Expr                        `protobuf:"bytes,5,opt,name=arg,proto3" json:"arg,omitempty"`
	// contains filtered or unexported fields
}

func (*Update_SoftExercise) Descriptor deprecated

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

Deprecated: Use Update_SoftExercise.ProtoReflect.Descriptor instead.

func (*Update_SoftExercise) GetArg

func (x *Update_SoftExercise) GetArg() *Expr

func (*Update_SoftExercise) GetChoice

func (m *Update_SoftExercise) GetChoice() isUpdate_SoftExercise_Choice

func (*Update_SoftExercise) GetChoiceInternedStr

func (x *Update_SoftExercise) GetChoiceInternedStr() int32

func (*Update_SoftExercise) GetChoiceStr

func (x *Update_SoftExercise) GetChoiceStr() string

func (*Update_SoftExercise) GetCid

func (x *Update_SoftExercise) GetCid() *Expr

func (*Update_SoftExercise) GetTemplate

func (x *Update_SoftExercise) GetTemplate() *TypeConName

func (*Update_SoftExercise) ProtoMessage

func (*Update_SoftExercise) ProtoMessage()

func (*Update_SoftExercise) ProtoReflect

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

func (*Update_SoftExercise) Reset

func (x *Update_SoftExercise) Reset()

func (*Update_SoftExercise) String

func (x *Update_SoftExercise) String() string

type Update_SoftExercise_

type Update_SoftExercise_ struct {
	SoftExercise *Update_SoftExercise `protobuf:"bytes,17,opt,name=soft_exercise,json=softExercise,proto3,oneof"`
}

type Update_SoftExercise_ChoiceInternedStr

type Update_SoftExercise_ChoiceInternedStr struct {
	ChoiceInternedStr int32 `protobuf:"varint,6,opt,name=choice_interned_str,json=choiceInternedStr,proto3,oneof"`
}

type Update_SoftExercise_ChoiceStr

type Update_SoftExercise_ChoiceStr struct {
	ChoiceStr string `protobuf:"bytes,2,opt,name=choice_str,json=choiceStr,proto3,oneof"`
}

type Update_SoftFetch

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

func (*Update_SoftFetch) Descriptor deprecated

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

Deprecated: Use Update_SoftFetch.ProtoReflect.Descriptor instead.

func (*Update_SoftFetch) GetCid

func (x *Update_SoftFetch) GetCid() *Expr

func (*Update_SoftFetch) GetTemplate

func (x *Update_SoftFetch) GetTemplate() *TypeConName

func (*Update_SoftFetch) ProtoMessage

func (*Update_SoftFetch) ProtoMessage()

func (*Update_SoftFetch) ProtoReflect

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

func (*Update_SoftFetch) Reset

func (x *Update_SoftFetch) Reset()

func (*Update_SoftFetch) String

func (x *Update_SoftFetch) String() string

type Update_SoftFetch_

type Update_SoftFetch_ struct {
	SoftFetch *Update_SoftFetch `protobuf:"bytes,16,opt,name=soft_fetch,json=softFetch,proto3,oneof"`
}

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"`
	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
}

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"`
}

type UpgradedPackageId

type UpgradedPackageId struct {
	UpgradedPackageIdInternedStr int32 `` /* 152-byte string literal not displayed */
	// contains filtered or unexported fields
}

func (*UpgradedPackageId) Descriptor deprecated

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

Deprecated: Use UpgradedPackageId.ProtoReflect.Descriptor instead.

func (*UpgradedPackageId) GetUpgradedPackageIdInternedStr

func (x *UpgradedPackageId) GetUpgradedPackageIdInternedStr() int32

func (*UpgradedPackageId) ProtoMessage

func (*UpgradedPackageId) ProtoMessage()

func (*UpgradedPackageId) ProtoReflect

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

func (*UpgradedPackageId) Reset

func (x *UpgradedPackageId) Reset()

func (*UpgradedPackageId) String

func (x *UpgradedPackageId) String() string

type ValName

type ValName struct {
	Module            *ModuleRef `protobuf:"bytes,1,opt,name=module,proto3" json:"module,omitempty"`
	NameDname         []string   `protobuf:"bytes,2,rep,name=name_dname,json=nameDname,proto3" json:"name_dname,omitempty"`
	NameInternedDname int32      `protobuf:"varint,3,opt,name=name_interned_dname,json=nameInternedDname,proto3" json:"name_interned_dname,omitempty"`
	// contains filtered or unexported fields
}

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 {

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

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 {
	VarInternedStr int32 `protobuf:"varint,3,opt,name=var_interned_str,json=varInternedStr,proto3,oneof"`
}

type VarWithType_VarStr

type VarWithType_VarStr struct {
	VarStr string `protobuf:"bytes,1,opt,name=var_str,json=varStr,proto3,oneof"`
}

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL