cli-nix (empty) → 0.1.0.0

raw patch · 5 files changed

+302/−0 lines, 5 filesdep +basedep +cli-extrasdep +data-defaultsetup-changed

Dependencies added: base, cli-extras, data-default, exceptions, lens, logging-effect, mtl, text

Files

CHANGELOG.md +4/−0
LICENSE +30/−0
Setup.hs +2/−0
cli-nix.cabal +28/−0
src/Bindings/Cli/Nix.hs +238/−0

+ CHANGELOG.md view

@@ -0,0 +1,4 @@+# Revision history for cli-nix++## 0.1.0.0+* Initial release

+ LICENSE view

@@ -0,0 +1,30 @@+Copyright (c) 2020 Obsidian Systems LLC++All rights reserved.++Redistribution and use in source and binary forms, with or without+modification, are permitted provided that the following conditions are met:++    * Redistributions of source code must retain the above copyright+      notice, this list of conditions and the following disclaimer.++    * Redistributions in binary form must reproduce the above+      copyright notice, this list of conditions and the following+      disclaimer in the documentation and/or other materials provided+      with the distribution.++    * Neither the name of Obsidian Systems LLC nor the names of other+      contributors may be used to endorse or promote products derived+      from this software without specific prior written permission.++THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

+ Setup.hs view

@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain

+ cli-nix.cabal view

@@ -0,0 +1,28 @@+cabal-version: >=1.10+name: cli-nix+version: 0.1.0.0+license: BSD3+license-file: LICENSE+copyright: Obsidian Systems LLC 2020+maintainer: maintainer@obsidian.systems+author: Obsidian Systems LLC+synopsis: Bindings to the nix command-line interface+category: Nix, Bindings+build-type: Simple+extra-source-files:+    CHANGELOG.md++library+    exposed-modules:+        Bindings.Cli.Nix+    hs-source-dirs: src+    default-language: Haskell2010+    build-depends:+        base ==4.12.*,+        cli-extras >=0.1.0.0 && <0.2,+        lens >=4.17.1 && <4.18,+        data-default >=0.7.1.1 && <0.8,+        text >=1.2.3.1 && <1.3,+        exceptions >=0.10.3 && <0.11,+        mtl >=2.2.2 && <2.3,+        logging-effect >=1.3.4 && <1.4

+ src/Bindings/Cli/Nix.hs view

