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

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 AversConfig

data AversState

newState

strErr

parseValueAs

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