daml_lf_2_1

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 (
	BuiltinType_name = map[int32]string{
		0:    "UNIT",
		1:    "BOOL",
		2:    "INT64",
		3:    "DATE",
		4:    "TIMESTAMP",
		5:    "NUMERIC",
		6:    "PARTY",
		7:    "TEXT",
		8:    "CONTRACT_ID",
		9:    "OPTIONAL",
		10:   "LIST",
		11:   "GENMAP",
		13:   "ANY",
		14:   "ANY_EXCEPTION",
		15:   "TYPE_REP",
		16:   "ARROW",
		17:   "UPDATE",
		1001: "TEXTMAP",
		1002: "BIGNUMERIC",
		1003: "ROUNDING_MODE",
		1004: "SCENARIO",
	}
	BuiltinType_value = map[string]int32{
		"UNIT":          0,
		"BOOL":          1,
		"INT64":         2,
		"DATE":          3,
		"TIMESTAMP":     4,
		"NUMERIC":       5,
		"PARTY":         6,
		"TEXT":          7,
		"CONTRACT_ID":   8,
		"OPTIONAL":      9,
		"LIST":          10,
		"GENMAP":        11,
		"ANY":           13,
		"ANY_EXCEPTION": 14,
		"TYPE_REP":      15,
		"ARROW":         16,
		"UPDATE":        17,
		"TEXTMAP":       1001,
		"BIGNUMERIC":    1002,
		"ROUNDING_MODE": 1003,
		"SCENARIO":      1004,
	}
)

Enum value maps for BuiltinType.

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

Enum value maps for BuiltinCon.

View Source 
var (
	BuiltinFunction_name = map[int32]string{
		0:    "TRACE",
		1:    "ERROR",
		2:    "EQUAL",
		3:    "LESS_EQ",
		4:    "LESS",
		5:    "GREATER_EQ",
		6:    "GREATER",
		7:    "ADD_INT64",
		8:    "SUB_INT64",
		9:    "MUL_INT64",
		10:   "DIV_INT64",
		11:   "MOD_INT64",
		12:   "EXP_INT64",
		13:   "ADD_NUMERIC",
		14:   "SUB_NUMERIC",
		15:   "MUL_NUMERIC",
		16:   "DIV_NUMERIC",
		17:   "ROUND_NUMERIC",
		18:   "CAST_NUMERIC",
		19:   "SHIFT_NUMERIC",
		20:   "INT64_TO_NUMERIC",
		21:   "NUMERIC_TO_INT64",
		22:   "INT64_TO_TEXT",
		23:   "NUMERIC_TO_TEXT",
		25:   "TIMESTAMP_TO_TEXT",
		26:   "DATE_TO_TEXT",
		27:   "PARTY_TO_TEXT",
		28:   "TEXT_TO_PARTY",
		29:   "TEXT_TO_INT64",
		30:   "TEXT_TO_NUMERIC",
		31:   "CONTRACT_ID_TO_TEXT",
		32:   "SHA256_TEXT",
		33:   "EXPLODE_TEXT",
		34:   "APPEND_TEXT",
		35:   "IMPLODE_TEXT",
		36:   "CODE_POINTS_TO_TEXT",
		37:   "TEXT_TO_CODE_POINTS",
		38:   "DATE_TO_UNIX_DAYS",
		39:   "UNIX_DAYS_TO_DATE",
		40:   "TIMESTAMP_TO_UNIX_MICROSECONDS",
		41:   "UNIX_MICROSECONDS_TO_TIMESTAMP",
		42:   "COERCE_CONTRACT_ID",
		43:   "FOLDL",
		44:   "FOLDR",
		45:   "EQUAL_LIST",
		52:   "GENMAP_EMPTY",
		53:   "GENMAP_INSERT",
		54:   "GENMAP_LOOKUP",
		55:   "GENMAP_DELETE",
		56:   "GENMAP_KEYS",
		57:   "GENMAP_VALUES",
		58:   "GENMAP_SIZE",
		59:   "ANY_EXCEPTION_MESSAGE",
		1001: "TEXTMAP_EMPTY",
		1002: "TEXTMAP_INSERT",
		1003: "TEXTMAP_LOOKUP",
		1004: "TEXTMAP_DELETE",
		1005: "TEXTMAP_TO_LIST",
		1006: "TEXTMAP_SIZE",
		2001: "SCALE_BIGNUMERIC",
		2002: "PRECISION_BIGNUMERIC",
		2003: "ADD_BIGNUMERIC",
		2004: "SUB_BIGNUMERIC",
		2005: "MUL_BIGNUMERIC",
		2006: "DIV_BIGNUMERIC",
		2007: "SHIFT_RIGHT_BIGNUMERIC",
		2008: "BIGNUMERIC_TO_NUMERIC",
		2009: "NUMERIC_TO_BIGNUMERIC",
		2010: "BIGNUMERIC_TO_TEXT",
		3011: "TYPE_REP_TYCON_NAME",
	}
	BuiltinFunction_value = map[string]int32{
		"TRACE":                          0,
		"ERROR":                          1,
		"EQUAL":                          2,
		"LESS_EQ":                        3,
		"LESS":                           4,
		"GREATER_EQ":                     5,
		"GREATER":                        6,
		"ADD_INT64":                      7,
		"SUB_INT64":                      8,
		"MUL_INT64":                      9,
		"DIV_INT64":                      10,
		"MOD_INT64":                      11,
		"EXP_INT64":                      12,
		"ADD_NUMERIC":                    13,
		"SUB_NUMERIC":                    14,
		"MUL_NUMERIC":                    15,
		"DIV_NUMERIC":                    16,
		"ROUND_NUMERIC":                  17,
		"CAST_NUMERIC":                   18,
		"SHIFT_NUMERIC":                  19,
		"INT64_TO_NUMERIC":               20,
		"NUMERIC_TO_INT64":               21,
		"INT64_TO_TEXT":                  22,
		"NUMERIC_TO_TEXT":                23,
		"TIMESTAMP_TO_TEXT":              25,
		"DATE_TO_TEXT":                   26,
		"PARTY_TO_TEXT":                  27,
		"TEXT_TO_PARTY":                  28,
		"TEXT_TO_INT64":                  29,
		"TEXT_TO_NUMERIC":                30,
		"CONTRACT_ID_TO_TEXT":            31,
		"SHA256_TEXT":                    32,
		"EXPLODE_TEXT":                   33,
		"APPEND_TEXT":                    34,
		"IMPLODE_TEXT":                   35,
		"CODE_POINTS_TO_TEXT":            36,
		"TEXT_TO_CODE_POINTS":            37,
		"DATE_TO_UNIX_DAYS":              38,
		"UNIX_DAYS_TO_DATE":              39,
		"TIMESTAMP_TO_UNIX_MICROSECONDS": 40,
		"UNIX_MICROSECONDS_TO_TIMESTAMP": 41,
		"COERCE_CONTRACT_ID":             42,
		"FOLDL":                          43,
		"FOLDR":                          44,
		"EQUAL_LIST":                     45,
		"GENMAP_EMPTY":                   52,
		"GENMAP_INSERT":                  53,
		"GENMAP_LOOKUP":                  54,
		"GENMAP_DELETE":                  55,
		"GENMAP_KEYS":                    56,
		"GENMAP_VALUES":                  57,
		"GENMAP_SIZE":                    58,
		"ANY_EXCEPTION_MESSAGE":          59,
		"TEXTMAP_EMPTY":                  1001,
		"TEXTMAP_INSERT":                 1002,
		"TEXTMAP_LOOKUP":                 1003,
		"TEXTMAP_DELETE":                 1004,
		"TEXTMAP_TO_LIST":                1005,
		"TEXTMAP_SIZE":                   1006,
		"SCALE_BIGNUMERIC":               2001,
		"PRECISION_BIGNUMERIC":           2002,
		"ADD_BIGNUMERIC":                 2003,
		"SUB_BIGNUMERIC":                 2004,
		"MUL_BIGNUMERIC":                 2005,
		"DIV_BIGNUMERIC":                 2006,
		"SHIFT_RIGHT_BIGNUMERIC":         2007,
		"BIGNUMERIC_TO_NUMERIC":          2008,
		"NUMERIC_TO_BIGNUMERIC":          2009,
		"BIGNUMERIC_TO_TEXT":             2010,
		"TYPE_REP_TYCON_NAME":            3011,
	}
)

