type Rep (StdCited m a)
Instance details Defined in Nix.Standard type Rep (StdCited m a) = D1 ('MetaData "StdCited" "Nix.Standard" "hnix-0.17.0-70ystd6u6qm9QLpKYxOC5P" 'True) (C1 ('MetaCons "StdCited" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Cited (StdThunk m) (StdCited m) m a))))

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) Source #

Instance details

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) Source #

Instance details

Defined in Nix.Standard

type Rep (StdCited m a) = D1 ('MetaData "StdCited" "Nix.Standard" "hnix-0.17.0-70ystd6u6qm9QLpKYxOC5P" '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 :: Type -> Type) Source #

Constructors

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

Instances

Instances details

HasCitations m (StdValue m) (StdThunk m) Source #
Instance details Defined in Nix.Standard Methods citations :: StdThunk m -> [Provenance m (StdValue m)] Source # addProvenance :: Provenance m (StdValue m) -> StdThunk m -> StdThunk m Source #
HasCitations1 m (StdValue m) (StdCited m) Source #
Instance details Defined in Nix.Standard Methods citations1 :: StdCited m a -> [Provenance m (StdValue m)] Source # addProvenance1 :: Provenance m (StdValue m) -> StdCited m a -> StdCited m a Source #
Show (StdThunk m) Source #
Instance details 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 Source #
Instance details Defined in Nix.Standard Methods askScopes :: m (Scopes m (StdValue m)) Source # clearScopes :: m r -> m r Source # pushScopes :: Scopes m (StdValue m) -> m r -> m r Source # lookupVar :: VarName -> m (Maybe (StdValue m)) Source #
(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValue (StdValue m) m Source #
Instance details Defined in Nix.Standard Methods defer :: m (StdValue m) -> m (StdValue m) Source # demand :: StdValue m -> m (StdValue m) Source # inform :: StdValue m -> m (StdValue m) Source #
(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValueF (StdValue m) m Source #
Instance details Defined in Nix.Standard Methods demandF :: (StdValue m -> m r) -> StdValue m -> m r Source # informF :: (m (StdValue m) -> m (StdValue m)) -> StdValue m -> m (StdValue m) Source #
(Typeable m, MonadThunkId m, MonadAtomicRef m, MonadCatch m, MonadReader (Context m (StdValue m)) m) => MonadThunk (StdThunk m) m (StdValue m) Source #
Instance details Defined in Nix.Standard Methods thunkId :: StdThunk m -> ThunkId m Source # thunk :: m (StdValue m) -> m (StdThunk m) Source # query :: m (StdValue m) -> StdThunk m -> m (StdValue m) Source # force :: StdThunk m -> m (StdValue m) Source # forceEff :: StdThunk m -> m (StdValue m) Source # further :: StdThunk m -> m (StdThunk m) Source #
(Typeable m, MonadThunkId m, MonadAtomicRef m, MonadCatch m, MonadReader (Context m (StdValue m)) m) => MonadThunkF (StdThunk m) m (StdValue m) Source #	This is a functorized version in CPS.
Instance details Defined in Nix.Standard Methods queryF :: (StdValue m -> m r) -> m r -> StdThunk m -> m r Source # forceF :: (StdValue m -> m r) -> StdThunk m -> m r Source # forceEffF :: (StdValue m -> m r) -> StdThunk m -> m r Source # furtherF :: (m (StdValue m) -> m (StdValue m)) -> StdThunk m -> m (StdThunk m) Source #
ComonadEnv [Provenance m (StdValue m)] (StdCited m) Source #
Instance details Defined in Nix.Standard Methods ask :: StdCited m a -> [Provenance m (StdValue m)] Source #
(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 Source #
Instance details Defined in Nix.Standard Methods toAbsolutePath :: Path -> m Path Source # findEnvPath :: String -> m Path Source # findPath :: [NValue (StdThunk m) (StdCited m) m] -> Path -> m Path Source # importPath :: Path -> m (NValue (StdThunk m) (StdCited m) m) Source # pathToDefaultNix :: Path -> m Path Source # derivationStrict :: NValue (StdThunk m) (StdCited m) m -> m (NValue (StdThunk m) (StdCited m) m) Source # traceEffect :: String -> m () Source #
Monad m => MonadReader (Context r (StdValue r)) (StandardTF r m) Source #
Instance details 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 :: Type -> Type) = NValue' (StdThunk m) (StdCited m) m (StdValue m) Source #

type StdValue (m :: Type -> Type) = NValue (StdThunk m) (StdCited m) m Source #

type StandardIO = StandardT (StdIdT IO) Source #

type StdVal = StdValue StandardIO Source #

type StdThun = StdThunk StandardIO Source #

type StdIO = StandardIO () Source #

type CitedStdThunk (m :: Type -> Type) = Cited (StdThunk m) (StdCited m) m (NThunkF m (StdValue m)) Source #

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 :: Type -> Type) (m :: Type -> Type) a Source #

Constructors

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

Instances

Instances details

MonadThunkId m => MonadThunkId (StandardT m) Source #

Instance details

Defined in Nix.Standard

Associated Types

type ThunkId (StandardT m)
Instance details Defined in Nix.Standard type ThunkId (StandardT m) = ThunkId m

Methods

freshId :: StandardT m (ThunkId (StandardT m)) Source #

MonadTrans (StandardTF r) Source #

Instance details

Defined in Nix.Standard

Methods

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

MonadIO m => MonadIO (StandardTF r m) Source #

Instance details

Defined in Nix.Standard

Methods

liftIO :: IO a -> StandardTF r m a #

MonadCatch m => MonadCatch (StandardTF r m) Source #

Instance details

Defined in Nix.Standard

Methods

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

MonadMask m => MonadMask (StandardTF r m) Source #

Instance details

Defined in Nix.Standard

Methods

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

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

generalBracket :: HasCallStack => 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) Source #

