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_ByteReader_ = CompanionStruct_ByteReader_ + var Companion_ByteWriter_ = CompanionStruct_ByteWriter_ + var Companion_SeqReader_ = CompanionStruct_SeqReader_ + var Companion_SeqWriter_ = CompanionStruct_SeqWriter_ + func Type_ByteReader_() _dafny.TypeDescriptor + func Type_ByteWriter_() _dafny.TypeDescriptor + func Type_SeqReader_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor + func Type_SeqWriter_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor + type ByteReader struct + func New_ByteReader_() *ByteReader + func (*ByteReader) String() string + func (_this *ByteReader) Ctor__(s _dafny.Sequence) + func (_this *ByteReader) Equals(other *ByteReader) bool + func (_this *ByteReader) EqualsGeneric(x interface{}) bool + func (_this *ByteReader) GetSizeRead() _dafny.Int + func (_this *ByteReader) IsDoneReading() bool + func (_this *ByteReader) ParentTraits_() []*_dafny.TraitID + func (_this *ByteReader) ReadByte() m_Wrappers.Result + func (_this *ByteReader) ReadBytes(n _dafny.Int) m_Wrappers.Result + func (_this *ByteReader) ReadUInt16() m_Wrappers.Result + func (_this *ByteReader) ReadUInt32() m_Wrappers.Result + func (_this *ByteReader) ReadUInt64() m_Wrappers.Result + func (_this *ByteReader) Reader() *SeqReader + type ByteWriter struct + func New_ByteWriter_() *ByteWriter + func (*ByteWriter) String() string + func (_this *ByteWriter) Ctor__() + func (_this *ByteWriter) Equals(other *ByteWriter) bool + func (_this *ByteWriter) EqualsGeneric(x interface{}) bool + func (_this *ByteWriter) GetDataWritten() _dafny.Sequence + func (_this *ByteWriter) GetSizeWritten() _dafny.Int + func (_this *ByteWriter) ParentTraits_() []*_dafny.TraitID + func (_this *ByteWriter) WriteByte(n uint8) _dafny.Int + func (_this *ByteWriter) WriteBytes(s _dafny.Sequence) _dafny.Int + func (_this *ByteWriter) WriteUInt16(n uint16) _dafny.Int + func (_this *ByteWriter) WriteUInt32(n uint32) _dafny.Int + func (_this *ByteWriter) Writer() *SeqWriter + type CompanionStruct_ByteReader_ struct + type CompanionStruct_ByteWriter_ struct + type CompanionStruct_SeqReader_ struct + type CompanionStruct_SeqWriter_ struct + type Dummy__ struct + type SeqReader struct + Pos _dafny.Int + func New_SeqReader_() *SeqReader + func (*SeqReader) String() string + func (_this *SeqReader) Ctor__(s _dafny.Sequence) + func (_this *SeqReader) Data() _dafny.Sequence + func (_this *SeqReader) Equals(other *SeqReader) bool + func (_this *SeqReader) EqualsGeneric(x interface{}) bool + func (_this *SeqReader) ParentTraits_() []*_dafny.TraitID + func (_this *SeqReader) ReadElements(n _dafny.Int) _dafny.Sequence + func (_this *SeqReader) ReadExact(n _dafny.Int) m_Wrappers.Result + type SeqWriter struct + Data _dafny.Sequence + func New_SeqWriter_() *SeqWriter + func (*SeqWriter) String() string + func (_this *SeqWriter) Ctor__() + func (_this *SeqWriter) Equals(other *SeqWriter) bool + func (_this *SeqWriter) EqualsGeneric(x interface{}) bool + func (_this *SeqWriter) ParentTraits_() []*_dafny.TraitID + func (_this *SeqWriter) WriteElements(elems _dafny.Sequence) _dafny.Int
Go to main page