Polysemy.JSONFileKVStore

Documentation

newtype JSONParseException

Constructors

JSONParseException String

Instances

Eq JSONParseException

Defined in Polysemy.JSONFileKVStore

Methods

(==) :: JSONParseException -> JSONParseException -> Bool

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

Show JSONParseException

Defined in Polysemy.JSONFileKVStore

Methods

showsPrec :: Int -> JSONParseException -> ShowS

show :: JSONParseException -> String

showList :: [JSONParseException] -> ShowS

Generic JSONParseException

Defined in Polysemy.JSONFileKVStore

Associated Types

type Rep JSONParseException :: Type -> Type

Methods

from :: JSONParseException -> Rep JSONParseException x

to :: Rep JSONParseException x -> JSONParseException

Exception JSONParseException

Defined in Polysemy.JSONFileKVStore

Methods

toException :: JSONParseException -> SomeException

fromException :: SomeException -> Maybe JSONParseException

displayException :: JSONParseException -> String

type Rep JSONParseException

Defined in Polysemy.JSONFileKVStore

type Rep JSONParseException = D1 ('MetaData "JSONParseException" "Polysemy.JSONFileKVStore" "polysemy-kvstore-jsonfile-0.1.1.0-Jd4GRRqKlNqMgeNHOq0F1" 'True) (C1 ('MetaCons "JSONParseException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

runKVStoreAsJSONFileStore :: (Members '[Embed IO, Error JSONParseException] r, FromJSONKey k, ToJSONKey k, FromJSON v, ToJSON v, Ord k) => Path b File -> Sem (KVStore k v ': r) a -> Sem r a

Run a KVStore as a json file stored as a Map.

Since: 0.1.0.0

eitherDecodeOrCreate :: (ToJSON a, FromJSON a, MonadIO m) => Path b File -> a -> m (Either String a)