Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

SerializeFunctions

package

Go to main page

Versions in this module

v0

v0.2.0

Mar 21, 2025

v0.1.1

Feb 14, 2025

retracted

v0.1.0

Jan 16, 2025

retracted

v0.0.1

Jan 16, 2025

retracted

Changes in this version

+ var Companion_Default___ = CompanionStruct_Default___

+ var Companion_MoreNeeded_ = CompanionStruct_MoreNeeded_

+ var Companion_ReadProblems_ = CompanionStruct_ReadProblems_

+ var Companion_ReadableBuffer_ = CompanionStruct_ReadableBuffer_

+ var Companion_SuccessfulRead_ = CompanionStruct_SuccessfulRead_

+ func Type_MoreNeeded_() _dafny.TypeDescriptor

+ func Type_ReadProblems_() _dafny.TypeDescriptor

+ func Type_ReadableBuffer_() _dafny.TypeDescriptor

+ func Type_SuccessfulRead_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

+ type CompanionStruct_Default___ struct

+ func (_static *CompanionStruct_Default___) Read(buffer ReadableBuffer, length _dafny.Int) m_Wrappers.Result

+ func (_static *CompanionStruct_Default___) ReadShortLengthSeq(buffer ReadableBuffer) m_Wrappers.Result

+ func (_static *CompanionStruct_Default___) ReadUInt16(buffer ReadableBuffer) m_Wrappers.Result

+ func (_static *CompanionStruct_Default___) ReadUInt32(buffer ReadableBuffer) m_Wrappers.Result

+ func (_static *CompanionStruct_Default___) ReadUInt64(buffer ReadableBuffer) m_Wrappers.Result

+ func (_static *CompanionStruct_Default___) ReadUint32Seq(buffer ReadableBuffer) m_Wrappers.Result

+ func (_static *CompanionStruct_Default___) ReadUint64Seq(buffer ReadableBuffer) m_Wrappers.Result

+ func (_static *CompanionStruct_Default___) Write(data _dafny.Sequence) _dafny.Sequence

+ func (_static *CompanionStruct_Default___) WriteShortLengthSeq(d _dafny.Sequence) _dafny.Sequence

+ func (_static *CompanionStruct_Default___) WriteUint16(number uint16) _dafny.Sequence

+ func (_static *CompanionStruct_Default___) WriteUint32(number uint32) _dafny.Sequence

+ func (_static *CompanionStruct_Default___) WriteUint32Seq(d _dafny.Sequence) _dafny.Sequence

+ func (_static *CompanionStruct_Default___) WriteUint64(number uint64) _dafny.Sequence

+ func (_static *CompanionStruct_Default___) WriteUint64Seq(d _dafny.Sequence) _dafny.Sequence

+ type CompanionStruct_MoreNeeded_ struct

+ func (_this *CompanionStruct_MoreNeeded_) Is_(__source ReadProblems) bool

+ type CompanionStruct_ReadProblems_ struct

+ func (CompanionStruct_ReadProblems_) Create_Error_(Message _dafny.Sequence) ReadProblems

+ func (CompanionStruct_ReadProblems_) Create_MoreNeeded_(Pos _dafny.Int) ReadProblems

+ func (CompanionStruct_ReadProblems_) Default() ReadProblems

+ type CompanionStruct_ReadableBuffer_ struct

+ func (CompanionStruct_ReadableBuffer_) Create_ReadableBuffer_(Bytes _dafny.Sequence, Start _dafny.Int) ReadableBuffer

+ func (CompanionStruct_ReadableBuffer_) Default() ReadableBuffer

+ type CompanionStruct_SuccessfulRead_ struct

+ func (CompanionStruct_SuccessfulRead_) Create_SuccessfulRead_(Data interface{}, Tail ReadableBuffer) SuccessfulRead

+ func (CompanionStruct_SuccessfulRead_) Default(_default_T interface{}) SuccessfulRead

+ type Data_ReadProblems_ interface

+ type Data_ReadableBuffer_ interface

+ type Data_SuccessfulRead_ 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 Dummy__ struct

+ type MoreNeeded struct

+ func New_MoreNeeded_() *MoreNeeded

+ func (*MoreNeeded) String() string

+ type ReadProblems struct

+ func (_this ReadProblems) Dtor_message() _dafny.Sequence

+ func (_this ReadProblems) Dtor_pos() _dafny.Int

+ func (_this ReadProblems) Equals(other ReadProblems) bool

+ func (_this ReadProblems) EqualsGeneric(other interface{}) bool

+ func (_this ReadProblems) Get_() Data_ReadProblems_

+ func (_this ReadProblems) Is_Error() bool

+ func (_this ReadProblems) Is_MoreNeeded() bool

+ func (_this ReadProblems) ParentTraits_() []*_dafny.TraitID

+ func (_this ReadProblems) String() string

+ type ReadProblems_Error struct

+ Message _dafny.Sequence

+ type ReadProblems_MoreNeeded struct

+ Pos _dafny.Int

+ type ReadableBuffer struct

+ func (_this ReadableBuffer) Dtor_bytes() _dafny.Sequence

+ func (_this ReadableBuffer) Dtor_start() _dafny.Int

+ func (_this ReadableBuffer) Equals(other ReadableBuffer) bool

+ func (_this ReadableBuffer) EqualsGeneric(other interface{}) bool

+ func (_this ReadableBuffer) Get_() Data_ReadableBuffer_

+ func (_this ReadableBuffer) Is_ReadableBuffer() bool

+ func (_this ReadableBuffer) ParentTraits_() []*_dafny.TraitID

+ func (_this ReadableBuffer) String() string

+ type ReadableBuffer_ReadableBuffer struct

+ Bytes _dafny.Sequence

+ Start _dafny.Int

+ type SuccessfulRead struct

+ func (_this SuccessfulRead) Dtor_data() interface{}

+ func (_this SuccessfulRead) Dtor_tail() ReadableBuffer

+ func (_this SuccessfulRead) Equals(other SuccessfulRead) bool

+ func (_this SuccessfulRead) EqualsGeneric(other interface{}) bool

+ func (_this SuccessfulRead) Get_() Data_SuccessfulRead_

+ func (_this SuccessfulRead) Is_SuccessfulRead() bool

+ func (_this SuccessfulRead) ParentTraits_() []*_dafny.TraitID

+ func (_this SuccessfulRead) String() string

+ type SuccessfulRead_SuccessfulRead struct

+ Data interface{}

+ Tail ReadableBuffer