Safe Haskell	None
Language	Haskell2010

Avers.Types

Synopsis

Documentation

class Pk a where Source

Pk - Types which can be converted to a database primary key.

Methods

toPk :: a -> Text Source

Instances

Pk Text
Pk ObjectId
Pk RevId
Pk ObjId
Pk Object
Pk Patch
Pk Snapshot
Pk Secret
Pk SecretId
Pk Blob
Pk BlobId
Pk Session
Pk SessionId
Pk (Record a)

newtype Path Source

Path

Constructors

Path
Fields unPath :: Text

Instances

Eq Path
Ord Path
Show Path
IsString Path
ToJSON Path
FromJSON Path
ToDatum Path
FromDatum Path

newtype ObjId Source

ObjId

Constructors

ObjId
Fields unObjId :: Text

Instances

Eq ObjId
Ord ObjId
Show ObjId
ToJSON ObjId
FromJSON ObjId
ToDatum ObjId
FromDatum ObjId
Pk ObjId

rootObjId :: ObjId Source

The root object id is used for object created internally or when there is no applicable creator.

newtype RevId Source

RevId

Constructors

RevId
Fields unRevId :: Int

Instances

Enum RevId
Eq RevId
Ord RevId
Show RevId
ToJSON RevId
FromJSON RevId
ToDatum RevId
FromDatum RevId
Pk RevId

zeroRevId :: RevId Source

The RevId which is used for the initial snapshot.

data ObjectId Source

ObjectId

Constructors

BaseObjectId !ObjId	The base object whose snapshots contain the actual content.
ReleaseObjectId !ObjId !RevId	An object describing a particualar release of the base object.
AuthorizationObjectId !ObjId	Object which contains authorization rules.

Instances

Eq ObjectId
Ord ObjectId
Show ObjectId
ToJSON ObjectId
FromJSON ObjectId
ToDatum ObjectId
FromDatum ObjectId
Pk ObjectId

objectIdParser :: Parser ObjectId Source

parseObjectId :: Text -> Maybe ObjectId Source

objectIdBase :: ObjectId -> ObjId Source

data Operation Source

The operations that can be applied to JSON values.

Constructors

Set	Set is applied to `Object`s. It is used for adding, updating and deleting properties from the object.
Fields opPath :: !Path opValue :: !(Maybe Value)
Splice	Splice is used to manipulate `Array`s. It can remove and insert multiple elements in a single operation.
Fields opPath :: !Path opIndex :: !Int opRemove :: !Int opInsert :: ![Value]

Instances

Eq Operation
Show Operation
ToJSON Operation
FromJSON Operation
ToDatum Operation
FromDatum Operation

data PatchError Source

Constructors

UnknownPatchError !Text

Instances

Show PatchError

type PatchM a = Either PatchError a Source

data Object Source

Constructors

Object
Fields objectId :: !ObjId objectType :: !Text objectCreatedAt :: !UTCTime objectCreatedBy :: !ObjId objectDeleted :: !(Maybe Bool)

Instances

Show Object
ToJSON Object
FromJSON Object
ToDatum Object
FromDatum Object
Pk Object

data Patch Source

Patch

Constructors

Patch
Fields patchObjectId :: !ObjectId patchRevisionId :: !RevId patchAuthorId :: !ObjId patchCreatedAt :: !UTCTime patchOperation :: !Operation

Instances

Show Patch
ToJSON Patch
FromJSON Patch
ToDatum Patch
FromDatum Patch
Pk Patch

data Snapshot Source

Snapshot

Constructors

Snapshot
Fields snapshotObjectId :: !ObjectId snapshotRevisionId :: !RevId snapshotContent :: !Value

Instances

Show Snapshot
ToJSON Snapshot
FromJSON Snapshot
ToDatum Snapshot
FromDatum Snapshot
Pk Snapshot

data Release Source

Release

Constructors

Release

Instances

ToJSON Release
FromJSON Release

(deriveJSONOptions "release") ''Release)

newtype SecretId Source

SecretId

Constructors

SecretId
Fields unSecretId :: Text

Instances

Show SecretId
ToJSON SecretId
FromJSON SecretId
ToDatum SecretId
FromDatum SecretId
Pk SecretId

data Secret Source

Secret

Constructors

Secret
Fields secretId :: !SecretId secretValue :: !Text

Instances

ToJSON Secret
FromJSON Secret
ToDatum Secret
FromDatum Secret
Pk Secret

newtype BlobId Source

BlobId

Constructors

