imt

Documentation

Index

• type Exclusion
  • func (v Exclusion) Run(api frontend.API)
• type Inclusion
  • func (v Inclusion) Run(api frontend.API)
• type Insert
  • func (p Insert) NewRoot(api frontend.API) frontend.Variable
• type InsertWithVerify
  • func (p InsertWithVerify) NewRoot(api frontend.API) frontend.Variable
• type Mutate
  • func (p Mutate) NewRoot(api frontend.API) frontend.Variable
• type MutateWithVerify
  • func (p MutateWithVerify) NewRoot(api frontend.API) frontend.Variable
• type Update
  • func (p Update) NewRoot(api frontend.API) frontend.Variable
• type UpdateWithVerify
  • func (p UpdateWithVerify) NewRoot(api frontend.API) frontend.Variable
• type Verify
  • func (v Verify) Run(api frontend.API)

Types

type Exclusion

type Exclusion struct {
	Enabled    frontend.Variable
	Root       frontend.Variable
	Size       frontend.Variable
	Key        frontend.Variable
	Index      frontend.Variable
	LowKey     frontend.Variable
	LowValue   frontend.Variable
	LowNextKey frontend.Variable
	Siblings   []frontend.Variable
}

func (Exclusion) Run

func (v Exclusion) Run(api frontend.API)

type Inclusion

type Inclusion struct {
	Enabled  frontend.Variable
	Root     frontend.Variable
	Size     frontend.Variable
	Key      frontend.Variable
	Value    frontend.Variable
	Index    frontend.Variable
	NextKey  frontend.Variable
	Siblings []frontend.Variable
}

func (Inclusion) Run

func (v Inclusion) Run(api frontend.API)

type Insert

type Insert struct {
	Enabled     frontend.Variable
	OldSize     frontend.Variable
	OldRoot     frontend.Variable
	Key         frontend.Variable
	Value       frontend.Variable
	NextKey     frontend.Variable
	Siblings    []frontend.Variable
	LowKey      frontend.Variable
	LowValue    frontend.Variable
	LowIndex    frontend.Variable
	LowSiblings []frontend.Variable
}

func (Insert) NewRoot

func (p Insert) NewRoot(api frontend.API) frontend.Variable

type InsertWithVerify

type InsertWithVerify struct {
	Insert
	OldSiblings []frontend.Variable
}

func (InsertWithVerify) NewRoot

func (p InsertWithVerify) NewRoot(api frontend.API) frontend.Variable

type Mutate

type Mutate struct {
	Enabled     frontend.Variable
	OldSize     frontend.Variable // updates: use Size
	OldRoot     frontend.Variable
	Key         frontend.Variable
	Value       frontend.Variable
	NextKey     frontend.Variable
	Siblings    []frontend.Variable
	LowKey      frontend.Variable   // updates: same as Key
	LowValue    frontend.Variable   // updates: use OldValue
	LowIndex    frontend.Variable   // updates: use Index
	LowSiblings []frontend.Variable // updates: same as Siblings
	Update      frontend.Variable
}

func (Mutate) NewRoot

func (p Mutate) NewRoot(api frontend.API) frontend.Variable

type MutateWithVerify

type MutateWithVerify struct {
	Mutate
	OldSiblings []frontend.Variable
}

func (MutateWithVerify) NewRoot

func (p MutateWithVerify) NewRoot(api frontend.API) frontend.Variable

type Update

type Update struct {
	Enabled  frontend.Variable
	Size     frontend.Variable
	OldRoot  frontend.Variable
	Key      frontend.Variable
	Value    frontend.Variable
	NextKey  frontend.Variable
	Index    frontend.Variable
	Siblings []frontend.Variable
}

func (Update) NewRoot

func (p Update) NewRoot(api frontend.API) frontend.Variable

type UpdateWithVerify

type UpdateWithVerify struct {
	Update
	OldValue frontend.Variable
}

func (UpdateWithVerify) NewRoot

func (p UpdateWithVerify) NewRoot(api frontend.API) frontend.Variable

type Verify

type Verify struct {
	Enabled   frontend.Variable
	Root      frontend.Variable
	Size      frontend.Variable
	Key       frontend.Variable
	Value     frontend.Variable // exclusion: use LowValue
	Index     frontend.Variable
	NextKey   frontend.Variable // exclusion: use LowNextKey
	LowKey    frontend.Variable // inclusion: use Key
	Siblings  []frontend.Variable
	Inclusion frontend.Variable
}

func (Verify) Run

func (v Verify) Run(api frontend.API)