Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type Integration a = PropertyT (ReaderT IntegrationState (ResourceT IO)) a Source #
newtype IntegrationState Source #
newIntegrationStateM :: MonadIO m => m IntegrationState Source #
runIntegrationReaderT :: MonadIO m => ReaderT IntegrationState m a -> m a Source #