Avers

The Avers Monad

data Avers a

evalAvers

Types

data Path

class Pk a

data ObjId

rootObjId

data RevId

zeroRevId

data ObjectId

data Operation

Object

data Object

exists

createObject

createObject'

lookupObject

deleteObject

pruneObject

objectsOfType

allObjectsOfType

createCheckpoint

vacuumObject

Patch

data Patch

data PatchError

lookupPatch

Snapshot

data Snapshot

lookupLatestSnapshot

objectContent

Release

data Release

lookupRelease

createRelease

lookupLatestRelease

Patching

resolvePathIn

Session

data SessionId

data Session

saveSession

lookupSession

dropSession

data ObjectType a

data SomeObjectType

lookupObjectType

data AversError

data Config

data Handle

newHandle

newState

strErr

parseValueAs

bootstrap

Blob

data BlobId

data Blob

createBlob

lookupBlob

Secret

data SecretId

data Secret

updateSecret

verifySecret

applyObjectUpdates

runQuery

runQueryCollect

parseValue

parseDatum

newId

objectsTable

blobsTable

validateObject

Views

data View obj a

data SomeView obj

viewTable

updateView

Index

data Index a

data SomeIndex

Metrics

data Measurement

measurementLabels

Change

data Change

changeChannel