Graphula.Idempotent

A version of GraphulaT that removes all inserted data afterward

Documentation

data GraphulaIdempotentT m a

Instances

MonadTrans GraphulaIdempotentT

Defined in Graphula.Idempotent

Methods

lift :: Monad m => m a -> GraphulaIdempotentT m a

MonadIO m => MonadIO (GraphulaIdempotentT m)

Defined in Graphula.Idempotent

Methods

liftIO :: IO a -> GraphulaIdempotentT m a

Applicative m => Applicative (GraphulaIdempotentT m)

Defined in Graphula.Idempotent

Methods

pure :: a -> GraphulaIdempotentT m a

(<*>) :: GraphulaIdempotentT m (a -> b) -> GraphulaIdempotentT m a -> GraphulaIdempotentT m b

liftA2 :: (a -> b -> c) -> GraphulaIdempotentT m a -> GraphulaIdempotentT m b -> GraphulaIdempotentT m c

(*>) :: GraphulaIdempotentT m a -> GraphulaIdempotentT m b -> GraphulaIdempotentT m b

(<*) :: GraphulaIdempotentT m a -> GraphulaIdempotentT m b -> GraphulaIdempotentT m a

Functor m => Functor (GraphulaIdempotentT m)

Defined in Graphula.Idempotent

Methods

fmap :: (a -> b) -> GraphulaIdempotentT m a -> GraphulaIdempotentT m b

(<$) :: a -> GraphulaIdempotentT m b -> GraphulaIdempotentT m a

Monad m => Monad (GraphulaIdempotentT m)

Defined in Graphula.Idempotent

Methods

(>>=) :: GraphulaIdempotentT m a -> (a -> GraphulaIdempotentT m b) -> GraphulaIdempotentT m b

(>>) :: GraphulaIdempotentT m a -> GraphulaIdempotentT m b -> GraphulaIdempotentT m b

return :: a -> GraphulaIdempotentT m a

(MonadIO m, MonadGraphulaFrontend m) => MonadGraphulaFrontend (GraphulaIdempotentT m)

Defined in Graphula.Idempotent

Methods

insert :: (PersistEntityBackend a ~ SqlBackend, PersistEntity a, Monad (GraphulaIdempotentT m), GraphulaSafeToInsert a) => Maybe (Key a) -> a -> GraphulaIdempotentT m (Maybe (Entity a))

insertKeyed :: (PersistEntityBackend a ~ SqlBackend, PersistEntity a, Monad (GraphulaIdempotentT m)) => Key a -> a -> GraphulaIdempotentT m (Maybe (Entity a))

remove :: (PersistEntityBackend a ~ SqlBackend, PersistEntity a, Monad (GraphulaIdempotentT m)) => Key a -> GraphulaIdempotentT m ()

MonadUnliftIO m => MonadUnliftIO (GraphulaIdempotentT m)

Defined in Graphula.Idempotent

Methods

withRunInIO :: ((forall a. GraphulaIdempotentT m a -> IO a) -> IO b) -> GraphulaIdempotentT m b

Monad m => MonadReader (IORef (m ())) (GraphulaIdempotentT m)

Defined in Graphula.Idempotent

Methods

ask :: GraphulaIdempotentT m (IORef (m ()))

local :: (IORef (m ()) -> IORef (m ())) -> GraphulaIdempotentT m a -> GraphulaIdempotentT m a

reader :: (IORef (m ()) -> a) -> GraphulaIdempotentT m a

runGraphulaIdempotentT :: MonadUnliftIO m => GraphulaIdempotentT m a -> m a