Enum value maps for BuiltinFunction.

View Source 
var (
	BuiltinLit_RoundingMode_name = map[int32]string{
		0: "UP",
		1: "DOWN",
		2: "CEILING",
		3: "FLOOR",
		4: "HALF_UP",
		5: "HALF_DOWN",
		6: "HALF_EVEN",
		7: "UNNECESSARY",
	}
	BuiltinLit_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 BuiltinLit_RoundingMode.

View Source 
var File_com_daml_daml_lf_2_1_daml_lf2_proto protoreflect.FileDescriptor
View Source 
var File_com_daml_daml_lf_2_1_daml_lf_proto protoreflect.FileDescriptor

Functions

This section is empty.

Types

type Archive 

type Archive struct {
	HashFunction HashFunction `` /* 128-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_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_2 

func (x *ArchivePayload) GetDamlLf_2() *Package

func (*ArchivePayload) GetMinor 

func (x *ArchivePayload) GetMinor() string

func (*ArchivePayload) GetSum 

func (m *ArchivePayload) GetSum() isArchivePayload_Sum

func (*ArchivePayload) ProtoMessage 

func (*ArchivePayload) ProtoMessage()

func (*ArchivePayload) ProtoReflect 

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

func (*ArchivePayload) Reset 

func (x *ArchivePayload) Reset()

func (*ArchivePayload) String 

func (x *ArchivePayload) String() string

type ArchivePayload_DamlLf_2 

type ArchivePayload_DamlLf_2 struct {
	DamlLf_2 *Package `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 BuiltinCon 

type BuiltinCon int32
const (
	BuiltinCon_CON_UNIT  BuiltinCon = 0
	BuiltinCon_CON_FALSE BuiltinCon = 1
	BuiltinCon_CON_TRUE  BuiltinCon = 2
)

func (BuiltinCon) Descriptor 

func (BuiltinCon) Descriptor() protoreflect.EnumDescriptor

func (BuiltinCon) Enum 

func (x BuiltinCon) Enum() *BuiltinCon

func (BuiltinCon) EnumDescriptor deprecated 

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

Deprecated: Use BuiltinCon.Descriptor instead.

func (BuiltinCon) Number 

func (x BuiltinCon) Number() protoreflect.EnumNumber

func (BuiltinCon) String 

func (x BuiltinCon) String() string

func (BuiltinCon) Type 

func (BuiltinCon) Type() protoreflect.EnumType

type BuiltinFunction 

type BuiltinFunction int32
const (
	BuiltinFunction_TRACE                          BuiltinFunction = 0
	BuiltinFunction_ERROR                          BuiltinFunction = 1
	BuiltinFunction_EQUAL                          BuiltinFunction = 2
	BuiltinFunction_LESS_EQ                        BuiltinFunction = 3
	BuiltinFunction_LESS                           BuiltinFunction = 4
	BuiltinFunction_GREATER_EQ                     BuiltinFunction = 5
	BuiltinFunction_GREATER                        BuiltinFunction = 6
	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_ADD_NUMERIC                    BuiltinFunction = 13
	BuiltinFunction_SUB_NUMERIC                    BuiltinFunction = 14
	BuiltinFunction_MUL_NUMERIC                    BuiltinFunction = 15
	BuiltinFunction_DIV_NUMERIC                    BuiltinFunction = 16
	BuiltinFunction_ROUND_NUMERIC                  BuiltinFunction = 17
	BuiltinFunction_CAST_NUMERIC                   BuiltinFunction = 18
	BuiltinFunction_SHIFT_NUMERIC                  BuiltinFunction = 19
	BuiltinFunction_INT64_TO_NUMERIC               BuiltinFunction = 20
	BuiltinFunction_NUMERIC_TO_INT64               BuiltinFunction = 21
	BuiltinFunction_INT64_TO_TEXT                  BuiltinFunction = 22
	BuiltinFunction_NUMERIC_TO_TEXT                BuiltinFunction = 23
	BuiltinFunction_TIMESTAMP_TO_TEXT              BuiltinFunction = 25
	BuiltinFunction_DATE_TO_TEXT                   BuiltinFunction = 26
	BuiltinFunction_PARTY_TO_TEXT                  BuiltinFunction = 27
	BuiltinFunction_TEXT_TO_PARTY                  BuiltinFunction = 28
	BuiltinFunction_TEXT_TO_INT64                  BuiltinFunction = 29
	BuiltinFunction_TEXT_TO_NUMERIC                BuiltinFunction = 30
	BuiltinFunction_CONTRACT_ID_TO_TEXT            BuiltinFunction = 31
	BuiltinFunction_SHA256_TEXT                    BuiltinFunction = 32
	BuiltinFunction_EXPLODE_TEXT                   BuiltinFunction = 33
	BuiltinFunction_APPEND_TEXT                    BuiltinFunction = 34
	BuiltinFunction_IMPLODE_TEXT                   BuiltinFunction = 35
	BuiltinFunction_CODE_POINTS_TO_TEXT            BuiltinFunction = 36
	BuiltinFunction_TEXT_TO_CODE_POINTS            BuiltinFunction = 37
	BuiltinFunction_DATE_TO_UNIX_DAYS              BuiltinFunction = 38
	BuiltinFunction_UNIX_DAYS_TO_DATE              BuiltinFunction = 39
	BuiltinFunction_TIMESTAMP_TO_UNIX_MICROSECONDS BuiltinFunction = 40
	BuiltinFunction_UNIX_MICROSECONDS_TO_TIMESTAMP BuiltinFunction = 41
	BuiltinFunction_COERCE_CONTRACT_ID             BuiltinFunction = 42
	BuiltinFunction_FOLDL                          BuiltinFunction = 43
	BuiltinFunction_FOLDR                          BuiltinFunction = 44
	BuiltinFunction_EQUAL_LIST                     BuiltinFunction = 45
	BuiltinFunction_GENMAP_EMPTY                   BuiltinFunction = 52
	BuiltinFunction_GENMAP_INSERT                  BuiltinFunction = 53
	BuiltinFunction_GENMAP_LOOKUP                  BuiltinFunction = 54
	BuiltinFunction_GENMAP_DELETE                  BuiltinFunction = 55
	BuiltinFunction_GENMAP_KEYS                    BuiltinFunction = 56
	BuiltinFunction_GENMAP_VALUES                  BuiltinFunction = 57
	BuiltinFunction_GENMAP_SIZE                    BuiltinFunction = 58
	BuiltinFunction_ANY_EXCEPTION_MESSAGE          BuiltinFunction = 59
	BuiltinFunction_TEXTMAP_EMPTY                  BuiltinFunction = 1001
	BuiltinFunction_TEXTMAP_INSERT                 BuiltinFunction = 1002
	BuiltinFunction_TEXTMAP_LOOKUP                 BuiltinFunction = 1003
	BuiltinFunction_TEXTMAP_DELETE                 BuiltinFunction = 1004
	BuiltinFunction_TEXTMAP_TO_LIST                BuiltinFunction = 1005
	BuiltinFunction_TEXTMAP_SIZE                   BuiltinFunction = 1006
	BuiltinFunction_SCALE_BIGNUMERIC               BuiltinFunction = 2001
	BuiltinFunction_PRECISION_BIGNUMERIC           BuiltinFunction = 2002
	BuiltinFunction_ADD_BIGNUMERIC                 BuiltinFunction = 2003
	BuiltinFunction_SUB_BIGNUMERIC                 BuiltinFunction = 2004
	BuiltinFunction_MUL_BIGNUMERIC                 BuiltinFunction = 2005
	BuiltinFunction_DIV_BIGNUMERIC                 BuiltinFunction = 2006
	BuiltinFunction_SHIFT_RIGHT_BIGNUMERIC         BuiltinFunction = 2007
	BuiltinFunction_BIGNUMERIC_TO_NUMERIC          BuiltinFunction = 2008
	BuiltinFunction_NUMERIC_TO_BIGNUMERIC          BuiltinFunction = 2009
	BuiltinFunction_BIGNUMERIC_TO_TEXT             BuiltinFunction = 2010
	BuiltinFunction_TYPE_REP_TYCON_NAME            BuiltinFunction = 3011
)

func (BuiltinFunction) Descriptor 

func (BuiltinFunction) Descriptor() protoreflect.EnumDescriptor

func (BuiltinFunction) Enum 

func (x BuiltinFunction) Enum() *BuiltinFunction

func (BuiltinFunction) EnumDescriptor deprecated 

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

Deprecated: Use BuiltinFunction.Descriptor instead.

func (BuiltinFunction) Number 

func (x BuiltinFunction) Number() protoreflect.EnumNumber

func (BuiltinFunction) String 

func (x BuiltinFunction) String() string

func (BuiltinFunction) Type 

func (BuiltinFunction) Type() protoreflect.EnumType

type BuiltinLit 

type BuiltinLit struct {

	// Types that are assignable to Sum:
	//
	//	*BuiltinLit_Int64
	//	*BuiltinLit_Timestamp
	//	*BuiltinLit_NumericInternedStr
	//	*BuiltinLit_TextInternedStr
	//	*BuiltinLit_Date
	//	*BuiltinLit_RoundingMode_
	Sum isBuiltinLit_Sum `protobuf_oneof:"Sum"`
	// contains filtered or unexported fields
}

func (*BuiltinLit) Descriptor deprecated 

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

Deprecated: Use BuiltinLit.ProtoReflect.Descriptor instead.

func (*BuiltinLit) GetDate 

func (x *BuiltinLit) GetDate() int32

func (*BuiltinLit) GetInt64 

func (x *BuiltinLit) GetInt64() int64

func (*BuiltinLit) GetNumericInternedStr 

func (x *BuiltinLit) GetNumericInternedStr() int32

func (*BuiltinLit) GetRoundingMode 

func (x *BuiltinLit) GetRoundingMode() BuiltinLit_RoundingMode

func (*BuiltinLit) GetSum 

func (m *BuiltinLit) GetSum() isBuiltinLit_Sum

func (*BuiltinLit) GetTextInternedStr 

func (x *BuiltinLit) GetTextInternedStr() int32

func (*BuiltinLit) GetTimestamp 

func (x *BuiltinLit) GetTimestamp() int64

func (*BuiltinLit) ProtoMessage 

func (*BuiltinLit) ProtoMessage()

func (*BuiltinLit) ProtoReflect 

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

func (*BuiltinLit) Reset 

func (x *BuiltinLit) Reset()

func (*BuiltinLit) String 

func (x *BuiltinLit) String() string

type BuiltinLit_Date 

type BuiltinLit_Date struct {
	Date int32 `protobuf:"varint,5,opt,name=date,proto3,oneof"`
}

type BuiltinLit_Int64 

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

type BuiltinLit_NumericInternedStr 

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

type BuiltinLit_RoundingMode 

type BuiltinLit_RoundingMode int32
const (
	BuiltinLit_UP          BuiltinLit_RoundingMode = 0
	BuiltinLit_DOWN        BuiltinLit_RoundingMode = 1
	BuiltinLit_CEILING     BuiltinLit_RoundingMode = 2
	BuiltinLit_FLOOR       BuiltinLit_RoundingMode = 3
	BuiltinLit_HALF_UP     BuiltinLit_RoundingMode = 4
	BuiltinLit_HALF_DOWN   BuiltinLit_RoundingMode = 5
	BuiltinLit_HALF_EVEN   BuiltinLit_RoundingMode = 6
	BuiltinLit_UNNECESSARY BuiltinLit_RoundingMode = 7
)

func (BuiltinLit_RoundingMode) Descriptor 

func (BuiltinLit_RoundingMode) Descriptor() protoreflect.EnumDescriptor

func (BuiltinLit_RoundingMode) Enum 

func (x BuiltinLit_RoundingMode) Enum() *BuiltinLit_RoundingMode

func (BuiltinLit_RoundingMode) EnumDescriptor deprecated 

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

Deprecated: Use BuiltinLit_RoundingMode.Descriptor instead.

func (BuiltinLit_RoundingMode) Number 

func (x BuiltinLit_RoundingMode) Number() protoreflect.EnumNumber

func (BuiltinLit_RoundingMode) String 

func (x BuiltinLit_RoundingMode) String() string

func (BuiltinLit_RoundingMode) Type 

func (BuiltinLit_RoundingMode) Type() protoreflect.EnumType

type BuiltinLit_RoundingMode_ 

type BuiltinLit_RoundingMode_ struct {
	RoundingMode BuiltinLit_RoundingMode `protobuf:"varint,1001,opt,name=rounding_mode,json=roundingMode,proto3,enum=daml_lf_2.BuiltinLit_RoundingMode,oneof"`
}

type BuiltinLit_TextInternedStr 

type BuiltinLit_TextInternedStr struct {
	TextInternedStr int32 `protobuf:"varint,4,opt,name=text_interned_str,json=textInternedStr,proto3,oneof"`
}

type BuiltinLit_Timestamp 

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

type BuiltinType 

type BuiltinType int32
const (
	BuiltinType_UNIT          BuiltinType = 0
	BuiltinType_BOOL          BuiltinType = 1
	BuiltinType_INT64         BuiltinType = 2
	BuiltinType_DATE          BuiltinType = 3
	BuiltinType_TIMESTAMP     BuiltinType = 4
	BuiltinType_NUMERIC       BuiltinType = 5
	BuiltinType_PARTY         BuiltinType = 6
	BuiltinType_TEXT          BuiltinType = 7
	BuiltinType_CONTRACT_ID   BuiltinType = 8
	BuiltinType_OPTIONAL      BuiltinType = 9
	BuiltinType_LIST          BuiltinType = 10
	BuiltinType_GENMAP        BuiltinType = 11
	BuiltinType_ANY           BuiltinType = 13
	BuiltinType_ANY_EXCEPTION BuiltinType = 14
	BuiltinType_TYPE_REP      BuiltinType = 15
	BuiltinType_ARROW         BuiltinType = 16
	BuiltinType_UPDATE        BuiltinType = 17
	BuiltinType_TEXTMAP       BuiltinType = 1001
	BuiltinType_BIGNUMERIC    BuiltinType = 1002
	BuiltinType_ROUNDING_MODE BuiltinType = 1003
	BuiltinType_SCENARIO      BuiltinType = 1004
)

func (BuiltinType) Descriptor 

func (BuiltinType) Descriptor() protoreflect.EnumDescriptor

func (BuiltinType) Enum 

func (x BuiltinType) Enum() *BuiltinType

func (BuiltinType) EnumDescriptor deprecated 

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

Deprecated: Use BuiltinType.Descriptor instead.

func (BuiltinType) Number 

func (x BuiltinType) Number() protoreflect.EnumNumber

func (BuiltinType) String 

func (x BuiltinType) String() string

func (BuiltinType) Type 

func (BuiltinType) Type() protoreflect.EnumType

type Case 

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

func (*Case) Descriptor deprecated 

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

Deprecated: Use Case.ProtoReflect.Descriptor instead.

func (*Case) GetAlts 

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

func (*Case) GetScrut 

func (x *Case) GetScrut() *Expr

func (*Case) ProtoMessage 

func (*Case) ProtoMessage()

func (*Case) ProtoReflect 

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

func (*Case) Reset 

func (x *Case) Reset()

func (*Case) String 

func (x *Case) String() string

type CaseAlt 

type CaseAlt struct {

	// Types that are assignable to Sum:
	//
	//	*CaseAlt_Default
	//	*CaseAlt_Variant_
	//	*CaseAlt_BuiltinCon
	//	*CaseAlt_Nil
	//	*CaseAlt_Cons_
	//	*CaseAlt_OptionalNone
	//	*CaseAlt_OptionalSome_
	//	*CaseAlt_Enum_
	Sum  isCaseAlt_Sum `protobuf_oneof:"Sum"`
	Body *Expr         `protobuf:"bytes,1,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) GetBuiltinCon 

func (x *CaseAlt) GetBuiltinCon() BuiltinCon

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

type CaseAlt_BuiltinCon struct {
	BuiltinCon BuiltinCon `protobuf:"varint,4,opt,name=builtin_con,json=builtinCon,proto3,enum=daml_lf_2.BuiltinCon,oneof"`
}

type CaseAlt_Cons 

type CaseAlt_Cons struct {
	VarHeadInternedStr int32 `protobuf:"varint,1,opt,name=var_head_interned_str,json=varHeadInternedStr,proto3" json:"var_head_interned_str,omitempty"`
	VarTailInternedStr int32 `protobuf:"varint,2,opt,name=var_tail_interned_str,json=varTailInternedStr,proto3" json:"var_tail_interned_str,omitempty"`
	// 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) GetVarHeadInternedStr 

func (x *CaseAlt_Cons) GetVarHeadInternedStr() int32

func (*CaseAlt_Cons) GetVarTailInternedStr 

func (x *CaseAlt_Cons) GetVarTailInternedStr() int32

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,6,opt,name=cons,proto3,oneof"`
}

type CaseAlt_Default 

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

type CaseAlt_Enum 

type CaseAlt_Enum struct {
	Con                    *TypeConName `protobuf:"bytes,1,opt,name=con,proto3" json:"con,omitempty"`
	ConstructorInternedStr int32        `` /* 130-byte string literal not displayed */
	// 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) GetConstructorInternedStr 

func (x *CaseAlt_Enum) GetConstructorInternedStr() int32

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_Nil 

type CaseAlt_Nil struct {
	Nil *Unit `protobuf:"bytes,5,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 {
	VarBodyInternedStr int32 `protobuf:"varint,1,opt,name=var_body_interned_str,json=varBodyInternedStr,proto3" json:"var_body_interned_str,omitempty"`
	// 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) GetVarBodyInternedStr 

func (x *CaseAlt_OptionalSome) GetVarBodyInternedStr() int32

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_Variant 

type CaseAlt_Variant struct {
	Con                *TypeConName `protobuf:"bytes,1,opt,name=con,proto3" json:"con,omitempty"`
	VariantInternedStr int32        `protobuf:"varint,2,opt,name=variant_interned_str,json=variantInternedStr,proto3" json:"variant_interned_str,omitempty"`
	BinderInternedStr  int32        `protobuf:"varint,3,opt,name=binder_interned_str,json=binderInternedStr,proto3" json:"binder_interned_str,omitempty"`
	// 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) GetBinderInternedStr 

func (x *CaseAlt_Variant) GetBinderInternedStr() int32

func (*CaseAlt_Variant) GetCon 

func (x *CaseAlt_Variant) GetCon() *TypeConName

func (*CaseAlt_Variant) GetVariantInternedStr 

func (x *CaseAlt_Variant) GetVariantInternedStr() int32

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,3,opt,name=variant,proto3,oneof"`
}

type DefDataType 

type DefDataType struct {
	Location          *Location          `protobuf:"bytes,1,opt,name=location,proto3" json:"location,omitempty"`
	NameInternedDname int32              `protobuf:"varint,2,opt,name=name_interned_dname,json=nameInternedDname,proto3" json:"name_interned_dname,omitempty"`
	Params            []*TypeVarWithKind `protobuf:"bytes,3,rep,name=params,proto3" json:"params,omitempty"`
	Serializable      bool               `protobuf:"varint,4,opt,name=serializable,proto3" json:"serializable,omitempty"`
	// Types that are assignable to DataCons:
	//
	//	*DefDataType_Record
	//	*DefDataType_Variant
	//	*DefDataType_Enum
	//	*DefDataType_Interface
	DataCons isDefDataType_DataCons `protobuf_oneof:"DataCons"`
	// 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 (x *DefDataType) GetEnum() *DefDataType_EnumConstructors

func (*DefDataType) GetInterface 

func (x *DefDataType) GetInterface() *Unit

func (*DefDataType) GetLocation 

func (x *DefDataType) GetLocation() *Location

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 {
	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) ProtoMessage 

func (*DefDataType_EnumConstructors) ProtoMessage()

func (*DefDataType_EnumConstructors) ProtoReflect 

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

func (*DefDataType_EnumConstructors) Reset 

func (x *DefDataType_EnumConstructors) Reset()

func (*DefDataType_EnumConstructors) String 

func (x *DefDataType_EnumConstructors) String() string

type DefDataType_Fields 

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

func (*DefDataType_Fields) Descriptor deprecated 

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

Deprecated: Use DefDataType_Fields.ProtoReflect.Descriptor instead.

func (*DefDataType_Fields) GetFields 

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

func (*DefDataType_Fields) ProtoMessage 

func (*DefDataType_Fields) ProtoMessage()

func (*DefDataType_Fields) ProtoReflect 

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

func (*DefDataType_Fields) Reset 

func (x *DefDataType_Fields) Reset()

func (*DefDataType_Fields) String 

func (x *DefDataType_Fields) String() string

type DefDataType_Interface 

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

type DefDataType_Record 

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

type DefDataType_Variant 

type DefDataType_Variant struct {
	Variant *DefDataType_Fields `protobuf:"bytes,6,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"`
	View               *Type              `protobuf:"bytes,6,opt,name=view,proto3" json:"view,omitempty"`
	Requires           []*TypeConName     `protobuf:"bytes,7,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) 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 DefTemplate 

type DefTemplate struct {
	TyconInternedDname int32                     `protobuf:"varint,1,opt,name=tycon_interned_dname,json=tyconInternedDname,proto3" json:"tycon_interned_dname,omitempty"`
	ParamInternedStr   int32                     `protobuf:"varint,2,opt,name=param_interned_str,json=paramInternedStr,proto3" json:"param_interned_str,omitempty"`
	Precond            *Expr                     `protobuf:"bytes,3,opt,name=precond,proto3" json:"precond,omitempty"`
	Signatories        *Expr                     `protobuf:"bytes,4,opt,name=signatories,proto3" json:"signatories,omitempty"`
	Agreement          *Expr                     `protobuf:"bytes,5,opt,name=agreement,proto3" json:"agreement,omitempty"`
	Choices            []*TemplateChoice         `protobuf:"bytes,6,rep,name=choices,proto3" json:"choices,omitempty"`
	Observers          *Expr                     `protobuf:"bytes,7,opt,name=observers,proto3" json:"observers,omitempty"`
	Location           *Location                 `protobuf:"bytes,8,opt,name=location,proto3" json:"location,omitempty"`
	Key                *DefTemplate_DefKey       `protobuf:"bytes,9,opt,name=key,proto3" json:"key,omitempty"`
	Implements         []*DefTemplate_Implements `protobuf:"bytes,10,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) GetParamInternedStr 

func (x *DefTemplate) GetParamInternedStr() int32

func (*DefTemplate) GetPrecond 

func (x *DefTemplate) GetPrecond() *Expr

func (*DefTemplate) GetSignatories 

func (x *DefTemplate) GetSignatories() *Expr

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"`
	KeyExpr     *Expr `protobuf:"bytes,4,opt,name=key_expr,json=keyExpr,proto3" json:"key_expr,omitempty"`
	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) GetKeyExpr 

func (x *DefTemplate_DefKey) GetKeyExpr() *Expr

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_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 (x *DefTemplate_Implements) GetBody() *InterfaceInstanceBody

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 DefTypeSyn 

type DefTypeSyn struct {
	Location          *Location          `protobuf:"bytes,1,opt,name=location,proto3" json:"location,omitempty"`
	NameInternedDname int32              `protobuf:"varint,2,opt,name=name_interned_dname,json=nameInternedDname,proto3" json:"name_interned_dname,omitempty"`
	Params            []*TypeVarWithKind `protobuf:"bytes,3,rep,name=params,proto3" json:"params,omitempty"`
	Type              *Type              `protobuf:"bytes,4,opt,name=type,proto3" json:"type,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) 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 DefValue 

type DefValue struct {
	Location     *Location              `protobuf:"bytes,1,opt,name=location,proto3" json:"location,omitempty"`
	NameWithType *DefValue_NameWithType `protobuf:"bytes,2,opt,name=name_with_type,json=nameWithType,proto3" json:"name_with_type,omitempty"`
	Expr         *Expr                  `protobuf:"bytes,3,opt,name=expr,proto3" json:"expr,omitempty"`
	IsTest       bool                   `protobuf:"varint,1000,opt,name=is_test,json=isTest,proto3" json:"is_test,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) 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 {
	NameInternedDname int32 `protobuf:"varint,1,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) 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 Expr 

type Expr struct {
	Location *Location `protobuf:"bytes,1,opt,name=location,proto3" json:"location,omitempty"`
	// Types that are assignable to Sum:
	//
	//	*Expr_VarInternedStr
	//	*Expr_Val
	//	*Expr_Builtin
	//	*Expr_BuiltinCon
	//	*Expr_BuiltinLit
	//	*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_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_Scenario
	//	*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) GetBuiltinCon 

func (x *Expr) GetBuiltinCon() BuiltinCon

func (*Expr) GetBuiltinLit 

func (x *Expr) GetBuiltinLit() *BuiltinLit

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) 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) 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,17,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,15,opt,name=app,proto3,oneof"`
}

type Expr_Builtin 

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

type Expr_BuiltinCon 

type Expr_BuiltinCon struct {
	BuiltinCon BuiltinCon `protobuf:"varint,5,opt,name=builtin_con,json=builtinCon,proto3,enum=daml_lf_2.BuiltinCon,oneof"`
}

type Expr_BuiltinLit 

type Expr_BuiltinLit struct {
	BuiltinLit *BuiltinLit `protobuf:"bytes,6,opt,name=builtin_lit,json=builtinLit,proto3,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,35,opt,name=call_interface,json=callInterface,proto3,oneof"`
}

type Expr_Case 

type Expr_Case struct {
	Case *Case `protobuf:"bytes,19,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,1001,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,1002,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,22,opt,name=cons,proto3,oneof"`
}

type Expr_EnumCon 

type Expr_EnumCon struct {
	Tycon              *TypeConName `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"`
	EnumConInternedStr int32        `protobuf:"varint,2,opt,name=enum_con_interned_str,json=enumConInternedStr,proto3" json:"enum_con_interned_str,omitempty"`
	// 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) GetEnumConInternedStr 

func (x *Expr_EnumCon) GetEnumConInternedStr() int32

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,11,opt,name=enum_con,json=enumCon,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,31,opt,name=from_any_exception,json=fromAnyException,proto3,oneof"`
}

type Expr_FromAny_ 

type Expr_FromAny_ struct {
	FromAny *Expr_FromAny `protobuf:"bytes,28,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,34,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 (x *Expr_FromRequiredInterface) ProtoReflect() protoreflect.Message

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,42,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 (x *Expr_InterfaceTemplateTypeRep) ProtoReflect() protoreflect.Message

func (*Expr_InterfaceTemplateTypeRep) Reset 

func (x *Expr_InterfaceTemplateTypeRep) Reset()

func (*Expr_InterfaceTemplateTypeRep) String 

func (x *Expr_InterfaceTemplateTypeRep) String() string

type Expr_InterfaceTemplateTypeRep_ 

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

type Expr_Let 

type Expr_Let struct {
	Let *Block `protobuf:"bytes,20,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,21,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,37,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,25,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"`
	Value *Expr `protobuf:"bytes,2,opt,name=value,proto3" json:"value,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) GetType 

func (x *Expr_OptionalSome) GetType() *Type

func (*Expr_OptionalSome) GetValue 

func (x *Expr_OptionalSome) GetValue() *Expr

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,26,opt,name=optional_some,json=optionalSome,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,7,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"`
	FieldInternedStr int32     `protobuf:"varint,4,opt,name=field_interned_str,json=fieldInternedStr,proto3" json:"field_interned_str,omitempty"`
	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) GetFieldInternedStr 

func (x *Expr_RecProj) GetFieldInternedStr() int32

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,8,opt,name=rec_proj,json=recProj,proto3,oneof"`
}

type Expr_RecUpd 

type Expr_RecUpd struct {
	Tycon            *Type_Con `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"`
	FieldInternedStr int32     `protobuf:"varint,2,opt,name=field_interned_str,json=fieldInternedStr,proto3" json:"field_interned_str,omitempty"`
	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) GetFieldInternedStr 

func (x *Expr_RecUpd) GetFieldInternedStr() int32

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,9,opt,name=rec_upd,json=recUpd,proto3,oneof"`
}

type Expr_Scenario 

type Expr_Scenario struct {
	Scenario *Scenario `protobuf:"bytes,1003,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,36,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,12,opt,name=struct_con,json=structCon,proto3,oneof"`
}

type Expr_StructProj 

type Expr_StructProj struct {
	FieldInternedStr int32 `protobuf:"varint,1,opt,name=field_interned_str,json=fieldInternedStr,proto3" json:"field_interned_str,omitempty"`
	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) GetFieldInternedStr 

func (x *Expr_StructProj) GetFieldInternedStr() int32

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,13,opt,name=struct_proj,json=structProj,proto3,oneof"`
}

