Repo.DB

A persistent repository for absolute types, based on acid-state

Documentation

newtype DBState

Constructors

DBState AbsEnv

Instances

Show DBState

Methods

showsPrec :: Int -> DBState -> ShowS

show :: DBState -> String

showList :: [DBState] -> ShowS

IsAcidic DBState

Methods

acidEvents :: [Event DBState]

SafeCopy DBState

Methods

version :: Version DBState

kind :: Kind DBState

getCopy :: Contained (Get DBState)

putCopy :: DBState -> Contained Put

internalConsistency :: Consistency DBState

objectProfile :: Profile DBState

errorTypeName :: Proxy DBState -> String

wholeDB :: DB -> IO DBState

openDB :: FilePath -> IO DB

closeDB :: AcidState st -> IO ()

getDB :: DB -> AbsRef -> IO (Maybe AbsADT)

putDB :: DB -> AbsRef -> AbsADT -> IO ()

Orphan instances

SafeCopy AbsRef

Methods

version :: Version AbsRef

kind :: Kind AbsRef

getCopy :: Contained (Get AbsRef)

putCopy :: AbsRef -> Contained Put

internalConsistency :: Consistency AbsRef

objectProfile :: Profile AbsRef

errorTypeName :: Proxy AbsRef -> String

SafeCopy Identifier

Methods

version :: Version Identifier

kind :: Kind Identifier

getCopy :: Contained (Get Identifier)

putCopy :: Identifier -> Contained Put

internalConsistency :: Consistency Identifier

objectProfile :: Profile Identifier

errorTypeName :: Proxy Identifier -> String

SafeCopy UnicodeLetterOrNumberOrLine

Methods

version :: Version UnicodeLetterOrNumberOrLine

kind :: Kind UnicodeLetterOrNumberOrLine

getCopy :: Contained (Get UnicodeLetterOrNumberOrLine)

putCopy :: UnicodeLetterOrNumberOrLine -> Contained Put

internalConsistency :: Consistency UnicodeLetterOrNumberOrLine

objectProfile :: Profile UnicodeLetterOrNumberOrLine

errorTypeName :: Proxy UnicodeLetterOrNumberOrLine -> String

SafeCopy UnicodeLetter

Methods

version :: Version UnicodeLetter

kind :: Kind UnicodeLetter

getCopy :: Contained (Get UnicodeLetter)

putCopy :: UnicodeLetter -> Contained Put

internalConsistency :: Consistency UnicodeLetter

objectProfile :: Profile UnicodeLetter

errorTypeName :: Proxy UnicodeLetter -> String

SafeCopy UnicodeSymbol

Methods

version :: Version UnicodeSymbol

kind :: Kind UnicodeSymbol

getCopy :: Contained (Get UnicodeSymbol)

putCopy :: UnicodeSymbol -> Contained Put

internalConsistency :: Consistency UnicodeSymbol

objectProfile :: Profile UnicodeSymbol

errorTypeName :: Proxy UnicodeSymbol -> String

SafeCopy ref0 => SafeCopy (Type ref0)

Methods

version :: Version (Type ref0)

kind :: Kind (Type ref0)

getCopy :: Contained (Get (Type ref0))

putCopy :: Type ref0 -> Contained Put

internalConsistency :: Consistency (Type ref0)

objectProfile :: Profile (Type ref0)

errorTypeName :: Proxy (Type ref0) -> String

SafeCopy a0 => SafeCopy (SHA3_256_6 a0)

Methods

version :: Version (SHA3_256_6 a0)

kind :: Kind (SHA3_256_6 a0)

getCopy :: Contained (Get (SHA3_256_6 a0))

putCopy :: SHA3_256_6 a0 -> Contained Put

internalConsistency :: Consistency (SHA3_256_6 a0)

objectProfile :: Profile (SHA3_256_6 a0)

errorTypeName :: Proxy (SHA3_256_6 a0) -> String

SafeCopy a0 => SafeCopy (SHAKE128_48 a0)

Methods

version :: Version (SHAKE128_48 a0)

kind :: Kind (SHAKE128_48 a0)

getCopy :: Contained (Get (SHAKE128_48 a0))

putCopy :: SHAKE128_48 a0 -> Contained Put

internalConsistency :: Consistency (SHAKE128_48 a0)

objectProfile :: Profile (SHAKE128_48 a0)

errorTypeName :: Proxy (SHAKE128_48 a0) -> String

SafeCopy r0 => SafeCopy (ADTRef r0)

Methods

version :: Version (ADTRef r0)

kind :: Kind (ADTRef r0)

getCopy :: Contained (Get (ADTRef r0))

putCopy :: ADTRef r0 -> Contained Put

internalConsistency :: Consistency (ADTRef r0)

objectProfile :: Profile (ADTRef r0)

errorTypeName :: Proxy (ADTRef r0) -> String

SafeCopy a0 => SafeCopy (NonEmptyList a0)

Methods

version :: Version (NonEmptyList a0)

kind :: Kind (NonEmptyList a0)

getCopy :: Contained (Get (NonEmptyList a0))

putCopy :: NonEmptyList a0 -> Contained Put

internalConsistency :: Consistency (NonEmptyList a0)

objectProfile :: Profile (NonEmptyList a0)

errorTypeName :: Proxy (NonEmptyList a0) -> String

(SafeCopy name0, SafeCopy ref0) => SafeCopy (ConTree name0 ref0)

Methods

version :: Version (ConTree name0 ref0)

kind :: Kind (ConTree name0 ref0)

getCopy :: Contained (Get (ConTree name0 ref0))

putCopy :: ConTree name0 ref0 -> Contained Put

internalConsistency :: Consistency (ConTree name0 ref0)

objectProfile :: Profile (ConTree name0 ref0)

errorTypeName :: Proxy (ConTree name0 ref0) -> String

(SafeCopy name0, SafeCopy consName0, SafeCopy ref0) => SafeCopy (ADT name0 consName0 ref0)

Methods

version :: Version (ADT name0 consName0 ref0)

kind :: Kind (ADT name0 consName0 ref0)

getCopy :: Contained (Get (ADT name0 consName0 ref0))

putCopy :: ADT name0 consName0 ref0 -> Contained Put

internalConsistency :: Consistency (ADT name0 consName0 ref0)

objectProfile :: Profile (ADT name0 consName0 ref0)

errorTypeName :: Proxy (ADT name0 consName0 ref0) -> String