Graphula.Logged

A version of GraphulaT that logs the generated graph

Documentation

data GraphulaLoggedT m a

Instances

MonadTrans GraphulaLoggedT

Defined in Graphula.Logged

Methods

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

MonadIO m => MonadIO (GraphulaLoggedT m)

Defined in Graphula.Logged

Methods

liftIO :: IO a -> GraphulaLoggedT m a

Applicative m => Applicative (GraphulaLoggedT m)

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)

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)

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)

Defined in Graphula.Logged

Associated Types

type Logging (GraphulaLoggedT m) :: Type -> Constraint

Methods

askGen :: GraphulaLoggedT m (IORef QCGen)

logNode :: Logging (GraphulaLoggedT m) a => a -> GraphulaLoggedT m ()

(Monad m, MonadGraphulaFrontend m) => MonadGraphulaFrontend (GraphulaLoggedT m)

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))

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

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

MonadUnliftIO m => MonadUnliftIO (GraphulaLoggedT m)

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)

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)

Defined in Graphula.Logged

type Logging (GraphulaLoggedT m) = Show

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

Run the graph while logging to a temporary file

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

runGraphulaLoggedT, but to the specified file

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

runGraphulaLoggedT, but using the custom action to accumulate