type Expr_StructUpd 

type Expr_StructUpd struct {
	FieldInternedStr int32 `protobuf:"varint,1,opt,name=field_interned_str,json=fieldInternedStr,proto3" json:"field_interned_str,omitempty"`
	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) GetFieldInternedStr 

func (x *Expr_StructUpd) GetFieldInternedStr() int32

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,14,opt,name=struct_upd,json=structUpd,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,32,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,30,opt,name=to_any_exception,json=toAnyException,proto3,oneof"`
}

type Expr_ToAny_ 

type Expr_ToAny_ struct {
	ToAny *Expr_ToAny `protobuf:"bytes,27,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,33,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,41,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,18,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,16,opt,name=ty_app,json=tyApp,proto3,oneof"`
}

type Expr_TypeRep 

type Expr_TypeRep struct {
	TypeRep *Type `protobuf:"bytes,29,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,39,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 (x *Expr_UnsafeFromRequiredInterface) ProtoReflect() protoreflect.Message

func (*Expr_UnsafeFromRequiredInterface) Reset 

func (x *Expr_UnsafeFromRequiredInterface) Reset()

func (*Expr_UnsafeFromRequiredInterface) String 

func (x *Expr_UnsafeFromRequiredInterface) String() string

type Expr_UnsafeFromRequiredInterface_ 

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

type Expr_Update 

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

type Expr_Val 

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

type Expr_VarInternedStr 

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

type Expr_VariantCon 

type Expr_VariantCon struct {
	Tycon                 *Type_Con `protobuf:"bytes,1,opt,name=tycon,proto3" json:"tycon,omitempty"`
	VariantConInternedStr int32     `` /* 129-byte string literal not displayed */
	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) GetVariantConInternedStr 

func (x *Expr_VariantCon) GetVariantConInternedStr() int32

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,10,opt,name=variant_con,json=variantCon,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,38,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 {
	FieldInternedStr int32 `protobuf:"varint,3,opt,name=field_interned_str,json=fieldInternedStr,proto3" json:"field_interned_str,omitempty"`
	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) GetFieldInternedStr 

func (x *FieldWithExpr) GetFieldInternedStr() int32

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 FieldWithType 

type FieldWithType struct {
	FieldInternedStr int32 `protobuf:"varint,3,opt,name=field_interned_str,json=fieldInternedStr,proto3" json:"field_interned_str,omitempty"`
	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) GetFieldInternedStr 

func (x *FieldWithType) GetFieldInternedStr() int32

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 HashFunction 

type HashFunction int32
const (
	HashFunction_SHA256 HashFunction = 0
)

func (HashFunction) Descriptor 

func (HashFunction) Descriptor() protoreflect.EnumDescriptor

func (HashFunction) Enum 

func (x HashFunction) Enum() *HashFunction

func (HashFunction) EnumDescriptor deprecated 

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

Deprecated: Use HashFunction.Descriptor instead.

func (HashFunction) Number 

func (x HashFunction) Number() protoreflect.EnumNumber

func (HashFunction) String 

func (x HashFunction) String() string

func (HashFunction) Type 

func (HashFunction) Type() protoreflect.EnumType

type 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 (x *InterfaceInstanceBody) GetMethods() []*InterfaceInstanceBody_InterfaceInstanceMethod

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 

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

Deprecated: Use InterfaceInstanceBody_InterfaceInstanceMethod.ProtoReflect.Descriptor instead.

func (*InterfaceInstanceBody_InterfaceInstanceMethod) GetMethodInternedName 

func (x *InterfaceInstanceBody_InterfaceInstanceMethod) GetMethodInternedName() int32

func (*InterfaceInstanceBody_InterfaceInstanceMethod) GetValue 

func (x *InterfaceInstanceBody_InterfaceInstanceMethod) GetValue() *Expr

func (*InterfaceInstanceBody_InterfaceInstanceMethod) ProtoMessage 

func (*InterfaceInstanceBody_InterfaceInstanceMethod) ProtoMessage()

func (*InterfaceInstanceBody_InterfaceInstanceMethod) ProtoReflect 

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

func (*InterfaceInstanceBody_InterfaceInstanceMethod) Reset 

func (x *InterfaceInstanceBody_InterfaceInstanceMethod) Reset()

func (*InterfaceInstanceBody_InterfaceInstanceMethod) String 

func (x *InterfaceInstanceBody_InterfaceInstanceMethod) String() 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 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 {
	NameInternedDname int32           `protobuf:"varint,1,opt,name=name_interned_dname,json=nameInternedDname,proto3" json:"name_interned_dname,omitempty"`
	Flags             *FeatureFlags   `protobuf:"bytes,2,opt,name=flags,proto3" json:"flags,omitempty"`
	Synonyms          []*DefTypeSyn   `protobuf:"bytes,3,rep,name=synonyms,proto3" json:"synonyms,omitempty"`
	DataTypes         []*DefDataType  `protobuf:"bytes,4,rep,name=data_types,json=dataTypes,proto3" json:"data_types,omitempty"`
	Values            []*DefValue     `protobuf:"bytes,5,rep,name=values,proto3" json:"values,omitempty"`
	Templates         []*DefTemplate  `protobuf:"bytes,6,rep,name=templates,proto3" json:"templates,omitempty"`
	Exceptions        []*DefException `protobuf:"bytes,7,rep,name=exceptions,proto3" json:"exceptions,omitempty"`
	Interfaces        []*DefInterface `protobuf:"bytes,8,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) 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"`
	ModuleNameInternedDname int32       `` /* 135-byte string literal not displayed */
	// contains filtered or unexported fields
}

func (*ModuleRef) Descriptor deprecated 

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

Deprecated: Use ModuleRef.ProtoReflect.Descriptor instead.

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 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_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) 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_Self 

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

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 {
	Location              *Location    `protobuf:"bytes,1,opt,name=location,proto3" json:"location,omitempty"`
	NameInternedStr       int32        `protobuf:"varint,2,opt,name=name_interned_str,json=nameInternedStr,proto3" json:"name_interned_str,omitempty"`
	Consuming             bool         `protobuf:"varint,3,opt,name=consuming,proto3" json:"consuming,omitempty"`
	Controllers           *Expr        `protobuf:"bytes,4,opt,name=controllers,proto3" json:"controllers,omitempty"`
	Observers             *Expr        `protobuf:"bytes,5,opt,name=observers,proto3" json:"observers,omitempty"`
	ArgBinder             *VarWithType `protobuf:"bytes,6,opt,name=arg_binder,json=argBinder,proto3" json:"arg_binder,omitempty"`
	RetType               *Type        `protobuf:"bytes,8,opt,name=ret_type,json=retType,proto3" json:"ret_type,omitempty"`
	Update                *Expr        `protobuf:"bytes,9,opt,name=update,proto3" json:"update,omitempty"`
	SelfBinderInternedStr int32        `` /* 130-byte string literal not displayed */
	Authorizers           *Expr        `protobuf:"bytes,1001,opt,name=authorizers,proto3" json:"authorizers,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) GetNameInternedStr 

func (x *TemplateChoice) GetNameInternedStr() int32

func (*TemplateChoice) GetObservers 

func (x *TemplateChoice) GetObservers() *Expr

func (*TemplateChoice) GetRetType 

func (x *TemplateChoice) GetRetType() *Type

func (*TemplateChoice) GetSelfBinderInternedStr 

func (x *TemplateChoice) GetSelfBinderInternedStr() int32

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 Type 

type Type struct {

	// Types that are assignable to Sum:
	//
	//	*Type_Var_
	//	*Type_Con_
	//	*Type_Builtin_
	//	*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) GetBuiltin 

func (x *Type) GetBuiltin() *Type_Builtin

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) 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"`
	NameInternedDname int32      `protobuf:"varint,2,opt,name=name_interned_dname,json=nameInternedDname,proto3" json:"name_interned_dname,omitempty"`
	// 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) 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 TypeSynName 

type TypeSynName struct {
	Module            *ModuleRef `protobuf:"bytes,1,opt,name=module,proto3" json:"module,omitempty"`
	NameInternedDname int32      `protobuf:"varint,2,opt,name=name_interned_dname,json=nameInternedDname,proto3" json:"name_interned_dname,omitempty"`
	// 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) 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 TypeVarWithKind 

type TypeVarWithKind struct {
	VarInternedStr int32 `protobuf:"varint,3,opt,name=var_interned_str,json=varInternedStr,proto3" json:"var_interned_str,omitempty"`
	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) GetVarInternedStr 

func (x *TypeVarWithKind) GetVarInternedStr() int32

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 Type_Builtin 

type Type_Builtin struct {
	Builtin BuiltinType `protobuf:"varint,1,opt,name=builtin,proto3,enum=daml_lf_2.BuiltinType" json:"builtin,omitempty"`
	Args    []*Type     `protobuf:"bytes,2,rep,name=args,proto3" json:"args,omitempty"`
	// contains filtered or unexported fields
}

func (*Type_Builtin) Descriptor deprecated 

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

Deprecated: Use Type_Builtin.ProtoReflect.Descriptor instead.

func (*Type_Builtin) GetArgs 

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

func (*Type_Builtin) GetBuiltin 

func (x *Type_Builtin) GetBuiltin() BuiltinType

func (*Type_Builtin) ProtoMessage 

func (*Type_Builtin) ProtoMessage()

func (*Type_Builtin) ProtoReflect 

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

func (*Type_Builtin) Reset 

func (x *Type_Builtin) Reset()

func (*Type_Builtin) String 

func (x *Type_Builtin) String() string

type Type_Builtin_ 

type Type_Builtin_ struct {
	Builtin *Type_Builtin `protobuf:"bytes,3,opt,name=builtin,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,4,opt,name=forall,proto3,oneof"`
}

type Type_Interned 

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

type Type_Nat 

type Type_Nat struct {
	Nat int64 `protobuf:"zigzag64,6,opt,name=nat,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,5,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,7,opt,name=syn,proto3,oneof"`
}

type Type_Var 

type Type_Var struct {
	VarInternedStr int32   `protobuf:"varint,3,opt,name=var_interned_str,json=varInternedStr,proto3" json:"var_interned_str,omitempty"`
	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) GetVarInternedStr 

func (x *Type_Var) GetVarInternedStr() int32

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 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,1001,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"`
	ChoiceInternedStr int32        `protobuf:"varint,6,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,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) GetChoiceInternedStr 

func (x *Update_Exercise) GetChoiceInternedStr() int32

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_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"`
	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_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) GetChoiceInternedStr 

func (x *Update_SoftExercise) GetChoiceInternedStr() int32

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,1003,opt,name=soft_exercise,json=softExercise,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,1002,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"`
	NameInternedDname int32      `protobuf:"varint,2,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) 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 {
	VarInternedStr int32 `protobuf:"varint,3,opt,name=var_interned_str,json=varInternedStr,proto3" json:"var_interned_str,omitempty"`
	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) GetVarInternedStr 

func (x *VarWithType) GetVarInternedStr() int32

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

Source Files

View all Source files

Jump to

Keyboard shortcuts

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