Dixi.Database

Documentation

data Database

Instances

IsAcidic Database

Methods

acidEvents :: [Event Database]

SafeCopy Database

Methods

version :: Version Database

kind :: Kind Database

getCopy :: Contained (Get Database)

putCopy :: Database -> Contained Put

internalConsistency :: Consistency Database

objectProfile :: Profile Database

errorTypeName :: Proxy Database -> String

emptyDB :: Database

data DixiError

Constructors

VersionNotFound Key Version

PatchNotApplicable Key

Instances

Show DixiError

Methods

showsPrec :: Int -> DixiError -> ShowS

show :: DixiError -> String

showList :: [DixiError] -> ShowS

data Amend

Constructors

Amend Key Version Text (Maybe Text) UTCTime

Instances

UpdateEvent Amend

Method Amend

Associated Types

type MethodResult Amend :: *

type MethodState Amend :: *

Methods

methodTag :: Amend -> Tag

SafeCopy Amend

Methods

version :: Version Amend

kind :: Kind Amend

getCopy :: Contained (Get Amend)

putCopy :: Amend -> Contained Put

internalConsistency :: Consistency Amend

objectProfile :: Profile Amend

errorTypeName :: Proxy Amend -> String

type MethodState Amend

type MethodState Amend = Database

type MethodResult Amend

type MethodResult Amend = Either DixiError Version

data GetDiff

Constructors

GetDiff Key (Version, Version)

Instances

QueryEvent GetDiff

Method GetDiff

Associated Types

type MethodResult GetDiff :: *

type MethodState GetDiff :: *

Methods

methodTag :: GetDiff -> Tag

SafeCopy GetDiff

Methods

version :: Version GetDiff

kind :: Kind GetDiff

getCopy :: Contained (Get GetDiff)

putCopy :: GetDiff -> Contained Put

internalConsistency :: Consistency GetDiff

objectProfile :: Profile GetDiff

errorTypeName :: Proxy GetDiff -> String

type MethodState GetDiff

type MethodState GetDiff = Database

type MethodResult GetDiff

type MethodResult GetDiff = Either DixiError (Page (Hunks Char))

newtype GetHistory

Constructors

GetHistory Key

Instances

QueryEvent GetHistory

Method GetHistory

Associated Types

type MethodResult GetHistory :: *

type MethodState GetHistory :: *

Methods

methodTag :: GetHistory -> Tag

SafeCopy GetHistory

Methods

version :: Version GetHistory

kind :: Kind GetHistory

getCopy :: Contained (Get GetHistory)

putCopy :: GetHistory -> Contained Put

internalConsistency :: Consistency GetHistory

objectProfile :: Profile GetHistory

errorTypeName :: Proxy GetHistory -> String

type MethodState GetHistory

type MethodState GetHistory = Database

type MethodResult GetHistory

type MethodResult GetHistory = [Page PatchSummary]

newtype GetLatest

Constructors

GetLatest Key

Instances

QueryEvent GetLatest

Method GetLatest

Associated Types

type MethodResult GetLatest :: *

type MethodState GetLatest :: *

Methods

methodTag :: GetLatest -> Tag

SafeCopy GetLatest

Methods

version :: Version GetLatest

kind :: Kind GetLatest

getCopy :: Contained (Get GetLatest)

putCopy :: GetLatest -> Contained Put

internalConsistency :: Consistency GetLatest

objectProfile :: Profile GetLatest

errorTypeName :: Proxy GetLatest -> String

type MethodState GetLatest

type MethodState GetLatest = Database

type MethodResult GetLatest

type MethodResult GetLatest = (Version, Page Text)

data GetVersion

Constructors

GetVersion Key Version

Instances

QueryEvent GetVersion

Method GetVersion

Associated Types

type MethodResult GetVersion :: *

type MethodState GetVersion :: *

Methods

methodTag :: GetVersion -> Tag

SafeCopy GetVersion

Methods

version :: Version GetVersion

kind :: Kind GetVersion

getCopy :: Contained (Get GetVersion)

putCopy :: GetVersion -> Contained Put

internalConsistency :: Consistency GetVersion

objectProfile :: Profile GetVersion

errorTypeName :: Proxy GetVersion -> String

type MethodState GetVersion

type MethodState GetVersion = Database

type MethodResult GetVersion

type MethodResult GetVersion = Either DixiError (Page Text)

data Revert

Constructors

Revert Key (Version, Version) (Maybe Text) UTCTime

Instances

UpdateEvent Revert

Method Revert

Associated Types

type MethodResult Revert :: *

type MethodState Revert :: *

Methods

methodTag :: Revert -> Tag

SafeCopy Revert

Methods

version :: Version Revert

kind :: Kind Revert

getCopy :: Contained (Get Revert)

putCopy :: Revert -> Contained Put

internalConsistency :: Consistency Revert

objectProfile :: Profile Revert

errorTypeName :: Proxy Revert -> String

type MethodState Revert

type MethodState Revert = Database

type MethodResult Revert

type MethodResult Revert = Either DixiError Version

Orphan instances

SafeCopy DixiError

Methods

version :: Version DixiError

kind :: Kind DixiError

getCopy :: Contained (Get DixiError)

putCopy :: DixiError -> Contained Put

internalConsistency :: Consistency DixiError

objectProfile :: Profile DixiError

errorTypeName :: Proxy DixiError -> String