JSON_Serializer

Documentation

Index

• Variables
• func Type_Bytes32_() _dafny.TypeDescriptor
• func Type_String32_() _dafny.TypeDescriptor
• type Bytes32
  • func New_Bytes32_() *Bytes32
  • func (*Bytes32) String() string
• type CompanionStruct_Bytes32_
  • func (_this *CompanionStruct_Bytes32_) Is_(__source _dafny.Sequence) bool
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) Array(arr _dafny.Sequence) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) Bool(b bool) m_JSON_Utils_Views_Core.View__
  • func (_static *CompanionStruct_Default___) COLON() m_JSON_Grammar.Structural
  • func (_static *CompanionStruct_Default___) COMMA() m_JSON_Grammar.Structural
  • func (_static *CompanionStruct_Default___) CheckLength(s _dafny.Sequence, err m_JSON_Errors.SerializationError) m_Wrappers.Outcome
  • func (_static *CompanionStruct_Default___) DIGITS() _dafny.Sequence
  • func (_static *CompanionStruct_Default___) Int(n _dafny.Int) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) Int_k(n _dafny.Int) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) JSON(js m_JSON_Values.JSON) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) KeyValue(kv _dafny.Tuple) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) MINUS() uint8
  • func (_static *CompanionStruct_Default___) MkStructural(v interface{}) m_JSON_Grammar.Structural
  • func (_static *CompanionStruct_Default___) MkSuffixedSequence(ds _dafny.Sequence, suffix m_JSON_Grammar.Structural, start _dafny.Int) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) Number(dec m_JSON_Values.Decimal) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) Object(obj _dafny.Sequence) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) Sign(n _dafny.Int) m_JSON_Utils_Views_Core.View__
  • func (_static *CompanionStruct_Default___) String(str _dafny.Sequence) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) Value(js m_JSON_Values.JSON) m_Wrappers.Result
• type CompanionStruct_String32_
  • func (_this *CompanionStruct_String32_) Is_(__source _dafny.Sequence) bool
• 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 String32
  • func New_String32_() *String32
  • func (*String32) String() string

Variables

var Companion_Bytes32_ = CompanionStruct_Bytes32_{}

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_String32_ = CompanionStruct_String32_{}

Functions

func Type_Bytes32_

func Type_Bytes32_() _dafny.TypeDescriptor

func Type_String32_

func Type_String32_() _dafny.TypeDescriptor

Types

type Bytes32

type Bytes32 struct {
}

Definition of class Bytes32

func New_Bytes32_

func New_Bytes32_() *Bytes32

func (*Bytes32) String

func (*Bytes32) String() string

type CompanionStruct_Bytes32_

type CompanionStruct_Bytes32_ struct {
}

func (*CompanionStruct_Bytes32_) Is_

func (_this *CompanionStruct_Bytes32_) Is_(__source _dafny.Sequence) bool

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) Array

func (_static *CompanionStruct_Default___) Array(arr _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) Bool

func (_static *CompanionStruct_Default___) Bool(b bool) m_JSON_Utils_Views_Core.View__

func (*CompanionStruct_Default___) COLON

func (_static *CompanionStruct_Default___) COLON() m_JSON_Grammar.Structural

func (*CompanionStruct_Default___) COMMA

func (_static *CompanionStruct_Default___) COMMA() m_JSON_Grammar.Structural

func (*CompanionStruct_Default___) CheckLength

func (_static *CompanionStruct_Default___) CheckLength(s _dafny.Sequence, err m_JSON_Errors.SerializationError) m_Wrappers.Outcome

func (*CompanionStruct_Default___) DIGITS

func (_static *CompanionStruct_Default___) DIGITS() _dafny.Sequence

func (*CompanionStruct_Default___) Int

func (_static *CompanionStruct_Default___) Int(n _dafny.Int) m_Wrappers.Result

func (*CompanionStruct_Default___) Int_k

func (_static *CompanionStruct_Default___) Int_k(n _dafny.Int) _dafny.Sequence

func (*CompanionStruct_Default___) JSON

func (_static *CompanionStruct_Default___) JSON(js m_JSON_Values.JSON) m_Wrappers.Result

func (*CompanionStruct_Default___) KeyValue

func (_static *CompanionStruct_Default___) KeyValue(kv _dafny.Tuple) m_Wrappers.Result

func (*CompanionStruct_Default___) MINUS

func (_static *CompanionStruct_Default___) MINUS() uint8

func (*CompanionStruct_Default___) MkStructural

func (_static *CompanionStruct_Default___) MkStructural(v interface{}) m_JSON_Grammar.Structural

func (*CompanionStruct_Default___) MkSuffixedSequence

func (_static *CompanionStruct_Default___) MkSuffixedSequence(ds _dafny.Sequence, suffix m_JSON_Grammar.Structural, start _dafny.Int) _dafny.Sequence

func (*CompanionStruct_Default___) Number

func (_static *CompanionStruct_Default___) Number(dec m_JSON_Values.Decimal) m_Wrappers.Result

func (*CompanionStruct_Default___) Object

func (_static *CompanionStruct_Default___) Object(obj _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) Sign

func (_static *CompanionStruct_Default___) Sign(n _dafny.Int) m_JSON_Utils_Views_Core.View__

func (*CompanionStruct_Default___) String

func (_static *CompanionStruct_Default___) String(str _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) Value

func (_static *CompanionStruct_Default___) Value(js m_JSON_Values.JSON) m_Wrappers.Result

type CompanionStruct_String32_

type CompanionStruct_String32_ struct {
}

func (*CompanionStruct_String32_) Is_

func (_this *CompanionStruct_String32_) Is_(__source _dafny.Sequence) bool

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 String32

type String32 struct {
}

Definition of class String32

func New_String32_

func New_String32_() *String32

func (*String32) String

func (*String32) String() string