Documentation

Cryptlib.Protocols.GroupComm.GroupChatKatzenqt1.Member.Walk

Walking a stream to an acknowledged box #

What a client does for Effect.walk and Effect.deriveIndexes, given how to step from one box's index to the next: by BACAP itself, or by asking the client daemon.

source
def Cryptlib.Protocols.GroupComm.GroupChatKatzenqt1.Member.walkLimit :
Nat

How far ahead a walk reaches.

Equations
Instances For
    source
    def Cryptlib.Protocols.GroupComm.GroupChatKatzenqt1.Member.walkWith {m : Type → Type} [Monad m] (next : Index → m Index) (start : Index) (targets : List Nat) (keep : Nat) :
    m (Option Index × List Index × Nat)

    The box at the furthest of targets fewer than walkLimit boxes ahead of start, the last keep indexes before it (all for keep = 0), and the step count: the answer to Effect.walk.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Cryptlib.Protocols.GroupComm.GroupChatKatzenqt1.Member.deriveWith {m : Type → Type} [Monad m] (next : Index → m Index) (start : Index) :
      Nat → m (List Index)

      count indexes after start: the answer to Effect.deriveIndexes.

      Equations
      Instances For