Wrappers

package
v0.0.1 Latest Latest
Warning

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

 Go to latest Published: Jan 13, 2025 License: Apache-2.0 Imports: 3 Imported by: 83

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_Option_ = CompanionStruct_Option_{}
View Source 
var Companion_Outcome_ = CompanionStruct_Outcome_{}
View Source 
var Companion_Result_ = CompanionStruct_Result_{}

Functions

func Type_Option_ 

func Type_Option_() _dafny.TypeDescriptor

func Type_Outcome_ 

func Type_Outcome_() _dafny.TypeDescriptor

func Type_Result_ 

func Type_Result_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

Types

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) Need 

func (_static *CompanionStruct_Default___) Need(condition bool, error_ interface{}) Outcome

type CompanionStruct_Option_ 

type CompanionStruct_Option_ struct {
}

func (CompanionStruct_Option_) Create_None_ 

func (CompanionStruct_Option_) Create_None_() Option

func (CompanionStruct_Option_) Create_Some_ 

func (CompanionStruct_Option_) Create_Some_(Value interface{}) Option

func (CompanionStruct_Option_) Default 

func (CompanionStruct_Option_) Default() Option

type CompanionStruct_Outcome_ 

type CompanionStruct_Outcome_ struct {
}

func (CompanionStruct_Outcome_) Create_Fail_ 

func (CompanionStruct_Outcome_) Create_Fail_(Error interface{}) Outcome

func (CompanionStruct_Outcome_) Create_Pass_ 

func (CompanionStruct_Outcome_) Create_Pass_() Outcome

func (CompanionStruct_Outcome_) Default 

func (CompanionStruct_Outcome_) Default() Outcome

type CompanionStruct_Result_ 

type CompanionStruct_Result_ struct {
}

func (CompanionStruct_Result_) Create_Failure_ 

func (CompanionStruct_Result_) Create_Failure_(Error interface{}) Result

func (CompanionStruct_Result_) Create_Success_ 

func (CompanionStruct_Result_) Create_Success_(Value interface{}) Result

func (CompanionStruct_Result_) Default 

func (CompanionStruct_Result_) Default(_default_T interface{}) Result

type Data_Option_ 

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

type Data_Outcome_ 

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

type Data_Result_ 

type Data_Result_ 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 Option 

type Option struct {
	Data_Option_
}

Definition of datatype Option

func (Option) Dtor_value 

func (_this Option) Dtor_value() interface{}

func (Option) Equals 

func (_this Option) Equals(other Option) bool

func (Option) EqualsGeneric 

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

func (Option) Extract 

func (_this Option) Extract() interface{}

func (Option) Get_ 

func (_this Option) Get_() Data_Option_

func (Option) IsFailure 

func (_this Option) IsFailure() bool

func (Option) Is_None 

func (_this Option) Is_None() bool

func (Option) Is_Some 

func (_this Option) Is_Some() bool

func (Option) ParentTraits_ 

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

func (Option) PropagateFailure 

func (_this Option) PropagateFailure() Option

func (Option) String 

func (_this Option) String() string

func (Option) ToResult 

func (_this Option) ToResult() Result

func (Option) ToResult_k 

func (_this Option) ToResult_k(error_ interface{}) Result

func (Option) UnwrapOr 

func (_this Option) UnwrapOr(default_ interface{}) interface{}

type Option_None 

type Option_None struct {
}

type Option_Some 

type Option_Some struct {
	Value interface{}
}

type Outcome 

type Outcome struct {
	Data_Outcome_
}

Definition of datatype Outcome

func (Outcome) Dtor_error 

func (_this Outcome) Dtor_error() interface{}

func (Outcome) Equals 

func (_this Outcome) Equals(other Outcome) bool

func (Outcome) EqualsGeneric 

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

func (Outcome) Get_ 

func (_this Outcome) Get_() Data_Outcome_

func (Outcome) IsFailure 

func (_this Outcome) IsFailure() bool

func (Outcome) Is_Fail 

func (_this Outcome) Is_Fail() bool

func (Outcome) Is_Pass 

func (_this Outcome) Is_Pass() bool

func (Outcome) ParentTraits_ 

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

func (Outcome) PropagateFailure 

func (_this Outcome) PropagateFailure() Result

func (Outcome) String 

func (_this Outcome) String() string

type Outcome_Fail 

type Outcome_Fail struct {
	Error interface{}
}

type Outcome_Pass 

type Outcome_Pass struct {
}

type Result 

type Result struct {
	Data_Result_
}

Definition of datatype Result

func (Result) Dtor_error 

func (_this Result) Dtor_error() interface{}

func (Result) Dtor_value 

func (_this Result) Dtor_value() interface{}

func (Result) Equals 

func (_this Result) Equals(other Result) bool

func (Result) EqualsGeneric 

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

func (Result) Extract 

func (_this Result) Extract() interface{}

func (Result) Get_ 

func (_this Result) Get_() Data_Result_

func (Result) IsFailure 

func (_this Result) IsFailure() bool

func (Result) Is_Failure 

func (_this Result) Is_Failure() bool

func (Result) Is_Success 

func (_this Result) Is_Success() bool

func (Result) MapFailure 

func (_this Result) MapFailure(reWrap func(interface{}) interface{}) Result

func (Result) ParentTraits_ 

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

func (Result) PropagateFailure 

func (_this Result) PropagateFailure() Result

func (Result) String 

func (_this Result) String() string

func (Result) ToOption 

func (_this Result) ToOption() Option

func (Result) UnwrapOr 

func (_this Result) UnwrapOr(default_ interface{}) interface{}

type Result_Failure 

type Result_Failure struct {
	Error interface{}
}

type Result_Success 

type Result_Success struct {
	Value interface{}
}

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.