Safe Haskell	Safe-Inferred
Language	Haskell2010

Graphula.Logged

Description

A version of GraphulaT that logs the generated graph

Synopsis

data GraphulaLoggedT m a
runGraphulaLoggedT :: MonadUnliftIO m => GraphulaLoggedT m a -> m a
runGraphulaLoggedWithFileT :: MonadUnliftIO m => FilePath -> GraphulaLoggedT m a -> m a
runGraphulaLoggedUsingT :: MonadUnliftIO m => (IORef (Seq Text) -> HUnitFailure -> m a) -> GraphulaLoggedT m a -> m a

Documentation

data GraphulaLoggedT m a Source #

Instances

Instances details

MonadTrans GraphulaLoggedT Source #
Instance details Defined in Graphula.Logged Methods lift :: Monad m => m a -> GraphulaLoggedT m a #
MonadIO m => MonadIO (GraphulaLoggedT m) Source #
Instance details Defined in Graphula.Logged Methods liftIO :: IO a -> GraphulaLoggedT m a #
Applicative m => Applicative (GraphulaLoggedT m) Source #
Instance details Defined in Graphula.Logged Methods pure :: a -> GraphulaLoggedT m a # (<>) :: GraphulaLoggedT m (a -> b) -> GraphulaLoggedT m a -> GraphulaLoggedT m b # liftA2 :: (a -> b -> c) -> GraphulaLoggedT m a -> GraphulaLoggedT m b -> GraphulaLoggedT m c # (>) :: GraphulaLoggedT m a -> GraphulaLoggedT m b -> GraphulaLoggedT m b # (<*) :: GraphulaLoggedT m a -> GraphulaLoggedT m b -> GraphulaLoggedT m a #
Functor m => Functor (GraphulaLoggedT m) Source #
Instance details Defined in Graphula.Logged Methods fmap :: (a -> b) -> GraphulaLoggedT m a -> GraphulaLoggedT m b # (<$) :: a -> GraphulaLoggedT m b -> GraphulaLoggedT m a #
Monad m => Monad (GraphulaLoggedT m) Source #
Instance details Defined in Graphula.Logged Methods (>>=) :: GraphulaLoggedT m a -> (a -> GraphulaLoggedT m b) -> GraphulaLoggedT m b # (>>) :: GraphulaLoggedT m a -> GraphulaLoggedT m b -> GraphulaLoggedT m b # return :: a -> GraphulaLoggedT m a #
(MonadGraphulaBackend m, MonadIO m) => MonadGraphulaBackend (GraphulaLoggedT m) Source #
Instance details Defined in Graphula.Logged Associated Types type Logging (GraphulaLoggedT m) :: Type -> Constraint Source # Methods askGen :: GraphulaLoggedT m (IORef QCGen) Source # logNode :: Logging (GraphulaLoggedT m) a => a -> GraphulaLoggedT m () Source #
(Monad m, MonadGraphulaFrontend m) => MonadGraphulaFrontend (GraphulaLoggedT m) Source #
Instance details Defined in Graphula.Logged Methods insert :: (PersistEntityBackend a ~ SqlBackend, PersistEntity a, Monad (GraphulaLoggedT m), GraphulaSafeToInsert a) => Maybe (Key a) -> a -> GraphulaLoggedT m (Maybe (Entity a)) Source # insertKeyed :: (PersistEntityBackend a ~ SqlBackend, PersistEntity a, Monad (GraphulaLoggedT m)) => Key a -> a -> GraphulaLoggedT m (Maybe (Entity a)) Source # remove :: (PersistEntityBackend a ~ SqlBackend, PersistEntity a, Monad (GraphulaLoggedT m)) => Key a -> GraphulaLoggedT m () Source #
MonadUnliftIO m => MonadUnliftIO (GraphulaLoggedT m) Source #
Instance details Defined in Graphula.Logged Methods withRunInIO :: ((forall a. GraphulaLoggedT m a -> IO a) -> IO b) -> GraphulaLoggedT m b #
Monad m => MonadReader (IORef (Seq Text)) (GraphulaLoggedT m) Source #
Instance details Defined in Graphula.Logged Methods ask :: GraphulaLoggedT m (IORef (Seq Text)) # local :: (IORef (Seq Text) -> IORef (Seq Text)) -> GraphulaLoggedT m a -> GraphulaLoggedT m a # reader :: (IORef (Seq Text) -> a) -> GraphulaLoggedT m a #
type Logging (GraphulaLoggedT m) Source #
Instance details Defined in Graphula.Logged type Logging (GraphulaLoggedT m) = Show

runGraphulaLoggedT :: MonadUnliftIO m => GraphulaLoggedT m a -> m a Source #

Run the graph while logging to a temporary file

runGraphulaLoggedWithFileT :: MonadUnliftIO m => FilePath -> GraphulaLoggedT m a -> m a Source #

runGraphulaLoggedT, but to the specified file

runGraphulaLoggedUsingT :: MonadUnliftIO m => (IORef (Seq Text) -> HUnitFailure -> m a) -> GraphulaLoggedT m a -> m a Source #

runGraphulaLoggedT, but using the custom action to accumulate