Graphula.Class

Internal type class(es) for Graphula-related behaviors

Documentation

type MonadGraphula m = (Monad m, MonadIO m, MonadGraphulaBackend m, MonadGraphulaFrontend m)

class MonadGraphulaFrontend m where

Methods

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

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

Instances

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

Defined in Graphula.Idempotent

Methods

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

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

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

Defined in Graphula.Logged

Methods

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

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

(MonadIO m, Applicative n, MonadIO n) => MonadGraphulaFrontend (GraphulaT n m)

Defined in Graphula

Methods

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

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

class MonadGraphulaBackend m where

Associated Types

type Logging m :: Type -> Constraint

Methods

askGen :: m (IORef QCGen)

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

Instances

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

MonadIO m => MonadGraphulaBackend (GraphulaT n m)

Defined in Graphula

Associated Types

type Logging (GraphulaT n m) :: Type -> Constraint

Methods

askGen :: GraphulaT n m (IORef QCGen)

logNode :: Logging (GraphulaT n m) a => a -> GraphulaT n m ()