@@ -0,0 +1,238 @@+{-# LANGUAGE AllowAmbiguousTypes #-}+{-# LANGUAGE ConstraintKinds #-}+{-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE LambdaCase #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE Rank2Types #-}+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE TemplateHaskell #-}+{-# LANGUAGE TypeApplications #-}+module Bindings.Cli.Nix+  ( Arg (..)+  , NixBuildConfig (..)+  , nixBuildConfig_common+  , nixBuildConfig_outLink+  , NixCmd (..)+  , nixCmdConfig_args+  , nixCmdConfig_builders+  , nixCmdConfig_target+  , NixCommonConfig (..)+  , NixInstantiateConfig (..)+  , nixInstantiateConfig_eval+  , NixShellConfig (..)+  , nixShellConfig_common+  , nixShellConfig_pure+  , nixShellConfig_run+  , OutLink (..)+  , Target (..)+  , target_attr+  , target_expr+  , target_path++  , boolArg+  , nixCmd+  , nixCmdProc+  , nixCmdProc'+  , rawArg+  , runNixShellConfig+  , strArg+  ) where++import Control.Lens+import Control.Monad (guard)+import Control.Monad.Catch (MonadMask)+import Control.Monad.Except (MonadError)+import Control.Monad.Fail+import Control.Monad.IO.Class (MonadIO)+import Control.Monad.Log (MonadLog)++import Data.Bool (bool)+import Data.Default+import Data.List (intercalate)+import Data.Maybe+import Data.Monoid ((<>))+import qualified Data.Text as T++import Cli.Extras++-- | What to build+data Target = Target+  { _target_path :: Maybe FilePath+  , _target_attr :: Maybe String+  , _target_expr :: Maybe String+  }+makeClassy ''Target++instance Default Target where+  def = Target+    { _target_path = Just "."+    , _target_attr = Nothing+    , _target_expr = Nothing+    }++data Arg+  = Arg_Str String String+  | Arg_Expr String String+  deriving (Eq, Show)++strArg :: String -> String -> Arg+strArg = Arg_Str++rawArg :: String -> String -> Arg+rawArg = Arg_Expr++boolArg :: String -> Bool -> Arg+boolArg k = Arg_Expr k . bool "false" "true"++cliFromArgs :: [Arg] -> [String]+cliFromArgs = concatMap $ \case+  Arg_Str k v -> ["--argstr", k, v]+  Arg_Expr k v -> ["--arg", k, v]++data NixCommonConfig = NixCommonConfig+  { _nixCmdConfig_target :: Target+  , _nixCmdConfig_args :: [Arg]+  , _nixCmdConfig_builders :: [String]+  }+makeClassy ''NixCommonConfig++instance Default NixCommonConfig where+  def = NixCommonConfig def mempty mempty++runNixCommonConfig :: NixCommonConfig -> [String]+runNixCommonConfig cfg = mconcat [maybeToList path, attrArg, exprArg, args, buildersArg]+  where+    path = _target_path $ _nixCmdConfig_target cfg+    attr = _target_attr $ _nixCmdConfig_target cfg+    expr = _target_expr $ _nixCmdConfig_target cfg+    attrArg = case attr of+      Nothing -> []+      Just a -> ["-A", a]+    exprArg = case expr of+      Nothing -> []+      Just a -> ["-E", a]+    args = cliFromArgs $ _nixCmdConfig_args cfg+    buildersArg = case _nixCmdConfig_builders cfg of+      [] -> []+      builders -> ["--builders", intercalate ";" builders]++-- | Where to put nix-build output+data OutLink+  = OutLink_Default+  | OutLink_None+  | OutLink_IndirectRoot FilePath++instance Default OutLink where+  def = OutLink_Default++data NixBuildConfig = NixBuildConfig+  { _nixBuildConfig_common :: NixCommonConfig+  , _nixBuildConfig_outLink :: OutLink+  }+makeLenses ''NixBuildConfig++instance HasNixCommonConfig NixBuildConfig where+  nixCommonConfig = nixBuildConfig_common++instance Default NixBuildConfig where+  def = NixBuildConfig def def++runNixBuildConfig :: NixBuildConfig -> [String]+runNixBuildConfig cfg = mconcat+  [ runNixCommonConfig $ cfg ^. nixCommonConfig+  , case _nixBuildConfig_outLink cfg of+      OutLink_Default -> []+      OutLink_None -> ["--no-out-link"]+      OutLink_IndirectRoot l -> ["--out-link", l]+  ]++data NixInstantiateConfig = NixInstantiateConfig+  { _nixInstantiateConfig_common :: NixCommonConfig+  , _nixInstantiateConfig_eval :: Bool+  }+makeLenses ''NixInstantiateConfig++instance HasNixCommonConfig NixInstantiateConfig where+  nixCommonConfig = nixInstantiateConfig_common++instance Default NixInstantiateConfig where+  def = NixInstantiateConfig def False++runNixInstantiateConfig :: NixInstantiateConfig -> [String]+runNixInstantiateConfig cfg = mconcat+  [ runNixCommonConfig $ cfg ^. nixCommonConfig+  , "--eval" <$ guard (_nixInstantiateConfig_eval cfg)+  ]++data NixShellConfig = NixShellConfig+  { _nixShellConfig_common :: NixCommonConfig+  , _nixShellConfig_pure :: Bool+  , _nixShellConfig_run :: Maybe String+  }++makeLenses ''NixShellConfig++instance HasNixCommonConfig NixShellConfig where+  nixCommonConfig = nixShellConfig_common++instance Default NixShellConfig where+  def = NixShellConfig def False Nothing++data NixCmd+  = NixCmd_Build NixBuildConfig+  | NixCmd_Instantiate NixInstantiateConfig++instance Default NixCmd where+  def = NixCmd_Build def++runNixShellConfig :: NixShellConfig -> [String]+runNixShellConfig cfg = mconcat+  [ runNixCommonConfig $ cfg ^. nixCommonConfig+  , [ "--pure" | cfg ^. nixShellConfig_pure ]+  ] ++ mconcat [+    ["--run", run] | run <- maybeToList $ cfg ^. nixShellConfig_run+  ]++nixCmdProc :: NixCmd -> ProcessSpec+nixCmdProc = fst . nixCmdProc'++nixCmdProc' :: NixCmd -> (ProcessSpec, T.Text)+nixCmdProc' cmdCfg = (proc (T.unpack cmd) options, cmd)+  where+    (cmd, options) = case cmdCfg of+      NixCmd_Build cfg' ->+        ( "nix-build"+        , runNixBuildConfig cfg'+        )+      NixCmd_Instantiate cfg' ->+        ( "nix-instantiate"+        , runNixInstantiateConfig cfg'+        )++nixCmd+  :: ( MonadIO m+     , MonadMask m+     , MonadLog Output m+     , HasCliConfig m+     , MonadError e m+     , AsProcessFailure e+     , MonadFail m+     )+  => NixCmd+  -> m FilePath+nixCmd cmdCfg = withSpinner' (T.unwords $ "Running" : cmd : desc) (Just $ const $ T.unwords $ "Built" : desc) $ do+  output <- readProcessAndLogStderr Debug cmdProc+  -- Remove final newline that Nix appends+  Just (outPath, '\n') <- pure $ T.unsnoc output+  pure $ T.unpack outPath+  where+    (cmdProc, cmd) = nixCmdProc' cmdCfg+    commonCfg = case cmdCfg of+      NixCmd_Build cfg' -> cfg' ^. nixCommonConfig+      NixCmd_Instantiate cfg' -> cfg' ^. nixCommonConfig+    path = commonCfg ^. nixCmdConfig_target . target_path+    desc = concat $ catMaybes+      [ (\x -> ["on", T.pack x]) <$> path+      , (\a -> ["[" <> T.pack a <> "]"]) <$> (commonCfg ^. nixCmdConfig_target . target_attr)+      ]