Documentation

parseValue :: (FromJSON a, MonadError AversError m) => Value -> m a Source #

parseDatum :: (FromDatum a, MonadError AversError m) => Datum -> m a Source #

runQuery :: FromResponse (Result a) => Exp a -> Avers (Result a) Source #

runQueryDatum :: FromDatum a => Exp Datum -> Avers a Source #

runQuerySingleSelection :: FromDatum a => Exp SingleSelection -> Avers a Source #

runQueryCollect :: (FromDatum a, Result e ~ Sequence a) => Exp e -> Avers (Vector a) Source #

existsDocument :: Pk k => Exp Table -> k -> Avers Bool Source #

lookupDocument :: (Pk k, FromDatum a) => Exp Table -> k -> Avers (Maybe a) Source #

insertDocument :: (ToDatum a, Pk a) => Exp Table -> a -> Avers () Source #

upsertDocument :: (ToDatum a, Pk a) => Exp Table -> a -> Avers () Source #

deleteDocument :: Pk k => Exp Table -> k -> Avers () Source #