module Hix.Env where
import qualified Data.Text.IO as Text
import Path (Abs, Dir, Path)
import Hix.Component (targetComponent)
import qualified Hix.Data.ComponentConfig
import Hix.Data.ComponentConfig (EnvRunner (EnvRunner), PackagesConfig, TargetOrDefault (DefaultTarget, ExplicitTarget))
import Hix.Data.Error (pathText)
import qualified Hix.Data.GhciConfig
import Hix.Json (jsonConfig)
import Hix.Monad (M)
import qualified Hix.Options as Options
import Hix.Options (EnvRunnerOptions, TargetSpec)
componentRunner ::
Maybe (Path Abs Dir) ->
PackagesConfig ->
TargetSpec ->
M (Maybe EnvRunner)
componentRunner :: Maybe (Path Abs Dir)
-> PackagesConfig -> TargetSpec -> M (Maybe EnvRunner)
componentRunner Maybe (Path Abs Dir)
cliRoot PackagesConfig
config TargetSpec
spec =
Maybe (Path Abs Dir)
-> PackagesConfig -> TargetSpec -> M TargetOrDefault
targetComponent Maybe (Path Abs Dir)
cliRoot PackagesConfig
config TargetSpec
spec forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \case
ExplicitTarget Target
t -> Target
t.component.runner
DefaultTarget Target
t -> Target
t.component.runner
TargetOrDefault
_ -> forall a. Maybe a
Nothing
envRunner :: EnvRunnerOptions -> M EnvRunner
envRunner :: EnvRunnerOptions -> M EnvRunner
envRunner EnvRunnerOptions
opts = do
EnvConfig
config <- forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
either forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. FromJSON a => JsonConfig -> M a
jsonConfig EnvRunnerOptions
opts.config
forall a. a -> Maybe a -> a
fromMaybe EnvConfig
config.defaultEnv forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (m :: * -> *) a. Monad m => m (m a) -> m a
join forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> forall (t :: * -> *) (f :: * -> *) a b.
(Traversable t, Applicative f) =>
(a -> f b) -> t a -> f (t b)
traverse (Maybe (Path Abs Dir)
-> PackagesConfig -> TargetSpec -> M (Maybe EnvRunner)
componentRunner EnvRunnerOptions
opts.root EnvConfig
config.packages) EnvRunnerOptions
opts.component
printEnvRunner :: EnvRunnerOptions -> M ()
printEnvRunner :: EnvRunnerOptions -> M ()
printEnvRunner EnvRunnerOptions
opts = do
EnvRunner Path Abs File
runner <- EnvRunnerOptions -> M EnvRunner
envRunner EnvRunnerOptions
opts
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (Text -> IO ()
Text.putStrLn (forall b t. Path b t -> Text
pathText Path Abs File
runner))