Safe Haskell	None
Language	Haskell2010

Nix.Standard

Contents

Orphan instances

Documentation

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

newtype StdCited m a Source #

Constructors

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

Instances

Instances details

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 #
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 #
Functor (StdCited m) Source #
Instance details Defined in Nix.Standard Methods fmap :: (a -> b) -> StdCited m a -> StdCited m b # (<$) :: a -> StdCited m b -> StdCited m a #
Applicative (StdCited m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Nix.Standard Methods currentScopes :: m (Scopes m (StdValue m)) Source # clearScopes :: m r -> m r Source # pushScopes :: Scopes m (StdValue m) -> m r -> m r Source # lookupVar :: Text -> 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 -> (StdValue m -> m r) -> m r Source # inform :: StdValue m -> (m (StdValue m) -> m (StdValue m)) -> m (StdValue m) Source #
(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadThunk (StdThunk m) m (StdValue m) Source #
Instance details Defined in Nix.Standard Methods thunk :: m (StdValue m) -> m (StdThunk m) Source # thunkId :: StdThunk m -> ThunkId m Source # queryM :: StdThunk m -> m r -> (StdValue m -> m r) -> m r Source # force :: StdThunk m -> (StdValue m -> m r) -> m r Source # forceEff :: StdThunk m -> (StdValue m -> m r) -> m r Source # further :: StdThunk m -> (m (StdValue m) -> m (StdValue 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)] #
(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 Source #
Instance details Defined in Nix.Standard Methods makeAbsolutePath :: FilePath -> m FilePath Source # findEnvPath :: String -> m FilePath Source # findPath :: [NValue (StdThunk m) (StdCited m) m] -> FilePath -> m FilePath Source # importPath :: FilePath -> m (NValue (StdThunk m) (StdCited m) m) Source # pathToDefaultNix :: FilePath -> m FilePath Source # derivationStrict :: NValue (StdThunk m) (StdCited m) m -> m (NValue (StdThunk m) (StdCited m) m) Source # traceEffect :: String -> m () Source #
Generic (StdCited m a) Source #
Instance details 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) 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.9.0-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 :: * -> *) Source #

Constructors

StdThunk
Fields _stdThunk :: StdCited m (NThunkF m (StdValue m))

Instances

Instances details

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 #
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 #
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 currentScopes :: m (Scopes m (StdValue m)) Source # clearScopes :: m r -> m r Source # pushScopes :: Scopes m (StdValue m) -> m r -> m r Source # lookupVar :: Text -> 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 -> (StdValue m -> m r) -> m r Source # inform :: StdValue m -> (m (StdValue m) -> m (StdValue m)) -> m (StdValue m) Source #
(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadThunk (StdThunk m) m (StdValue m) Source #
Instance details Defined in Nix.Standard Methods thunk :: m (StdValue m) -> m (StdThunk m) Source # thunkId :: StdThunk m -> ThunkId m Source # queryM :: StdThunk m -> m r -> (StdValue m -> m r) -> m r Source # force :: StdThunk m -> (StdValue m -> m r) -> m r Source # forceEff :: StdThunk m -> (StdValue m -> m r) -> m r Source # further :: StdThunk m -> (m (StdValue m) -> m (StdValue 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)] #
(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 Source #
Instance details Defined in Nix.Standard Methods makeAbsolutePath :: FilePath -> m FilePath Source # findEnvPath :: String -> m FilePath Source # findPath :: [NValue (StdThunk m) (StdCited m) m] -> FilePath -> m FilePath Source # importPath :: FilePath -> m (NValue (StdThunk m) (StdCited m) m) Source # pathToDefaultNix :: FilePath -> m FilePath 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 = NValue (StdThunk m) (StdCited m) m Source #

newtype StandardTF r m a Source #

Constructors

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

Instances

Instances details

MonadTrans (StandardTF r) Source #
Instance details Defined in Nix.Standard Methods lift :: Monad m => m a -> 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 #
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 #
MonadFix m => MonadFix (StandardTF r m) Source #
Instance details Defined in Nix.Standard Methods mfix :: (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 #
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 #
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] #
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 #
MonadIO m => MonadIO (StandardTF r m) Source #
Instance details Defined in Nix.Standard Methods liftIO :: IO a -> StandardTF r m a #
MonadThrow m => MonadThrow (StandardTF r m) Source #
Instance details Defined in Nix.Standard Methods throwM :: Exception e => e -> StandardTF r m a #
MonadCatch m => MonadCatch (StandardTF r m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Nix.Standard Methods lift :: Monad m => m a -> Fix1T StandardTF m a #
(MonadPutStr r, MonadPutStr m) => MonadPutStr (StandardTF r m) Source #
Instance details Defined in Nix.Standard Methods putStr :: String -> StandardTF r m () 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 #
(MonadPaths r, MonadPaths m) => MonadPaths (StandardTF r m) Source #
Instance details Defined in Nix.Standard Methods getDataDir :: StandardTF r m FilePath Source #
(MonadEnv r, MonadEnv m) => MonadEnv (StandardTF r m) Source #
Instance details Defined in Nix.Standard Methods getEnvVar :: String -> StandardTF r m (Maybe String) Source # getCurrentSystemOS :: StandardTF r m Text Source # getCurrentSystemArch :: StandardTF r m Text Source #
(MonadInstantiate r, MonadInstantiate m) => MonadInstantiate (StandardTF r m) Source #
Instance details Defined in Nix.Standard Methods instantiateExpr :: String -> StandardTF r m (Either ErrorCall NExprLoc) Source #
(MonadExec r, MonadExec m) => MonadExec (StandardTF r m) Source #
Instance details Defined in Nix.Standard Methods exec' :: [String] -> 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 #
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 FilePath NExprLoc) (StandardTF r m) Source #
Instance details 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) Source #
Instance details Defined in Nix.Standard Associated Types type ThunkId (Fix1T StandardTF m) Source # Methods freshId :: Fix1T StandardTF m (ThunkId (Fix1T StandardTF m)) Source #
type ThunkId (Fix1T StandardTF m) Source #
Instance details Defined in Nix.Standard type ThunkId (Fix1T StandardTF m) = ThunkId m

type StandardT m = Fix1T StandardTF m Source #

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

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

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

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

Orphan instances

MonadReader (Context m (StdValue m)) m => Scoped (StdValue m) m Source #
Instance details Methods currentScopes :: m (Scopes m (StdValue m)) Source # clearScopes :: m r -> m r Source # pushScopes :: Scopes m (StdValue m) -> m r -> m r Source # lookupVar :: Text -> m (Maybe (StdValue m)) Source #
MonadPutStr (t (Fix1 t)) => MonadPutStr (Fix1 t) Source #
Instance details Methods putStr :: String -> Fix1 t () Source #
MonadHttp (t (Fix1 t)) => MonadHttp (Fix1 t) Source #
Instance details Methods getURL :: Text -> Fix1 t (Either ErrorCall StorePath) Source #
MonadPaths (t (Fix1 t)) => MonadPaths (Fix1 t) Source #
Instance details Methods getDataDir :: Fix1 t FilePath Source #
MonadEnv (t (Fix1 t)) => MonadEnv (Fix1 t) Source #
Instance details Methods getEnvVar :: String -> Fix1 t (Maybe String) Source # getCurrentSystemOS :: Fix1 t Text Source # getCurrentSystemArch :: Fix1 t Text Source #
MonadInstantiate (t (Fix1 t)) => MonadInstantiate (Fix1 t) Source #
Instance details Methods instantiateExpr :: String -> Fix1 t (Either ErrorCall NExprLoc) Source #
MonadExec (t (Fix1 t)) => MonadExec (Fix1 t) Source #
Instance details Methods exec' :: [String] -> Fix1 t (Either ErrorCall NExprLoc) Source #
MonadIntrospect (t (Fix1 t)) => MonadIntrospect (Fix1 t) Source #
Instance details Methods recursiveSize :: a -> Fix1 t Word Source #
(MonadFix1T t m, MonadRef m) => MonadRef (Fix1T t m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Methods readFile :: FilePath -> Fix1T t m ByteString Source # listDirectory :: FilePath -> Fix1T t m [FilePath] Source # getCurrentDirectory :: Fix1T t m FilePath Source # canonicalizePath :: FilePath -> Fix1T t m FilePath Source # getHomeDirectory :: Fix1T t m FilePath Source # doesPathExist :: FilePath -> Fix1T t m Bool Source # doesFileExist :: FilePath -> Fix1T t m Bool Source # doesDirectoryExist :: FilePath -> Fix1T t m Bool Source # getSymbolicLinkStatus :: FilePath -> Fix1T t m FileStatus Source #
(MonadFix1T t m, MonadStore m) => MonadStore (Fix1T t m) Source #
Instance details Methods addPath' :: FilePath -> Fix1T t m (Either ErrorCall StorePath) Source # toFile_' :: FilePath -> String -> Fix1T t m (Either ErrorCall StorePath) Source #
MonadPutStr (t (Fix1T t m) m) => MonadPutStr (Fix1T t m) Source #
Instance details Methods putStr :: String -> Fix1T t m () Source #
MonadHttp (t (Fix1T t m) m) => MonadHttp (Fix1T t m) Source #
Instance details Methods getURL :: Text -> Fix1T t m (Either ErrorCall StorePath) Source #
MonadPaths (t (Fix1T t m) m) => MonadPaths (Fix1T t m) Source #
Instance details Methods getDataDir :: Fix1T t m FilePath Source #
MonadEnv (t (Fix1T t m) m) => MonadEnv (Fix1T t m) Source #
Instance details Methods getEnvVar :: String -> Fix1T t m (Maybe String) Source # getCurrentSystemOS :: Fix1T t m Text Source # getCurrentSystemArch :: Fix1T t m Text Source #
MonadInstantiate (t (Fix1T t m) m) => MonadInstantiate (Fix1T t m) Source #
Instance details Methods instantiateExpr :: String -> Fix1T t m (Either ErrorCall NExprLoc) Source #
MonadExec (t (Fix1T t m) m) => MonadExec (Fix1T t m) Source #
Instance details Methods exec' :: [String] -> Fix1T t m (Either ErrorCall NExprLoc) Source #
MonadIntrospect (t (Fix1T t m) m) => MonadIntrospect (Fix1T t m) Source #
Instance details Methods recursiveSize :: a -> Fix1T t m Word Source #