Importify.Environment

This module contains enrinment for importify cache command which is running inside ReaderT env IO monad.

Base monad for importify cache command

newtype RIO env a

ReaderT + IO monad described here: https://www.fpcomplete.com/blog/2017/07/the-rio-monad

Constructors

RIO

Fields

• runRIO :: ReaderT env IO a

Instances

MonadReader env (RIO env)

Methods

ask :: RIO env env

local :: (env -> env) -> RIO env a -> RIO env a

reader :: (env -> a) -> RIO env a

Monad (RIO env)

Methods

(>>=) :: RIO env a -> (a -> RIO env b) -> RIO env b

(>>) :: RIO env a -> RIO env b -> RIO env b

return :: a -> RIO env a

fail :: String -> RIO env a

Functor (RIO env)

Methods

fmap :: (a -> b) -> RIO env a -> RIO env b

(<$) :: a -> RIO env b -> RIO env a

Applicative (RIO env)

Methods

pure :: a -> RIO env a

(<*>) :: RIO env (a -> b) -> RIO env a -> RIO env b

(*>) :: RIO env a -> RIO env b -> RIO env b

(<*) :: RIO env a -> RIO env b -> RIO env a

MonadIO (RIO env)

Methods

liftIO :: IO a -> RIO env a

MonadThrow (RIO env)

Methods

throwM :: Exception e => e -> RIO env a

MonadCatch (RIO env)

Methods

catch :: Exception e => RIO env a -> (e -> RIO env a) -> RIO env a

MonadMask (RIO env)

Methods

mask :: ((forall a. RIO env a -> RIO env a) -> RIO env b) -> RIO env b

uninterruptibleMask :: ((forall a. RIO env a -> RIO env a) -> RIO env b) -> RIO env b

Environment for importify cache command

data CacheEnvironment

Environment for importify cache command.

Constructors

CacheEnvironment

Fields

• _pathToImportify :: !(Path Abs Dir)

  Path to local .importify folder

• _ghcIncludeDir :: !(Maybe (Path Abs Dir))

  Path to GHC .h files

• _saveSources :: !Bool

  True if unpacked sources should be stored locally as well

type HasGhcIncludeDir env = HasPolyGhcIncludeDir env (Maybe (Path Abs Dir))

type HasPathToImportify env = HasPolyPathToImportify env (Path Abs Dir)

type HasSaveSources env = HasPolySaveSources env Bool

ghcIncludeDir :: HasPolyGhcIncludeDir s a => Lens' s a

pathToImportify :: HasPolyPathToImportify s a => Lens' s a

pathToSymbols :: HasPathToImportify env => SimpleGetter env (Path Abs Dir)

Getter of ~/path/to/project/.importify/symbols folder.

saveSources :: HasPolySaveSources s a => Lens' s a

Runner for cache commend

runCache :: Bool -> RIO CacheEnvironment () -> IO ()

Run importify cache command. This function takes current project directory and searches for ghc include path.