Imm.Database.JsonFile

Database interpreter based on a JSON file

Types

data CacheStatus

Constructors

Empty

Clean

Dirty

Instances

Eq CacheStatus

Methods

(==) :: CacheStatus -> CacheStatus -> Bool

(/=) :: CacheStatus -> CacheStatus -> Bool

Show CacheStatus

Methods

showsPrec :: Int -> CacheStatus -> ShowS

show :: CacheStatus -> String

showList :: [CacheStatus] -> ShowS

data JsonFileDatabase t

Constructors

JsonFileDatabase FilePath (Map (Key t) (Entry t)) CacheStatus

Instances

Pretty (JsonFileDatabase t)

Methods

pretty :: JsonFileDatabase t -> Doc

prettyList :: [JsonFileDatabase t] -> Doc

mkJsonFileDatabase :: Table t => FilePath -> JsonFileDatabase t

defaultDatabase :: Table t => IO (JsonFileDatabase t)

Default database is stored in $XDG_CONFIG_HOME/imm/feeds.json

data JsonException

Constructors

UnableDecode

Instances

Eq JsonException

Methods

(==) :: JsonException -> JsonException -> Bool

(/=) :: JsonException -> JsonException -> Bool

Show JsonException

Methods

showsPrec :: Int -> JsonException -> ShowS

show :: JsonException -> String

showList :: [JsonException] -> ShowS

Exception JsonException

Methods

toException :: JsonException -> SomeException

fromException :: SomeException -> Maybe JsonException

displayException :: JsonException -> String

Interpreter

mkCoDatabase :: (Table t, FromJSON (Key t), FromJSON (Entry t), ToJSON (Key t), ToJSON (Entry t), MonadIO m, MonadCatch m) => JsonFileDatabase t -> CoDatabaseF t m (JsonFileDatabase t)

Interpreter for DatabaseF

Low-level implementation

loadInCache :: (Table t, MonadIO m, MonadCatch m, FromJSON (Key t), FromJSON (Entry t)) => JsonFileDatabase t -> m (JsonFileDatabase t)

insert :: (Table t, MonadIO m, MonadCatch m, FromJSON (Key t), FromJSON (Entry t)) => JsonFileDatabase t -> [(Key t, Entry t)] -> m (JsonFileDatabase t)

insertInCache :: Table t => [(Key t, Entry t)] -> JsonFileDatabase t -> JsonFileDatabase t

update :: (Table t, MonadIO m, MonadCatch m, FromJSON (Key t), FromJSON (Entry t)) => JsonFileDatabase t -> Key t -> (Entry t -> Entry t) -> m (JsonFileDatabase t)

updateInCache :: Table t => Key t -> (Entry t -> Entry t) -> JsonFileDatabase t -> JsonFileDatabase t

delete :: (Table t, MonadIO m, MonadCatch m, FromJSON (Key t), FromJSON (Entry t)) => JsonFileDatabase t -> [Key t] -> m (JsonFileDatabase t)

deleteInCache :: Table t => [Key t] -> JsonFileDatabase t -> JsonFileDatabase t

purge :: (Table t, MonadIO m, MonadCatch m, FromJSON (Key t), FromJSON (Entry t)) => JsonFileDatabase t -> m (JsonFileDatabase t)

purgeInCache :: Table t => JsonFileDatabase t -> JsonFileDatabase t

commit :: (MonadIO m, ToJSON (Key t), ToJSON (Entry t)) => JsonFileDatabase t -> m (JsonFileDatabase t)