Actions

Documentation

Index

• Variables
• func Type_ActionInvoke_(Type_A_ _dafny.TypeDescriptor, Type_R_ _dafny.TypeDescriptor) _dafny.TypeDescriptor
• type Action
• type ActionInvoke
  • 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
• type ActionWithResult
• type CompanionStruct_ActionInvoke_
  • func (CompanionStruct_ActionInvoke_) Create_ActionInvoke_(Input interface{}, Output interface{}) ActionInvoke
  • func (CompanionStruct_ActionInvoke_) Default(_default_A interface{}, _default_R interface{}) ActionInvoke
• type CompanionStruct_ActionWithResult_
  • func (CompanionStruct_ActionWithResult_) CastTo_(x interface{}) ActionWithResult
• type CompanionStruct_Action_
  • func (CompanionStruct_Action_) CastTo_(x interface{}) Action
• type CompanionStruct_Default___
  • 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_
  • func (CompanionStruct_DeterministicActionWithResult_) CastTo_(x interface{}) DeterministicActionWithResult
• type CompanionStruct_DeterministicAction_
  • func (CompanionStruct_DeterministicAction_) CastTo_(x interface{}) DeterministicAction
• type Data_ActionInvoke_
• 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 DeterministicAction
• type DeterministicActionWithResult
• type Dummy__

Variables

var Companion_ActionInvoke_ = CompanionStruct_ActionInvoke_{}

var Companion_ActionWithResult_ = CompanionStruct_ActionWithResult_{
	TraitID_: &_dafny.TraitID{},
}

var Companion_Action_ = CompanionStruct_Action_{
	TraitID_: &_dafny.TraitID{},
}

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_DeterministicActionWithResult_ = CompanionStruct_DeterministicActionWithResult_{
	TraitID_: &_dafny.TraitID{},
}

var Companion_DeterministicAction_ = CompanionStruct_DeterministicAction_{
	TraitID_: &_dafny.TraitID{},
}

Functions

func Type_ActionInvoke_

func Type_ActionInvoke_(Type_A_ _dafny.TypeDescriptor, Type_R_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

Types

type Action

type Action interface {
	String() string
	Invoke(a interface{}) interface{}
}

Definition of trait Action

type ActionInvoke

type ActionInvoke struct {
	Data_ActionInvoke_
}

Definition of datatype ActionInvoke

func (ActionInvoke) Dtor_input

func (_this ActionInvoke) Dtor_input() interface{}

func (ActionInvoke) Dtor_output

func (_this ActionInvoke) Dtor_output() interface{}

func (ActionInvoke) Equals

func (_this ActionInvoke) Equals(other ActionInvoke) bool

func (ActionInvoke) EqualsGeneric

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

func (ActionInvoke) Get_

func (_this ActionInvoke) Get_() Data_ActionInvoke_

func (ActionInvoke) Is_ActionInvoke

func (_this ActionInvoke) Is_ActionInvoke() bool

func (ActionInvoke) ParentTraits_

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

func (ActionInvoke) String

func (_this ActionInvoke) String() string

type ActionInvoke_ActionInvoke

type ActionInvoke_ActionInvoke struct {
	Input  interface{}
	Output interface{}
}

type ActionWithResult

type ActionWithResult interface {
	String() string
	Invoke(a interface{}) interface{}
}

Definition of trait ActionWithResult

type CompanionStruct_ActionInvoke_

type CompanionStruct_ActionInvoke_ struct {
}

func (CompanionStruct_ActionInvoke_) Create_ActionInvoke_

func (CompanionStruct_ActionInvoke_) Create_ActionInvoke_(Input interface{}, Output interface{}) ActionInvoke

func (CompanionStruct_ActionInvoke_) Default

func (CompanionStruct_ActionInvoke_) Default(_default_A interface{}, _default_R interface{}) ActionInvoke

type CompanionStruct_ActionWithResult_

type CompanionStruct_ActionWithResult_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_ActionWithResult_) CastTo_

func (CompanionStruct_ActionWithResult_) CastTo_(x interface{}) ActionWithResult

type CompanionStruct_Action_

type CompanionStruct_Action_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_Action_) CastTo_

func (CompanionStruct_Action_) CastTo_(x interface{}) Action

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) DeterministicFlatMap

func (_static *CompanionStruct_Default___) DeterministicFlatMap(action DeterministicAction, s _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) DeterministicFlatMapWithResult

func (_static *CompanionStruct_Default___) DeterministicFlatMapWithResult(action DeterministicActionWithResult, s _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) DeterministicMap

func (_static *CompanionStruct_Default___) DeterministicMap(action DeterministicAction, s _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) DeterministicMapWithResult

func (_static *CompanionStruct_Default___) DeterministicMapWithResult(action DeterministicActionWithResult, s _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) Filter

func (_static *CompanionStruct_Default___) Filter(action DeterministicAction, s _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) FilterWithResult

func (_static *CompanionStruct_Default___) FilterWithResult(action DeterministicActionWithResult, s _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) PluckErrors

func (_static *CompanionStruct_Default___) PluckErrors(r m_Wrappers.Result) interface{}

func (*CompanionStruct_Default___) ReduceToSuccess

func (_static *CompanionStruct_Default___) ReduceToSuccess(action ActionWithResult, s _dafny.Sequence) m_Wrappers.Result

type CompanionStruct_DeterministicActionWithResult_

type CompanionStruct_DeterministicActionWithResult_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_DeterministicActionWithResult_) CastTo_

func (CompanionStruct_DeterministicActionWithResult_) CastTo_(x interface{}) DeterministicActionWithResult

type CompanionStruct_DeterministicAction_

type CompanionStruct_DeterministicAction_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_DeterministicAction_) CastTo_

func (CompanionStruct_DeterministicAction_) CastTo_(x interface{}) DeterministicAction

type Data_ActionInvoke_

type Data_ActionInvoke_ 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 DeterministicAction

type DeterministicAction interface {
	String() string
	Invoke(a interface{}) interface{}
}

Definition of trait DeterministicAction

type DeterministicActionWithResult

type DeterministicActionWithResult interface {
	String() string
	Invoke(a interface{}) interface{}
}

Definition of trait DeterministicActionWithResult

type Dummy__

type Dummy__ struct{}