Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- initStaticEnv :: FilePath -> StaticEnvOptions -> IO StaticEnv
- runStaticLs :: StaticEnv -> StaticLs a -> IO a
- getStaticEnv :: HasStaticEnv m => m StaticEnv
- runHieDbExceptT :: (HasStaticEnv m, MonadIO m) => (HieDb -> IO a) -> ExceptT HieDbException m a
- runHieDbMaybeT :: (HasStaticEnv m, MonadIO m) => (HieDb -> IO a) -> MaybeT m a
- data StaticEnv = StaticEnv {}
- type StaticLs = ReaderT StaticEnv IO
- type HieDbPath = FilePath
- type HieFilePath = FilePath
- type HiFilePath = FilePath
- type HasStaticEnv = MonadReader StaticEnv
Documentation
initStaticEnv :: FilePath -> StaticEnvOptions -> IO StaticEnv Source #
getStaticEnv :: HasStaticEnv m => m StaticEnv Source #
runHieDbExceptT :: (HasStaticEnv m, MonadIO m) => (HieDb -> IO a) -> ExceptT HieDbException m a Source #
Run an hiedb action in an exceptT
runHieDbMaybeT :: (HasStaticEnv m, MonadIO m) => (HieDb -> IO a) -> MaybeT m a Source #
Run an hiedb action with the MaybeT Monad
Static environment used to fetch data
StaticEnv | |
|
Instances
type HieFilePath = FilePath Source #
type HiFilePath = FilePath Source #
type HasStaticEnv = MonadReader StaticEnv Source #