Instance details

Defined in Nix.Standard

Methods

throwM :: (HasCallStack, Exception e) => e -> StandardTF r m a #

MonadPlus m => Alternative (StandardTF r m) Source #

Instance details

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) Source #

Instance details

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) Source #

Instance details

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) Source #

Instance details

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) Source #

Instance details

Defined in Nix.Standard

Methods

mzero :: StandardTF r m a #

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

MonadFail m => MonadFail (StandardTF r m) Source #

Instance details

Defined in Nix.Standard

Methods

fail :: String -> StandardTF r m a #

MonadFix m => MonadFix (StandardTF r m) Source #

Instance details

Defined in Nix.Standard

Methods

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

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

Instance details

Defined in Nix.Standard

Methods

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

getCurrentSystemOS :: StandardTF r m Text Source #

getCurrentSystemArch :: StandardTF r m Text Source #

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

Instance details

Defined in Nix.Standard

Methods

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

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

Instance details

Defined in Nix.Standard

Methods

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

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

Instance details

Defined in Nix.Standard

Methods

instantiateExpr :: Text -> StandardTF r m (Either ErrorCall NExprLoc) Source #

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

Instance details

Defined in Nix.Standard

Methods

recursiveSize :: a -> StandardTF r m Word Source #

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

Instance details

Defined in Nix.Standard

Methods

getDataDir :: StandardTF r m Path Source #

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

Instance details

Defined in Nix.Standard

Methods

putStr :: String -> StandardTF r m () Source #

MonadTrans (Fix1T StandardTF) Source #

Instance details

Defined in Nix.Standard

Methods

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

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

Instance details

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) Source #

Instance details

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) Source #

Instance details

Defined in Nix.Standard

type ThunkId (StandardT m) = ThunkId m

type StandardT (m :: Type -> Type) = Fix1T StandardTF m Source #

mkStandardT :: forall (m :: Type -> Type) a. ReaderT (Context (StandardT m) (StdValue (StandardT m))) (StateT (HashMap Path NExprLoc, HashMap Text Text) m) a -> StandardT m a Source #

runStandardT :: forall (m :: Type -> Type) a. StandardT m a -> ReaderT (Context (StandardT m) (StdValue (StandardT m))) (StateT (HashMap Path NExprLoc, HashMap Text Text) m) a Source #

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

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

Orphan instances

MonadReader (Context m (StdValue m)) m => Scoped (StdValue m) m Source #
Instance details Methods askScopes :: m (Scopes m (StdValue m)) Source # clearScopes :: m r -> m r Source # pushScopes :: Scopes m (StdValue m) -> m r -> m r Source # lookupVar :: VarName -> m (Maybe (StdValue m)) Source #

Documentation

Instances

Instances

instance MonadThunkF (Kleisli functor HOFs)

instance MonadValue (StdValue m) m

instance MonadValueF (StdValue m) m

Instances

Orphan instances

`instance MonadThunkF` (Kleisli functor HOFs)

`instance MonadValue (StdValue m) m`

`instance MonadValueF (StdValue m) m`