Nix.Standard

Documentation

type MonadFix1T t m = (MonadTrans (Fix1T t), Monad (t (Fix1T t m) m))

newtype StdCited m a

Constructors

StdCited

Fields

• _stdCited :: Cited (StdThunk m) (StdCited m) m a

Instances

HasCitations1 m (StdValue m) (StdCited m)

Defined in Nix.Standard

Methods

citations1 :: StdCited m a -> [Provenance m (StdValue m)]

addProvenance1 :: Provenance m (StdValue m) -> StdCited m a -> StdCited m a

HasCitations m (StdValue m) (StdThunk m)

Defined in Nix.Standard

Methods

citations :: StdThunk m -> [Provenance m (StdValue m)]

addProvenance :: Provenance m (StdValue m) -> StdThunk m -> StdThunk m

Functor (StdCited m)

Defined in Nix.Standard

Methods

fmap :: (a -> b) -> StdCited m a -> StdCited m b

(<$) :: a -> StdCited m b -> StdCited m a

Applicative (StdCited m)

Defined in Nix.Standard

Methods

pure :: a -> StdCited m a

(<*>) :: StdCited m (a -> b) -> StdCited m a -> StdCited m b

liftA2 :: (a -> b -> c) -> StdCited m a -> StdCited m b -> StdCited m c

(*>) :: StdCited m a -> StdCited m b -> StdCited m b

(<*) :: StdCited m a -> StdCited m b -> StdCited m a

Foldable (StdCited m)

Defined in Nix.Standard

Methods

fold :: Monoid m0 => StdCited m m0 -> m0

foldMap :: Monoid m0 => (a -> m0) -> StdCited m a -> m0

foldMap' :: Monoid m0 => (a -> m0) -> StdCited m a -> m0

foldr :: (a -> b -> b) -> b -> StdCited m a -> b

foldr' :: (a -> b -> b) -> b -> StdCited m a -> b

foldl :: (b -> a -> b) -> b -> StdCited m a -> b

foldl' :: (b -> a -> b) -> b -> StdCited m a -> b

foldr1 :: (a -> a -> a) -> StdCited m a -> a

foldl1 :: (a -> a -> a) -> StdCited m a -> a

toList :: StdCited m a -> [a]

null :: StdCited m a -> Bool

length :: StdCited m a -> Int

elem :: Eq a => a -> StdCited m a -> Bool

maximum :: Ord a => StdCited m a -> a

minimum :: Ord a => StdCited m a -> a

sum :: Num a => StdCited m a -> a

product :: Num a => StdCited m a -> a

Traversable (StdCited m)

Defined in Nix.Standard

Methods

traverse :: Applicative f => (a -> f b) -> StdCited m a -> f (StdCited m b)

sequenceA :: Applicative f => StdCited m (f a) -> f (StdCited m a)

mapM :: Monad m0 => (a -> m0 b) -> StdCited m a -> m0 (StdCited m b)

sequence :: Monad m0 => StdCited m (m0 a) -> m0 (StdCited m a)

Comonad (StdCited m)

Defined in Nix.Standard

Methods

extract :: StdCited m a -> a

duplicate :: StdCited m a -> StdCited m (StdCited m a)

extend :: (StdCited m a -> b) -> StdCited m a -> StdCited m b

MonadReader (Context m (StdValue m)) m => Scoped (StdValue m) m

Defined in Nix.Standard

Methods

currentScopes :: m (Scopes m (StdValue m))

clearScopes :: m r -> m r

pushScopes :: Scopes m (StdValue m) -> m r -> m r

lookupVar :: Text -> m (Maybe (StdValue m))

