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_Bracketed_ = CompanionStruct_Bracketed_ + var Companion_Default___ = CompanionStruct_Default___ + var Companion_JKeyValue_ = CompanionStruct_JKeyValue_ + var Companion_Jblanks_ = CompanionStruct_Jblanks_ + var Companion_Jbool_ = CompanionStruct_Jbool_ + var Companion_Jchar_ = CompanionStruct_Jchar_ + var Companion_Jcolon_ = CompanionStruct_Jcolon_ + var Companion_Jcomma_ = CompanionStruct_Jcomma_ + var Companion_Jdigits_ = CompanionStruct_Jdigits_ + var Companion_Je_ = CompanionStruct_Je_ + var Companion_Jexp_ = CompanionStruct_Jexp_ + var Companion_Jfrac_ = CompanionStruct_Jfrac_ + var Companion_Jint_ = CompanionStruct_Jint_ + var Companion_Jlbrace_ = CompanionStruct_Jlbrace_ + var Companion_Jlbracket_ = CompanionStruct_Jlbracket_ + var Companion_Jminus_ = CompanionStruct_Jminus_ + var Companion_Jnull_ = CompanionStruct_Jnull_ + var Companion_Jnum_ = CompanionStruct_Jnum_ + var Companion_Jnumber_ = CompanionStruct_Jnumber_ + var Companion_Jperiod_ = CompanionStruct_Jperiod_ + var Companion_Jquote_ = CompanionStruct_Jquote_ + var Companion_Jrbrace_ = CompanionStruct_Jrbrace_ + var Companion_Jrbracket_ = CompanionStruct_Jrbracket_ + var Companion_Jsign_ = CompanionStruct_Jsign_ + var Companion_Jstr_ = CompanionStruct_Jstr_ + var Companion_Jstring_ = CompanionStruct_Jstring_ + var Companion_Maybe_ = CompanionStruct_Maybe_ + var Companion_Structural_ = CompanionStruct_Structural_ + var Companion_SuffixedSequence_ = CompanionStruct_SuffixedSequence_ + var Companion_Suffixed_ = CompanionStruct_Suffixed_ + var Companion_Value_ = CompanionStruct_Value_ + func Type_Bracketed_(Type_L_ _dafny.TypeDescriptor, Type_R_ _dafny.TypeDescriptor) _dafny.TypeDescriptor + func Type_JKeyValue_() _dafny.TypeDescriptor + func Type_Jblanks_() _dafny.TypeDescriptor + func Type_Jbool_() _dafny.TypeDescriptor + func Type_Jchar_() _dafny.TypeDescriptor + func Type_Jcolon_() _dafny.TypeDescriptor + func Type_Jcomma_() _dafny.TypeDescriptor + func Type_Jdigits_() _dafny.TypeDescriptor + func Type_Je_() _dafny.TypeDescriptor + func Type_Jexp_() _dafny.TypeDescriptor + func Type_Jfrac_() _dafny.TypeDescriptor + func Type_Jint_() _dafny.TypeDescriptor + func Type_Jlbrace_() _dafny.TypeDescriptor + func Type_Jlbracket_() _dafny.TypeDescriptor + func Type_Jminus_() _dafny.TypeDescriptor + func Type_Jnull_() _dafny.TypeDescriptor + func Type_Jnum_() _dafny.TypeDescriptor + func Type_Jnumber_() _dafny.TypeDescriptor + func Type_Jperiod_() _dafny.TypeDescriptor + func Type_Jquote_() _dafny.TypeDescriptor + func Type_Jrbrace_() _dafny.TypeDescriptor + func Type_Jrbracket_() _dafny.TypeDescriptor + func Type_Jsign_() _dafny.TypeDescriptor + func Type_Jstr_() _dafny.TypeDescriptor + func Type_Jstring_() _dafny.TypeDescriptor + func Type_Maybe_() _dafny.TypeDescriptor + func Type_Structural_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor + func Type_SuffixedSequence_(Type_D_ _dafny.TypeDescriptor, Type_S_ _dafny.TypeDescriptor) _dafny.TypeDescriptor + func Type_Suffixed_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor + func Type_Value_() _dafny.TypeDescriptor + type Bracketed struct + func (_this Bracketed) Dtor_data() _dafny.Sequence + func (_this Bracketed) Dtor_l() Structural + func (_this Bracketed) Dtor_r() Structural + func (_this Bracketed) Equals(other Bracketed) bool + func (_this Bracketed) EqualsGeneric(other interface{}) bool + func (_this Bracketed) Get_() Data_Bracketed_ + func (_this Bracketed) Is_Bracketed() bool + func (_this Bracketed) ParentTraits_() []*_dafny.TraitID + func (_this Bracketed) String() string + type Bracketed_Bracketed struct + Data _dafny.Sequence + L Structural + R Structural + type CompanionStruct_Bracketed_ struct + func (CompanionStruct_Bracketed_) Create_Bracketed_(L Structural, Data _dafny.Sequence, R Structural) Bracketed + func (CompanionStruct_Bracketed_) Default(_default_L interface{}, _default_R interface{}) Bracketed + type CompanionStruct_Default___ struct + func (_static *CompanionStruct_Default___) Blank_q(b uint8) bool + func (_static *CompanionStruct_Default___) COLON() m_JSON_Utils_Views_Core.View__ + func (_static *CompanionStruct_Default___) COMMA() m_JSON_Utils_Views_Core.View__ + func (_static *CompanionStruct_Default___) DOUBLEQUOTE() m_JSON_Utils_Views_Core.View__ + func (_static *CompanionStruct_Default___) Digit_q(b uint8) bool + func (_static *CompanionStruct_Default___) E() m_JSON_Utils_Views_Core.View__ + func (_static *CompanionStruct_Default___) EMPTY() m_JSON_Utils_Views_Core.View__ + func (_static *CompanionStruct_Default___) FALSE() _dafny.Sequence + func (_static *CompanionStruct_Default___) LBRACE() m_JSON_Utils_Views_Core.View__ + func (_static *CompanionStruct_Default___) LBRACKET() m_JSON_Utils_Views_Core.View__ + func (_static *CompanionStruct_Default___) MINUS() m_JSON_Utils_Views_Core.View__ + func (_static *CompanionStruct_Default___) NULL() _dafny.Sequence + func (_static *CompanionStruct_Default___) PERIOD() m_JSON_Utils_Views_Core.View__ + func (_static *CompanionStruct_Default___) RBRACE() m_JSON_Utils_Views_Core.View__ + func (_static *CompanionStruct_Default___) RBRACKET() m_JSON_Utils_Views_Core.View__ + func (_static *CompanionStruct_Default___) TRUE() _dafny.Sequence + type CompanionStruct_JKeyValue_ struct + func (CompanionStruct_JKeyValue_) Create_KeyValue_(K Jstring, Colon Structural, V Value) JKeyValue + func (CompanionStruct_JKeyValue_) Default() JKeyValue + type CompanionStruct_Jblanks_ struct + func (_this *CompanionStruct_Jblanks_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jbool_ struct + func (_this *CompanionStruct_Jbool_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jchar_ struct + func (_this *CompanionStruct_Jchar_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jcolon_ struct + func (_this *CompanionStruct_Jcolon_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jcomma_ struct + func (_this *CompanionStruct_Jcomma_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jdigits_ struct + func (_this *CompanionStruct_Jdigits_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Je_ struct + func (_this *CompanionStruct_Je_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jexp_ struct + func (CompanionStruct_Jexp_) Create_JExp_(E m_JSON_Utils_Views_Core.View__, Sign m_JSON_Utils_Views_Core.View__, ...) Jexp + func (CompanionStruct_Jexp_) Default() Jexp + type CompanionStruct_Jfrac_ struct + func (CompanionStruct_Jfrac_) Create_JFrac_(Period m_JSON_Utils_Views_Core.View__, Num m_JSON_Utils_Views_Core.View__) Jfrac + func (CompanionStruct_Jfrac_) Default() Jfrac + type CompanionStruct_Jint_ struct + func (_this *CompanionStruct_Jint_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jlbrace_ struct + func (_this *CompanionStruct_Jlbrace_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jlbracket_ struct + func (_this *CompanionStruct_Jlbracket_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jminus_ struct + func (_this *CompanionStruct_Jminus_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jnull_ struct + func (_this *CompanionStruct_Jnull_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jnum_ struct + func (_this *CompanionStruct_Jnum_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jnumber_ struct + func (CompanionStruct_Jnumber_) Create_JNumber_(Minus m_JSON_Utils_Views_Core.View__, Num m_JSON_Utils_Views_Core.View__, ...) Jnumber + func (CompanionStruct_Jnumber_) Default() Jnumber + type CompanionStruct_Jperiod_ struct + func (_this *CompanionStruct_Jperiod_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jquote_ struct + func (_this *CompanionStruct_Jquote_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jrbrace_ struct + func (_this *CompanionStruct_Jrbrace_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jrbracket_ struct + func (_this *CompanionStruct_Jrbracket_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jsign_ struct + func (_this *CompanionStruct_Jsign_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jstr_ struct + func (_this *CompanionStruct_Jstr_) Witness() m_JSON_Utils_Views_Core.View__ + type CompanionStruct_Jstring_ struct + func (CompanionStruct_Jstring_) Create_JString_(Lq m_JSON_Utils_Views_Core.View__, Contents m_JSON_Utils_Views_Core.View__, ...) Jstring + func (CompanionStruct_Jstring_) Default() Jstring + type CompanionStruct_Maybe_ struct + func (CompanionStruct_Maybe_) Create_Empty_() Maybe + func (CompanionStruct_Maybe_) Create_NonEmpty_(T interface{}) Maybe + func (CompanionStruct_Maybe_) Default() Maybe + type CompanionStruct_Structural_ struct + func (CompanionStruct_Structural_) Create_Structural_(Before m_JSON_Utils_Views_Core.View__, T interface{}, ...) Structural + func (CompanionStruct_Structural_) Default(_default_T interface{}) Structural + type CompanionStruct_SuffixedSequence_ struct + type CompanionStruct_Suffixed_ struct + func (CompanionStruct_Suffixed_) Create_Suffixed_(T interface{}, Suffix Maybe) Suffixed + func (CompanionStruct_Suffixed_) Default(_default_T interface{}) Suffixed + type CompanionStruct_Value_ struct + func (CompanionStruct_Value_) Create_Array_(Arr Bracketed) Value + func (CompanionStruct_Value_) Create_Bool_(B m_JSON_Utils_Views_Core.View__) Value + func (CompanionStruct_Value_) Create_Null_(N m_JSON_Utils_Views_Core.View__) Value + func (CompanionStruct_Value_) Create_Number_(Num Jnumber) Value + func (CompanionStruct_Value_) Create_Object_(Obj Bracketed) Value + func (CompanionStruct_Value_) Create_String_(Str Jstring) Value + func (CompanionStruct_Value_) Default() Value + type Data_Bracketed_ interface + type Data_JKeyValue_ interface + type Data_Jexp_ interface + type Data_Jfrac_ interface + type Data_Jnumber_ interface + type Data_Jstring_ interface + type Data_Maybe_ interface + type Data_Structural_ interface + type Data_Suffixed_ interface + type Data_Value_ 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 JKeyValue struct + func (_this JKeyValue) Dtor_colon() Structural + func (_this JKeyValue) Dtor_k() Jstring + func (_this JKeyValue) Dtor_v() Value + func (_this JKeyValue) Equals(other JKeyValue) bool + func (_this JKeyValue) EqualsGeneric(other interface{}) bool + func (_this JKeyValue) Get_() Data_JKeyValue_ + func (_this JKeyValue) Is_KeyValue() bool + func (_this JKeyValue) ParentTraits_() []*_dafny.TraitID + func (_this JKeyValue) String() string + type JKeyValue_KeyValue struct + Colon Structural + K Jstring + V Value + type Jblanks struct + func New_Jblanks_() *Jblanks + func (*Jblanks) String() string + type Jbool struct + func New_Jbool_() *Jbool + func (*Jbool) String() string + type Jchar struct + func New_Jchar_() *Jchar + func (*Jchar) String() string + type Jcolon struct + func New_Jcolon_() *Jcolon + func (*Jcolon) String() string + type Jcomma struct + func New_Jcomma_() *Jcomma + func (*Jcomma) String() string + type Jdigits struct + func New_Jdigits_() *Jdigits + func (*Jdigits) String() string + type Je struct + func New_Je_() *Je + func (*Je) String() string + type Jexp struct + func (_this Jexp) Dtor_e() m_JSON_Utils_Views_Core.View__ + func (_this Jexp) Dtor_num() m_JSON_Utils_Views_Core.View__ + func (_this Jexp) Dtor_sign() m_JSON_Utils_Views_Core.View__ + func (_this Jexp) Equals(other Jexp) bool + func (_this Jexp) EqualsGeneric(other interface{}) bool + func (_this Jexp) Get_() Data_Jexp_ + func (_this Jexp) Is_JExp() bool + func (_this Jexp) ParentTraits_() []*_dafny.TraitID + func (_this Jexp) String() string + type Jexp_JExp struct + E m_JSON_Utils_Views_Core.View__ + Num m_JSON_Utils_Views_Core.View__ + Sign m_JSON_Utils_Views_Core.View__ + type Jfrac struct + func (_this Jfrac) Dtor_num() m_JSON_Utils_Views_Core.View__ + func (_this Jfrac) Dtor_period() m_JSON_Utils_Views_Core.View__ + func (_this Jfrac) Equals(other Jfrac) bool + func (_this Jfrac) EqualsGeneric(other interface{}) bool + func (_this Jfrac) Get_() Data_Jfrac_ + func (_this Jfrac) Is_JFrac() bool + func (_this Jfrac) ParentTraits_() []*_dafny.TraitID + func (_this Jfrac) String() string + type Jfrac_JFrac struct + Num m_JSON_Utils_Views_Core.View__ + Period m_JSON_Utils_Views_Core.View__ + type Jint struct + func New_Jint_() *Jint + func (*Jint) String() string + type Jlbrace struct + func New_Jlbrace_() *Jlbrace + func (*Jlbrace) String() string + type Jlbracket struct + func New_Jlbracket_() *Jlbracket + func (*Jlbracket) String() string + type Jminus struct + func New_Jminus_() *Jminus + func (*Jminus) String() string + type Jnull struct + func New_Jnull_() *Jnull + func (*Jnull) String() string + type Jnum struct + func New_Jnum_() *Jnum + func (*Jnum) String() string + type Jnumber struct + func (_this Jnumber) Dtor_exp() Maybe + func (_this Jnumber) Dtor_frac() Maybe + func (_this Jnumber) Dtor_minus() m_JSON_Utils_Views_Core.View__ + func (_this Jnumber) Dtor_num() m_JSON_Utils_Views_Core.View__ + func (_this Jnumber) Equals(other Jnumber) bool + func (_this Jnumber) EqualsGeneric(other interface{}) bool + func (_this Jnumber) Get_() Data_Jnumber_ + func (_this Jnumber) Is_JNumber() bool + func (_this Jnumber) ParentTraits_() []*_dafny.TraitID + func (_this Jnumber) String() string + type Jnumber_JNumber struct + Exp Maybe + Frac Maybe + Minus m_JSON_Utils_Views_Core.View__ + Num m_JSON_Utils_Views_Core.View__ + type Jperiod struct + func New_Jperiod_() *Jperiod + func (*Jperiod) String() string + type Jquote struct + func New_Jquote_() *Jquote + func (*Jquote) String() string + type Jrbrace struct + func New_Jrbrace_() *Jrbrace + func (*Jrbrace) String() string + type Jrbracket struct + func New_Jrbracket_() *Jrbracket + func (*Jrbracket) String() string + type Jsign struct + func New_Jsign_() *Jsign + func (*Jsign) String() string + type Jstr struct + func New_Jstr_() *Jstr + func (*Jstr) String() string + type Jstring struct + func (_this Jstring) Dtor_contents() m_JSON_Utils_Views_Core.View__ + func (_this Jstring) Dtor_lq() m_JSON_Utils_Views_Core.View__ + func (_this Jstring) Dtor_rq() m_JSON_Utils_Views_Core.View__ + func (_this Jstring) Equals(other Jstring) bool + func (_this Jstring) EqualsGeneric(other interface{}) bool + func (_this Jstring) Get_() Data_Jstring_ + func (_this Jstring) Is_JString() bool + func (_this Jstring) ParentTraits_() []*_dafny.TraitID + func (_this Jstring) String() string + type Jstring_JString struct + Contents m_JSON_Utils_Views_Core.View__ + Lq m_JSON_Utils_Views_Core.View__ + Rq m_JSON_Utils_Views_Core.View__ + type Maybe struct + func (_this Maybe) Dtor_t() interface{} + func (_this Maybe) Equals(other Maybe) bool + func (_this Maybe) EqualsGeneric(other interface{}) bool + func (_this Maybe) Get_() Data_Maybe_ + func (_this Maybe) Is_Empty() bool + func (_this Maybe) Is_NonEmpty() bool + func (_this Maybe) ParentTraits_() []*_dafny.TraitID + func (_this Maybe) String() string + type Maybe_Empty struct + type Maybe_NonEmpty struct + T interface{} + type Structural struct + func (_this Structural) Dtor_after() m_JSON_Utils_Views_Core.View__ + func (_this Structural) Dtor_before() m_JSON_Utils_Views_Core.View__ + func (_this Structural) Dtor_t() interface{} + func (_this Structural) Equals(other Structural) bool + func (_this Structural) EqualsGeneric(other interface{}) bool + func (_this Structural) Get_() Data_Structural_ + func (_this Structural) Is_Structural() bool + func (_this Structural) ParentTraits_() []*_dafny.TraitID + func (_this Structural) String() string + type Structural_Structural struct + After m_JSON_Utils_Views_Core.View__ + Before m_JSON_Utils_Views_Core.View__ + T interface{} + type Suffixed struct + func (_this Suffixed) Dtor_suffix() Maybe + func (_this Suffixed) Dtor_t() interface{} + func (_this Suffixed) Equals(other Suffixed) bool + func (_this Suffixed) EqualsGeneric(other interface{}) bool + func (_this Suffixed) Get_() Data_Suffixed_ + func (_this Suffixed) Is_Suffixed() bool + func (_this Suffixed) ParentTraits_() []*_dafny.TraitID + func (_this Suffixed) String() string + type SuffixedSequence struct + func New_SuffixedSequence_() *SuffixedSequence + func (*SuffixedSequence) String() string + type Suffixed_Suffixed struct + Suffix Maybe + T interface{} + type Value struct + func (_this Value) Dtor_arr() Bracketed + func (_this Value) Dtor_b() m_JSON_Utils_Views_Core.View__ + func (_this Value) Dtor_n() m_JSON_Utils_Views_Core.View__ + func (_this Value) Dtor_num() Jnumber + func (_this Value) Dtor_obj() Bracketed + func (_this Value) Dtor_str() Jstring + func (_this Value) Equals(other Value) bool + func (_this Value) EqualsGeneric(other interface{}) bool + func (_this Value) Get_() Data_Value_ + func (_this Value) Is_Array() bool + func (_this Value) Is_Bool() bool + func (_this Value) Is_Null() bool + func (_this Value) Is_Number() bool + func (_this Value) Is_Object() bool + func (_this Value) Is_String() bool + func (_this Value) ParentTraits_() []*_dafny.TraitID + func (_this Value) String() string + type Value_Array struct + Arr Bracketed + type Value_Bool struct + B m_JSON_Utils_Views_Core.View__ + type Value_Null struct + N m_JSON_Utils_Views_Core.View__ + type Value_Number struct + Num Jnumber + type Value_Object struct + Obj Bracketed + type Value_String struct + Str Jstring
Go to main page