bend-kit-commands

Releases (5)

• 0.4.0.0 indexed
• 0.3.0.0 unindexed
• 0.2.0.1 unindexed
• 0.2.0.0 unindexed
• 0.1.0.0 unindexed

Definitions (59)

commands.bend

• type Outcome
• type RecordWhat the store keeps for one command id: its payload, its outcome, and when it was recorded.
• type Reply
• type DecisionThe domain's answer to a new command.
• type StepWrite: commit the state, the record, and the effects together.
• def accepted
• def refused
• def decided
• def fresh
• def replayed
• def stepOne command, given the record that the store holds for its id and the domain state s.
• def Run
• def Run.pure
• def Run.fail
• def Run.next
• def Run.bind
• def firstr's value, unless r or then z failed.
• def unit
• def execSteps a statement and ignores any row, then resets it, also after a failed step.
• def once.run
• def oncePrepares one statement, runs body on it, and finalizes it, also after body fails.
• def sql
• def blob.of
• def column
• def bind
• def same.of
• def sameThe payload comparison that handle gives step: every byte, NUL included.
• type RowA row of the store's key-value table.
• type StoreA database and its prepared statements.
• def openOpens or creates the tables at path.
• def close
• def outcome
• def seen.row
• def seen.getThe record for id, if the store holds one.
• def row.of
• def row.getThe value at key k, if a row holds it.
• def row.at
• def rows.getOne row for each key, in order.
• def seen.put.row
• def seen.put.of
• def seen.put
• def outbox.put
• def row.put
• def rows.putWrites the rows in order, so a later row for a key wins.
• def writtenApplies a step inside the open transaction, then commits it.
• def handle.new
• def handle.foundA duplicate reads no rows: step ignores them when found is Some.
• def handle.txn
• def handle.endOn failure, resets the read statements and rolls back.
• def handleRuns one command in one transaction: find its record, read the rows that keys names, decide, and commit rows, record, and effects.
• def getThe committed value at key k.
• def prune.run
• def pruneForgets every record made before the time before.
• type PendingAn undelivered effect: its sequence number, its command id, and the effect.
• def outbox.row
• def outbox.first
• def outbox.nextThe oldest undelivered effect.
• def outbox.ack.run
• def outbox.ackRemoves a delivered effect.