BlobId
Fields unBlobId :: Text

Instances

Show BlobId
ToJSON BlobId
FromJSON BlobId
ToDatum BlobId
FromDatum BlobId
Pk BlobId

data Blob Source

Blob

Constructors

Blob
Fields blobId :: !BlobId blobSize :: !Int blobContentType :: !Text

Instances

Show Blob
ToJSON Blob
FromJSON Blob
ToDatum Blob
FromDatum Blob
Pk Blob

newtype SessionId Source

SessionId

Constructors

SessionId
Fields unSessionId :: Text

Instances

ToJSON SessionId
FromJSON SessionId
ToDatum SessionId
FromDatum SessionId
Pk SessionId

data Session Source

The record that is stored in the database.

Constructors

Session
Fields sessionId :: !SessionId sessionAccountId :: !ObjId sessionCreatedAt :: !UTCTime sessionLastAccessedAt :: !UTCTime

Instances

ToJSON Session
FromJSON Session
ToDatum Session
FromDatum Session
Pk Session

data AversError Source

Constructors

InternalError !AversError
DatabaseError !Text
PatchError !PatchError
ParseError !Value !Text
UnknownObjectType !Text
ObjectNotFound !ObjId
DocumentNotFound !Text
AversError !Text
NotAuthorized

Instances

Show AversError
MonadError AversError Avers

internalError :: AversError -> Avers a Source

internal :: Avers a -> Avers a Source

databaseError :: Text -> Avers a Source

patchError :: PatchError -> Avers a Source

parseError :: MonadError AversError m => Value -> Text -> m a Source

documentNotFound :: Text -> Avers a Source

strErr :: String -> Avers a Source

data ObjectType a Source

An ObjectType describes a particular type of object that is managed by Avers.

Constructors

ObjectType
Fields otType :: !Text The value of the `type` field of the `Object`. otId :: Avers ObjId Action which generates a new id. This is so that object types can have different strategies how to generate ids. otViews :: [SomeView a]

data SomeObjectType where Source

Constructors

SomeObjectType :: (ToDatum a, FromDatum a, FromJSON a, ToJSON a) => ObjectType a -> SomeObjectType

parseValueAs :: FromJSON a => ObjectType a -> Value -> Either AversError a Source

data AversConfig Source

Configuration of the Avers monad.

Constructors

AversConfig

Fields

databaseHost :: !Text

The hostname where RethinkDB is running. The port is currently not configurable.

databaseName :: !Text

RethinkDB supports multiple databases. This is the name of the one which should be used.

influxConfig :: !(Maybe Config)

The influx server where avers reports metrics to.

putBlob :: BlobId -> Text -> ByteString -> IO ()

Function which saves the given blob in the blob store. This can be the local filesystem or an external services such as Amazon S3.

TODO: Propagate errors back to the caller.

objectTypes :: ![SomeObjectType]

All the object types which Avers knows about.

data AversState Source

Constructors

AversState
Fields config :: !AversConfig A reference to the config, just in case we need it. databaseHandlePool :: !(Pool Handle) A pool of handles which are used to access the database. recentRevisionCache :: !(TVar (Map ObjectId RevId)) Map from `ObjectId` to a recent `RevId`. It may be the latest or a few revisions behind.

Instances

MonadState AversState Avers

newDatabaseHandlePool :: AversConfig -> IO (Pool Handle) Source

newState :: AversConfig -> IO AversState Source

newtype Avers a Source

Constructors

Avers
Fields runAvers :: StateT AversState (ExceptT AversError IO) a

Instances

Monad Avers
Functor Avers
Applicative Avers
MonadIO Avers
MonadAvers Avers
MonadError AversError Avers
MonadState AversState Avers

class Monad m => MonadAvers m where Source

Methods

liftAvers :: Avers a -> m a Source

Instances

MonadAvers Avers
MonadAvers m => MonadAvers (StateT s m)

evalAvers :: AversState -> Avers a -> IO (Either AversError a) Source

data View obj a Source

Constructors

View
Fields viewName :: Text The table name is derived from the view name. Therefore it should be unique amongst all views. viewParser :: Datum -> Either AversError a Function which parses objects stored in this view. viewObjectTransformer :: obj -> Avers (Maybe a) Function which transforms an Avers Object into a type stored in the view. viewIndices :: [Index] Secondary indices defined on the view.

data SomeView obj where Source

Constructors

SomeView :: (ToDatum a, FromDatum a, FromJSON obj, ToJSON a) => View obj a -> SomeView obj