Safe Haskell	None
Language	Haskell2010

Repo.DB

Contents

Orphan instances

Description

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

Documentation

newtype DBState Source #

Constructors

DBState AbsEnv

Instances

Show DBState Source #
Methods showsPrec :: Int -> DBState -> ShowS # show :: DBState -> String # showList :: [DBState] -> ShowS #
IsAcidic DBState Source #
Methods acidEvents :: [Event DBState] #
SafeCopy DBState Source #
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 Source #

openDB :: FilePath -> IO DB Source #

closeDB :: AcidState st -> IO () Source #

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

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

Orphan instances

SafeCopy AbsRef Source #
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 Source #
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 Source #
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 Source #
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 Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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 #