(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValue (StdValue m) m

Defined in Nix.Standard

Methods

defer :: m (StdValue m) -> m (StdValue m)

demand :: StdValue m -> (StdValue m -> m r) -> m r

inform :: StdValue m -> (m (StdValue m) -> m (StdValue m)) -> m (StdValue m)

(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadThunk (StdThunk m) m (StdValue m)

Defined in Nix.Standard

Methods

thunk :: m (StdValue m) -> m (StdThunk m)

thunkId :: StdThunk m -> ThunkId m

queryM :: StdThunk m -> m r -> (StdValue m -> m r) -> m r

force :: StdThunk m -> (StdValue m -> m r) -> m r

forceEff :: StdThunk m -> (StdValue m -> m r) -> m r

further :: StdThunk m -> (m (StdValue m) -> m (StdValue m)) -> m (StdThunk m)

ComonadEnv [Provenance m (StdValue m)] (StdCited m)

Defined in Nix.Standard

Methods

ask :: StdCited m a -> [Provenance m (StdValue m)]

(MonadFix m, MonadFile m, MonadCatch m, MonadEnv m, MonadPaths m, MonadExec m, MonadHttp m, MonadInstantiate m, MonadIntrospect m, MonadPlus m, MonadPutStr m, MonadStore m, MonadAtomicRef m, Typeable m, Scoped (StdValue m) m, MonadReader (Context m (StdValue m)) m, MonadState (HashMap FilePath NExprLoc) m, MonadDataErrorContext (StdThunk m) (StdCited m) m, MonadThunk (StdThunk m) m (StdValue m), MonadValue (StdValue m) m) => MonadEffects (StdThunk m) (StdCited m) m

Defined in Nix.Standard

Methods

makeAbsolutePath :: FilePath -> m FilePath

findEnvPath :: String -> m FilePath

findPath :: [NValue (StdThunk m) (StdCited m) m] -> FilePath -> m FilePath

importPath :: FilePath -> m (NValue (StdThunk m) (StdCited m) m)

pathToDefaultNix :: FilePath -> m FilePath

derivationStrict :: NValue (StdThunk m) (StdCited m) m -> m (NValue (StdThunk m) (StdCited m) m)

traceEffect :: String -> m ()

Generic (StdCited m a)

Defined in Nix.Standard

Associated Types

type Rep (StdCited m a) :: Type -> Type

Methods

from :: StdCited m a -> Rep (StdCited m a) x

to :: Rep (StdCited m a) x -> StdCited m a

Monad m => MonadReader (Context r (StdValue r)) (StandardTF r m)

Defined in Nix.Standard

Methods

ask :: StandardTF r m (Context r (StdValue r))

local :: (Context r (StdValue r) -> Context r (StdValue r)) -> StandardTF r m a -> StandardTF r m a

reader :: (Context r (StdValue r) -> a) -> StandardTF r m a

type Rep (StdCited m a)

Defined in Nix.Standard

type Rep (StdCited m a) = D1 ('MetaData "StdCited" "Nix.Standard" "hnix-0.10.1-inplace" 'True) (C1 ('MetaCons "StdCited" 'PrefixI 'True) (S1 ('MetaSel ('Just "_stdCited") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Cited (StdThunk m) (StdCited m) m a))))

newtype StdThunk (m :: * -> *)

Constructors

StdThunk

Fields

• _stdThunk :: StdCited m (NThunkF m (StdValue m))

Instances

HasCitations1 m (StdValue m) (StdCited m)

Defined in Nix.Standard

Methods

citations1 :: StdCited m a -> [Provenance m (StdValue m)]

addProvenance1 :: Provenance m (StdValue m) -> StdCited m a -> StdCited m a

HasCitations m (StdValue m) (StdThunk m)

Defined in Nix.Standard

Methods

citations :: StdThunk m -> [Provenance m (StdValue m)]

addProvenance :: Provenance m (StdValue m) -> StdThunk m -> StdThunk m

Show (StdThunk m)

Defined in Nix.Standard

Methods

showsPrec :: Int -> StdThunk m -> ShowS

show :: StdThunk m -> String

showList :: [StdThunk m] -> ShowS

MonadReader (Context m (StdValue m)) m => Scoped (StdValue m) m

Defined in Nix.Standard

Methods

currentScopes :: m (Scopes m (StdValue m))

clearScopes :: m r -> m r

pushScopes :: Scopes m (StdValue m) -> m r -> m r

lookupVar :: Text -> m (Maybe (StdValue m))

(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValue (StdValue m) m

Defined in Nix.Standard

Methods

defer :: m (StdValue m) -> m (StdValue m)

demand :: StdValue m -> (StdValue m -> m r) -> m r

inform :: StdValue m -> (m (StdValue m) -> m (StdValue m)) -> m (StdValue m)

(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadThunk (StdThunk m) m (StdValue m)

Defined in Nix.Standard

Methods

thunk :: m (StdValue m) -> m (StdThunk m)

thunkId :: StdThunk m -> ThunkId m

queryM :: StdThunk m -> m r -> (StdValue m -> m r) -> m r

force :: StdThunk m -> (StdValue m -> m r) -> m r

forceEff :: StdThunk m -> (StdValue m -> m r) -> m r

further :: StdThunk m -> (m (StdValue m) -> m (StdValue m)) -> m (StdThunk m)

ComonadEnv [Provenance m (StdValue m)] (StdCited m)

Defined in Nix.Standard

Methods

ask :: StdCited m a -> [Provenance m (StdValue m)]

(MonadFix m, MonadFile m, MonadCatch m, MonadEnv m, MonadPaths m, MonadExec m, MonadHttp m, MonadInstantiate m, MonadIntrospect m, MonadPlus m, MonadPutStr m, MonadStore m, MonadAtomicRef m, Typeable m, Scoped (StdValue m) m, MonadReader (Context m (StdValue m)) m, MonadState (HashMap FilePath NExprLoc) m, MonadDataErrorContext (StdThunk m) (StdCited m) m, MonadThunk (StdThunk m) m (StdValue m), MonadValue (StdValue m) m) => MonadEffects (StdThunk m) (StdCited m) m

Defined in Nix.Standard

Methods

makeAbsolutePath :: FilePath -> m FilePath

findEnvPath :: String -> m FilePath

findPath :: [NValue (StdThunk m) (StdCited m) m] -> FilePath -> m FilePath

importPath :: FilePath -> m (NValue (StdThunk m) (StdCited m) m)

pathToDefaultNix :: FilePath -> m FilePath

derivationStrict :: NValue (StdThunk m) (StdCited m) m -> m (NValue (StdThunk m) (StdCited m) m)

traceEffect :: String -> m ()

Monad m => MonadReader (Context r (StdValue r)) (StandardTF r m)

Defined in Nix.Standard

Methods

ask :: StandardTF r m (Context r (StdValue r))

local :: (Context r (StdValue r) -> Context r (StdValue r)) -> StandardTF r m a -> StandardTF r m a

reader :: (Context r (StdValue r) -> a) -> StandardTF r m a

type StdValue m = NValue (StdThunk m) (StdCited m) m

newtype StandardTF r m a

Constructors

StandardTF (ReaderT (Context r (StdValue r)) (StateT (HashMap FilePath NExprLoc) m) a)

Instances

MonadTrans (StandardTF r)

Defined in Nix.Standard

Methods

lift :: Monad m => m a -> StandardTF r m a

Monad m => Monad (StandardTF r m)

Defined in Nix.Standard

Methods

(>>=) :: StandardTF r m a -> (a -> StandardTF r m b) -> StandardTF r m b

(>>) :: StandardTF r m a -> StandardTF r m b -> StandardTF r m b

return :: a -> StandardTF r m a

Functor m => Functor (StandardTF r m)

Defined in Nix.Standard

Methods

fmap :: (a -> b) -> StandardTF r m a -> StandardTF r m b

(<$) :: a -> StandardTF r m b -> StandardTF r m a

MonadFix m => MonadFix (StandardTF r m)

Defined in Nix.Standard

Methods

mfix :: (a -> StandardTF r m a) -> StandardTF r m a

MonadFail m => MonadFail (StandardTF r m)

Defined in Nix.Standard

Methods

fail :: String -> StandardTF r m a

Monad m => Applicative (StandardTF r m)

Defined in Nix.Standard

Methods

pure :: a -> StandardTF r m a

(<*>) :: StandardTF r m (a -> b) -> StandardTF r m a -> StandardTF r m b

liftA2 :: (a -> b -> c) -> StandardTF r m a -> StandardTF r m b -> StandardTF r m c

(*>) :: StandardTF r m a -> StandardTF r m b -> StandardTF r m b

(<*) :: StandardTF r m a -> StandardTF r m b -> StandardTF r m a

MonadPlus m => Alternative (StandardTF r m)

Defined in Nix.Standard

Methods

empty :: StandardTF r m a

(<|>) :: StandardTF r m a -> StandardTF r m a -> StandardTF r m a

some :: StandardTF r m a -> StandardTF r m [a]

many :: StandardTF r m a -> StandardTF r m [a]

MonadPlus m => MonadPlus (StandardTF r m)

Defined in Nix.Standard

Methods

mzero :: StandardTF r m a

mplus :: StandardTF r m a -> StandardTF r m a -> StandardTF r m a

MonadIO m => MonadIO (StandardTF r m)

Defined in Nix.Standard

Methods

liftIO :: IO a -> StandardTF r m a

MonadThrow m => MonadThrow (StandardTF r m)

Defined in Nix.Standard

Methods

throwM :: Exception e => e -> StandardTF r m a

MonadCatch m => MonadCatch (StandardTF r m)

Defined in Nix.Standard

Methods

catch :: Exception e => StandardTF r m a -> (e -> StandardTF r m a) -> StandardTF r m a

MonadMask m => MonadMask (StandardTF r m)

Defined in Nix.Standard

Methods

mask :: ((forall a. StandardTF r m a -> StandardTF r m a) -> StandardTF r m b) -> StandardTF r m b

uninterruptibleMask :: ((forall a. StandardTF r m a -> StandardTF r m a) -> StandardTF r m b) -> StandardTF r m b

generalBracket :: StandardTF r m a -> (a -> ExitCase b -> StandardTF r m c) -> (a -> StandardTF r m b) -> StandardTF r m (b, c)

MonadTrans (Fix1T StandardTF)

Defined in Nix.Standard

Methods

lift :: Monad m => m a -> Fix1T StandardTF m a

(MonadPutStr r, MonadPutStr m) => MonadPutStr (StandardTF r m)

Defined in Nix.Standard

Methods

putStr :: String -> StandardTF r m ()

(MonadHttp r, MonadHttp m) => MonadHttp (StandardTF r m)

Defined in Nix.Standard

Methods

getURL :: Text -> StandardTF r m (Either ErrorCall StorePath)

(MonadPaths r, MonadPaths m) => MonadPaths (StandardTF r m)

Defined in Nix.Standard

Methods

getDataDir :: StandardTF r m FilePath

(MonadEnv r, MonadEnv m) => MonadEnv (StandardTF r m)

Defined in Nix.Standard

Methods

getEnvVar :: String -> StandardTF r m (Maybe String)

getCurrentSystemOS :: StandardTF r m Text

getCurrentSystemArch :: StandardTF r m Text

(MonadInstantiate r, MonadInstantiate m) => MonadInstantiate (StandardTF r m)

Defined in Nix.Standard

Methods

instantiateExpr :: String -> StandardTF r m (Either ErrorCall NExprLoc)

(MonadExec r, MonadExec m) => MonadExec (StandardTF r m)

Defined in Nix.Standard

Methods

exec' :: [String] -> StandardTF r m (Either ErrorCall NExprLoc)

(MonadIntrospect r, MonadIntrospect m) => MonadIntrospect (StandardTF r m)

Defined in Nix.Standard

Methods

recursiveSize :: a -> StandardTF r m Word

Monad m => MonadReader (Context r (StdValue r)) (StandardTF r m)

Defined in Nix.Standard

Methods

ask :: StandardTF r m (Context r (StdValue r))

local :: (Context r (StdValue r) -> Context r (StdValue r)) -> StandardTF r m a -> StandardTF r m a

reader :: (Context r (StdValue r) -> a) -> StandardTF r m a

Monad m => MonadState (HashMap FilePath NExprLoc) (StandardTF r m)

Defined in Nix.Standard

Methods

get :: StandardTF r m (HashMap FilePath NExprLoc)

put :: HashMap FilePath NExprLoc -> StandardTF r m ()

state :: (HashMap FilePath NExprLoc -> (a, HashMap FilePath NExprLoc)) -> StandardTF r m a

MonadThunkId m => MonadThunkId (Fix1T StandardTF m)

Defined in Nix.Standard

Associated Types

type ThunkId (Fix1T StandardTF m)

Methods

freshId :: Fix1T StandardTF m (ThunkId (Fix1T StandardTF m))

type ThunkId (Fix1T StandardTF m)

Defined in Nix.Standard

type ThunkId (Fix1T StandardTF m) = ThunkId m

type StandardT m = Fix1T StandardTF m

mkStandardT :: ReaderT (Context (StandardT m) (StdValue (StandardT m))) (StateT (HashMap FilePath NExprLoc) m) a -> StandardT m a

runStandardT :: StandardT m a -> ReaderT (Context (StandardT m) (StdValue (StandardT m))) (StateT (HashMap FilePath NExprLoc) m) a

runWithBasicEffects :: (MonadIO m, MonadAtomicRef m) => Options -> StandardT (StdIdT m) a -> m a

runWithBasicEffectsIO :: Options -> StandardT (StdIdT IO) a -> IO a

Orphan instances

MonadReader (Context m (StdValue m)) m => Scoped (StdValue m) m

Methods

currentScopes :: m (Scopes m (StdValue m))

clearScopes :: m r -> m r

pushScopes :: Scopes m (StdValue m) -> m r -> m r

lookupVar :: Text -> m (Maybe (StdValue m))

MonadPutStr (t (Fix1 t)) => MonadPutStr (Fix1 t)

Methods

putStr :: String -> Fix1 t ()

MonadHttp (t (Fix1 t)) => MonadHttp (Fix1 t)

Methods

getURL :: Text -> Fix1 t (Either ErrorCall StorePath)

MonadPaths (t (Fix1 t)) => MonadPaths (Fix1 t)

Methods

getDataDir :: Fix1 t FilePath

MonadEnv (t (Fix1 t)) => MonadEnv (Fix1 t)

Methods

getEnvVar :: String -> Fix1 t (Maybe String)

getCurrentSystemOS :: Fix1 t Text

getCurrentSystemArch :: Fix1 t Text

MonadInstantiate (t (Fix1 t)) => MonadInstantiate (Fix1 t)

Methods

instantiateExpr :: String -> Fix1 t (Either ErrorCall NExprLoc)

MonadExec (t (Fix1 t)) => MonadExec (Fix1 t)

Methods

exec' :: [String] -> Fix1 t (Either ErrorCall NExprLoc)

MonadIntrospect (t (Fix1 t)) => MonadIntrospect (Fix1 t)

Methods

recursiveSize :: a -> Fix1 t Word

(MonadFix1T t m, MonadRef m) => MonadRef (Fix1T t m)

Associated Types

type Ref (Fix1T t m) :: Type -> Type

Methods

newRef :: a -> Fix1T t m (Ref (Fix1T t m) a)

readRef :: Ref (Fix1T t m) a -> Fix1T t m a

writeRef :: Ref (Fix1T t m) a -> a -> Fix1T t m ()

modifyRef :: Ref (Fix1T t m) a -> (a -> a) -> Fix1T t m ()

modifyRef' :: Ref (Fix1T t m) a -> (a -> a) -> Fix1T t m ()

(MonadFix1T t m, MonadAtomicRef m) => MonadAtomicRef (Fix1T t m)

Methods

atomicModifyRef :: Ref (Fix1T t m) a -> (a -> (a, b)) -> Fix1T t m b

atomicModifyRef' :: Ref (Fix1T t m) a -> (a -> (a, b)) -> Fix1T t m b

(MonadFix1T t m, MonadFail (Fix1T t m), MonadFile m) => MonadFile (Fix1T t m)

Methods

readFile :: FilePath -> Fix1T t m ByteString

listDirectory :: FilePath -> Fix1T t m [FilePath]

getCurrentDirectory :: Fix1T t m FilePath

canonicalizePath :: FilePath -> Fix1T t m FilePath

getHomeDirectory :: Fix1T t m FilePath

doesPathExist :: FilePath -> Fix1T t m Bool

doesFileExist :: FilePath -> Fix1T t m Bool

doesDirectoryExist :: FilePath -> Fix1T t m Bool

getSymbolicLinkStatus :: FilePath -> Fix1T t m FileStatus

(MonadFix1T t m, MonadStore m) => MonadStore (Fix1T t m)

Methods

addPath' :: FilePath -> Fix1T t m (Either ErrorCall StorePath)

toFile_' :: FilePath -> String -> Fix1T t m (Either ErrorCall StorePath)

MonadPutStr (t (Fix1T t m) m) => MonadPutStr (Fix1T t m)

Methods

putStr :: String -> Fix1T t m ()

MonadHttp (t (Fix1T t m) m) => MonadHttp (Fix1T t m)

Methods

getURL :: Text -> Fix1T t m (Either ErrorCall StorePath)

MonadPaths (t (Fix1T t m) m) => MonadPaths (Fix1T t m)

Methods

getDataDir :: Fix1T t m FilePath

MonadEnv (t (Fix1T t m) m) => MonadEnv (Fix1T t m)

Methods

getEnvVar :: String -> Fix1T t m (Maybe String)

getCurrentSystemOS :: Fix1T t m Text

getCurrentSystemArch :: Fix1T t m Text

MonadInstantiate (t (Fix1T t m) m) => MonadInstantiate (Fix1T t m)

Methods

instantiateExpr :: String -> Fix1T t m (Either ErrorCall NExprLoc)

MonadExec (t (Fix1T t m) m) => MonadExec (Fix1T t m)

Methods

exec' :: [String] -> Fix1T t m (Either ErrorCall NExprLoc)

MonadIntrospect (t (Fix1T t m) m) => MonadIntrospect (Fix1T t m)

Methods

recursiveSize :: a -> Fix1T t m Word