Versions in this module Expand all Collapse all v0 v0.1.0 Jan 15, 2025 v0.0.1 Jan 13, 2025 Changes in this version + var Companion_ActionInvoke_ = CompanionStruct_ActionInvoke_ + var Companion_ActionWithResult_ = CompanionStruct_ActionWithResult_ + var Companion_Action_ = CompanionStruct_Action_ + var Companion_Default___ = CompanionStruct_Default___ + var Companion_DeterministicActionWithResult_ = CompanionStruct_DeterministicActionWithResult_ + var Companion_DeterministicAction_ = CompanionStruct_DeterministicAction_ + func Type_ActionInvoke_(Type_A_ _dafny.TypeDescriptor, Type_R_ _dafny.TypeDescriptor) _dafny.TypeDescriptor + type Action interface + Invoke func(a interface{}) interface{} + String func() string + type ActionInvoke struct + func (_this ActionInvoke) Dtor_input() interface{} + func (_this ActionInvoke) Dtor_output() interface{} + func (_this ActionInvoke) Equals(other ActionInvoke) bool + func (_this ActionInvoke) EqualsGeneric(other interface{}) bool + func (_this ActionInvoke) Get_() Data_ActionInvoke_ + func (_this ActionInvoke) Is_ActionInvoke() bool + func (_this ActionInvoke) ParentTraits_() []*_dafny.TraitID + func (_this ActionInvoke) String() string + type ActionInvoke_ActionInvoke struct + Input interface{} + Output interface{} + type ActionWithResult interface + Invoke func(a interface{}) interface{} + String func() string + type CompanionStruct_ActionInvoke_ struct + func (CompanionStruct_ActionInvoke_) Create_ActionInvoke_(Input interface{}, Output interface{}) ActionInvoke + func (CompanionStruct_ActionInvoke_) Default(_default_A interface{}, _default_R interface{}) ActionInvoke + type CompanionStruct_ActionWithResult_ struct + TraitID_ *_dafny.TraitID + func (CompanionStruct_ActionWithResult_) CastTo_(x interface{}) ActionWithResult + type CompanionStruct_Action_ struct + TraitID_ *_dafny.TraitID + func (CompanionStruct_Action_) CastTo_(x interface{}) Action + type CompanionStruct_Default___ struct + func (_static *CompanionStruct_Default___) DeterministicFlatMap(action DeterministicAction, s _dafny.Sequence) _dafny.Sequence + func (_static *CompanionStruct_Default___) DeterministicFlatMapWithResult(action DeterministicActionWithResult, s _dafny.Sequence) m_Wrappers.Result + func (_static *CompanionStruct_Default___) DeterministicMap(action DeterministicAction, s _dafny.Sequence) _dafny.Sequence + func (_static *CompanionStruct_Default___) DeterministicMapWithResult(action DeterministicActionWithResult, s _dafny.Sequence) m_Wrappers.Result + func (_static *CompanionStruct_Default___) Filter(action DeterministicAction, s _dafny.Sequence) _dafny.Sequence + func (_static *CompanionStruct_Default___) FilterWithResult(action DeterministicActionWithResult, s _dafny.Sequence) m_Wrappers.Result + func (_static *CompanionStruct_Default___) PluckErrors(r m_Wrappers.Result) interface{} + func (_static *CompanionStruct_Default___) ReduceToSuccess(action ActionWithResult, s _dafny.Sequence) m_Wrappers.Result + type CompanionStruct_DeterministicActionWithResult_ struct + TraitID_ *_dafny.TraitID + func (CompanionStruct_DeterministicActionWithResult_) CastTo_(x interface{}) DeterministicActionWithResult + type CompanionStruct_DeterministicAction_ struct + TraitID_ *_dafny.TraitID + func (CompanionStruct_DeterministicAction_) CastTo_(x interface{}) DeterministicAction + type Data_ActionInvoke_ interface + type Default__ struct + func New_Default___() *Default__ + func (*Default__) String() string + func (_this *Default__) Equals(other *Default__) bool + func (_this *Default__) EqualsGeneric(x interface{}) bool + func (_this *Default__) ParentTraits_() []*_dafny.TraitID + type DeterministicAction interface + Invoke func(a interface{}) interface{} + String func() string + type DeterministicActionWithResult interface + Invoke func(a interface{}) interface{} + String func() string + type Dummy__ struct
Go to main page