Nix.Standard

Documentation

newtype StdCited m a

Constructors

StdCited (Cited (StdThunk m) (StdCited m) m a)

Instances

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

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

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)

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

Functor (StdCited m)

Defined in Nix.Standard

Methods

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

(<$) :: a -> StdCited m b -> 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

askScopes :: m (Scopes m (StdValue m))

clearScopes :: m r -> m r

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

lookupVar :: VarName -> 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 -> m (StdValue m)

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

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

Defined in Nix.Standard

Methods

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

informF :: (m (StdValue m) -> m (StdValue m)) -> StdValue m -> m (StdValue m)

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

Defined in Nix.Standard

Methods

thunkId :: StdThunk m -> ThunkId m

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

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

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

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

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

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

This is a functorized version in CPS.

Defined in Nix.Standard

Methods

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

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

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

furtherF :: (m (StdValue m) -> m (StdValue m)) -> StdThunk 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 Path NExprLoc, HashMap Text Text) 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

toAbsolutePath :: Path -> m Path

findEnvPath :: String -> m Path

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

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

pathToDefaultNix :: Path -> m Path

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.17.0-8saIMbclRB9HPH4JCEpCXn" 'True) (C1 ('MetaCons "StdCited" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Cited (StdThunk m) (StdCited m) m a))))

newtype StdThunk m

Constructors

StdThunk (StdCited m (NThunkF m (StdValue m)))

Instances

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

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

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

askScopes :: m (Scopes m (StdValue m))

clearScopes :: m r -> m r

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

lookupVar :: VarName -> 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 -> m (StdValue m)

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

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

Defined in Nix.Standard

Methods

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

informF :: (m (StdValue m) -> m (StdValue m)) -> StdValue m -> m (StdValue m)

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

Defined in Nix.Standard

Methods

thunkId :: StdThunk m -> ThunkId m

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

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

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

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

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

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

This is a functorized version in CPS.

Defined in Nix.Standard

Methods

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

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

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

furtherF :: (m (StdValue m) -> m (StdValue m)) -> StdThunk 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 Path NExprLoc, HashMap Text Text) 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

toAbsolutePath :: Path -> m Path

findEnvPath :: String -> m Path

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

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

pathToDefaultNix :: Path -> m Path

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 (StdValue m)

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

type StandardIO = StandardT (StdIdT IO)

type StdVal = StdValue StandardIO

type StdThun = StdThunk StandardIO

type StdIO = StandardIO ()

type CitedStdThunk m = Cited (StdThunk m) (StdCited m) m (NThunkF m (StdValue m))

Type alias:

Cited (StdThunk m) (StdCited m) m (NThunkF m (StdValue m))

instance MonadThunkF (Kleisli functor HOFs)

instance MonadValue (StdValue m) m

instance MonadValueF (StdValue m) m

newtype StandardTF r m a

Constructors

StandardTF (ReaderT (Context r (StdValue r)) (StateT (HashMap Path NExprLoc, HashMap Text Text) m) a)

Instances

MonadThunkId m => MonadThunkId (StandardT m)

Defined in Nix.Standard

Associated Types

type ThunkId (StandardT m)

Methods

freshId :: StandardT m (ThunkId (StandardT m))

MonadTrans (StandardTF r)

Defined in Nix.Standard

Methods

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

MonadFail m => MonadFail (StandardTF r m)

Defined in Nix.Standard

Methods

fail :: String -> 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

MonadIO m => MonadIO (StandardTF r m)

Defined in Nix.Standard

Methods

liftIO :: IO a -> 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]

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

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

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

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

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)

MonadThrow m => MonadThrow (StandardTF r m)

Defined in Nix.Standard

Methods

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

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

Defined in Nix.Standard

Methods

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

getCurrentSystemOS :: StandardTF r m Text

getCurrentSystemArch :: StandardTF r m Text

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

Defined in Nix.Standard

Methods

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

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

Defined in Nix.Standard

Methods

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

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

Defined in Nix.Standard

Methods

instantiateExpr :: Text -> 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

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

Defined in Nix.Standard

Methods

getDataDir :: StandardTF r m Path

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

Defined in Nix.Standard

Methods

putStr :: String -> StandardTF r m ()

MonadTrans (Fix1T StandardTF)

Defined in Nix.Standard

Methods

lift :: Monad m => m a -> Fix1T StandardTF 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

Monad m => MonadState (HashMap Path NExprLoc, HashMap Text Text) (StandardTF r m)

Defined in Nix.Standard

Methods

get :: StandardTF r m (HashMap Path NExprLoc, HashMap Text Text)

put :: (HashMap Path NExprLoc, HashMap Text Text) -> StandardTF r m ()

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

type ThunkId (StandardT m)

Defined in Nix.Standard

type ThunkId (StandardT m) = ThunkId m

type StandardT m = Fix1T StandardTF m

mkStandardT :: ReaderT (Context (StandardT m) (StdValue (StandardT m))) (StateT (HashMap Path NExprLoc, HashMap Text Text) m) a -> StandardT m a

runStandardT :: StandardT m a -> ReaderT (Context (StandardT m) (StdValue (StandardT m))) (StateT (HashMap Path NExprLoc, HashMap Text Text) m) a

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

runWithBasicEffectsIO :: Options -> StandardIO a -> IO a

Orphan instances

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

Methods

askScopes :: m (Scopes m (StdValue m))

clearScopes :: m r -> m r

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

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