Safe Haskell	Safe-Inferred
Language	Haskell2010

Polysemy.Db.Interpreter.Store

Documentation

newtype PureStore i a Source #

Constructors

PureStore
Fields records :: Map i (Uid i a)

Instances

Instances details

Ord i => Monoid (PureStore i a) Source #
Instance details Defined in Polysemy.Db.Interpreter.Store Methods mempty :: PureStore i a # mappend :: PureStore i a -> PureStore i a -> PureStore i a # mconcat :: [PureStore i a] -> PureStore i a #
Ord i => Semigroup (PureStore i a) Source #
Instance details Defined in Polysemy.Db.Interpreter.Store Methods (<>) :: PureStore i a -> PureStore i a -> PureStore i a # sconcat :: NonEmpty (PureStore i a) -> PureStore i a # stimes :: Integral b => b -> PureStore i a -> PureStore i a #
Generic (PureStore i a) Source #
Instance details Defined in Polysemy.Db.Interpreter.Store Associated Types type Rep (PureStore i a) :: Type -> Type # Methods from :: PureStore i a -> Rep (PureStore i a) x # to :: Rep (PureStore i a) x -> PureStore i a #
(Show i, Show a) => Show (PureStore i a) Source #
Instance details Defined in Polysemy.Db.Interpreter.Store Methods showsPrec :: Int -> PureStore i a -> ShowS # show :: PureStore i a -> String # showList :: [PureStore i a] -> ShowS #
Default (PureStore i a) Source #
Instance details Defined in Polysemy.Db.Interpreter.Store Methods def :: PureStore i a #
(Eq i, Eq a) => Eq (PureStore i a) Source #
Instance details Defined in Polysemy.Db.Interpreter.Store Methods (==) :: PureStore i a -> PureStore i a -> Bool # (/=) :: PureStore i a -> PureStore i a -> Bool #
type Rep (PureStore i a) Source #
Instance details Defined in Polysemy.Db.Interpreter.Store type Rep (PureStore i a) = D1 ('MetaData "PureStore" "Polysemy.Db.Interpreter.Store" "polysemy-db-0.0.1.0-EOjm8REiHHR4cimfBw4Ew6" 'True) (C1 ('MetaCons "PureStore" 'PrefixI 'True) (S1 ('MetaSel ('Just "records") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map i (Uid i a)))))

pureStore :: Ord i => [Uid i a] -> PureStore i a Source #

interpretStoreAtomicState :: forall i a r. Ord i => Show i => Member (AtomicState (PureStore i a)) r => InterpreterFor (Store i a !! DbError) r Source #

interpretStoreConc :: forall i a r. Ord i => Show i => Member (Embed IO) r => PureStore i a -> InterpretersFor [Store i a !! DbError, AtomicState (PureStore i a)] r Source #

interpretStoreState :: forall i a r. Ord i => Show i => Member (State (PureStore i a)) r => InterpreterFor (Store i a !! DbError) r Source #

interpretStoreLocal :: forall i a r. Ord i => Show i => PureStore i a -> InterpretersFor [Store i a !! DbError, State (PureStore i a)] r Source #

interpretStoreNull :: InterpreterFor (Store i a !! e) r Source #