Com_Amazonaws_Dynamodb

Documentation

Index

• Variables
• func Type_DynamoDBClientConfigType_() _dafny.TypeDescriptor
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) CreateFailureOfError(error_ m_ComAmazonawsDynamodbTypes.Error) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) CreateSuccessOfClient(client m_ComAmazonawsDynamodbTypes.IDynamoDBClient) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) DDBClientForRegion(regionInput _dafny.Sequence) Wrappers.Result
  • func (_static *CompanionStruct_Default___) DefaultDynamoDBClientConfigType() DynamoDBClientConfigType
  • func (_static *CompanionStruct_Default___) DynamoDBClient() Wrappers.Result
  • func (_static *CompanionStruct_Default___) RegionMatch(iDynamodbClient ComAmazonawsDynamodbTypes.IDynamoDBClient, ...) Wrappers.Option
• type CompanionStruct_DynamoDBClientConfigType_
  • func (_ CompanionStruct_DynamoDBClientConfigType_) AllSingletonConstructors() _dafny.Iterator
  • func (CompanionStruct_DynamoDBClientConfigType_) Create_DynamoDBClientConfigType_() DynamoDBClientConfigType
  • func (CompanionStruct_DynamoDBClientConfigType_) Default() DynamoDBClientConfigType
• type Data_DynamoDBClientConfigType_
• type Default__
  • func New_Default___() *Default__
  • func (_this *Default__) Equals(other *Default__) bool
  • func (_this *Default__) EqualsGeneric(x interface{}) bool
  • func (_this *Default__) ParentTraits_() []*_dafny.TraitID
  • func (*Default__) String() string
• type Dummy__
• type DynamoDBClientConfigType
  • func (_this DynamoDBClientConfigType) Equals(other DynamoDBClientConfigType) bool
  • func (_this DynamoDBClientConfigType) EqualsGeneric(other interface{}) bool
  • func (_this DynamoDBClientConfigType) Get_() Data_DynamoDBClientConfigType_
  • func (_this DynamoDBClientConfigType) Is_DynamoDBClientConfigType() bool
  • func (_this DynamoDBClientConfigType) ParentTraits_() []*_dafny.TraitID
  • func (_this DynamoDBClientConfigType) String() string
• type DynamoDBClientConfigType_DynamoDBClientConfigType

Variables

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_DynamoDBClientConfigType_ = CompanionStruct_DynamoDBClientConfigType_{}

Functions

func Type_DynamoDBClientConfigType_

func Type_DynamoDBClientConfigType_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) CreateFailureOfError

func (_static *CompanionStruct_Default___) CreateFailureOfError(error_ m_ComAmazonawsDynamodbTypes.Error) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateSuccessOfClient

func (_static *CompanionStruct_Default___) CreateSuccessOfClient(client m_ComAmazonawsDynamodbTypes.IDynamoDBClient) m_Wrappers.Result

func (*CompanionStruct_Default___) DDBClientForRegion

func (_static *CompanionStruct_Default___) DDBClientForRegion(regionInput _dafny.Sequence) Wrappers.Result

func (*CompanionStruct_Default___) DefaultDynamoDBClientConfigType

func (_static *CompanionStruct_Default___) DefaultDynamoDBClientConfigType() DynamoDBClientConfigType

func (*CompanionStruct_Default___) DynamoDBClient

func (_static *CompanionStruct_Default___) DynamoDBClient() Wrappers.Result

func (*CompanionStruct_Default___) RegionMatch

func (_static *CompanionStruct_Default___) RegionMatch(iDynamodbClient ComAmazonawsDynamodbTypes.IDynamoDBClient, regionInput _dafny.Sequence) Wrappers.Option

type CompanionStruct_DynamoDBClientConfigType_

type CompanionStruct_DynamoDBClientConfigType_ struct {
}

func (CompanionStruct_DynamoDBClientConfigType_) AllSingletonConstructors

func (_ CompanionStruct_DynamoDBClientConfigType_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_DynamoDBClientConfigType_) Create_DynamoDBClientConfigType_

func (CompanionStruct_DynamoDBClientConfigType_) Create_DynamoDBClientConfigType_() DynamoDBClientConfigType

func (CompanionStruct_DynamoDBClientConfigType_) Default

func (CompanionStruct_DynamoDBClientConfigType_) Default() DynamoDBClientConfigType

type Data_DynamoDBClientConfigType_

type Data_DynamoDBClientConfigType_ interface {
	// contains filtered or unexported methods
}

type Default__

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

Definition of class Default__

func New_Default___

func New_Default___() *Default__

func (*Default__) Equals

func (_this *Default__) Equals(other *Default__) bool

func (*Default__) EqualsGeneric

func (_this *Default__) EqualsGeneric(x interface{}) bool

func (*Default__) ParentTraits_

func (_this *Default__) ParentTraits_() []*_dafny.TraitID

func (*Default__) String

func (*Default__) String() string

type Dummy__

type Dummy__ struct{}

type DynamoDBClientConfigType

type DynamoDBClientConfigType struct {
	Data_DynamoDBClientConfigType_
}

Definition of datatype DynamoDBClientConfigType

func (DynamoDBClientConfigType) Equals

func (_this DynamoDBClientConfigType) Equals(other DynamoDBClientConfigType) bool

func (DynamoDBClientConfigType) EqualsGeneric

func (_this DynamoDBClientConfigType) EqualsGeneric(other interface{}) bool

func (DynamoDBClientConfigType) Get_

func (_this DynamoDBClientConfigType) Get_() Data_DynamoDBClientConfigType_

func (DynamoDBClientConfigType) Is_DynamoDBClientConfigType

func (_this DynamoDBClientConfigType) Is_DynamoDBClientConfigType() bool

func (DynamoDBClientConfigType) ParentTraits_

func (_this DynamoDBClientConfigType) ParentTraits_() []*_dafny.TraitID

func (DynamoDBClientConfigType) String

func (_this DynamoDBClientConfigType) String() string

type DynamoDBClientConfigType_DynamoDBClientConfigType

type DynamoDBClientConfigType_DynamoDBClientConfigType struct {
}