Nix.Fresh
newtype FreshIdT i m a Source #
Constructors
Fields
Defined in Nix.Fresh.Basic
Methods
makeAbsolutePath :: FilePath -> StdIdT m FilePath Source #
findEnvPath :: String -> StdIdT m FilePath Source #
findPath :: [NValue t f (StdIdT m)] -> FilePath -> StdIdT m FilePath Source #
importPath :: FilePath -> StdIdT m (NValue t f (StdIdT m)) Source #
pathToDefaultNix :: FilePath -> StdIdT m FilePath Source #
derivationStrict :: NValue t f (StdIdT m) -> StdIdT m (NValue t f (StdIdT m)) Source #
traceEffect :: String -> StdIdT m () Source #
Defined in Nix.Fresh
liftBase :: b α -> FreshIdT i m α #
lift :: Monad m => m a -> FreshIdT i m a #
readFile :: FilePath -> StdIdT m ByteString Source #
listDirectory :: FilePath -> StdIdT m [FilePath] Source #
getCurrentDirectory :: StdIdT m FilePath Source #
canonicalizePath :: FilePath -> StdIdT m FilePath Source #
getHomeDirectory :: StdIdT m FilePath Source #
doesPathExist :: FilePath -> StdIdT m Bool Source #
doesFileExist :: FilePath -> StdIdT m Bool Source #
doesDirectoryExist :: FilePath -> StdIdT m Bool Source #
getSymbolicLinkStatus :: FilePath -> StdIdT m FileStatus Source #
addToStore :: StorePathName -> FilePath -> RecursiveFlag -> RepairFlag -> StdIdT m (Either ErrorCall StorePath) Source #
addTextToStore' :: StorePathName -> Text -> StorePathSet -> RepairFlag -> StdIdT m (Either ErrorCall StorePath) Source #
putStr :: String -> StdIdT m () Source #
getURL :: Text -> StdIdT m (Either ErrorCall StorePath) Source #
getDataDir :: StdIdT m FilePath Source #
getEnvVar :: Text -> StdIdT m (Maybe Text) Source #
getCurrentSystemOS :: StdIdT m Text Source #
getCurrentSystemArch :: StdIdT m Text Source #
instantiateExpr :: Text -> StdIdT m (Either ErrorCall NExprLoc) Source #
exec' :: [Text] -> StdIdT m (Either ErrorCall NExprLoc) Source #
recursiveSize :: a -> StdIdT m Word Source #
(>>=) :: FreshIdT i m a -> (a -> FreshIdT i m b) -> FreshIdT i m b #
(>>) :: FreshIdT i m a -> FreshIdT i m b -> FreshIdT i m b #
return :: a -> FreshIdT i m a #
fmap :: (a -> b) -> FreshIdT i m a -> FreshIdT i m b #
(<$) :: a -> FreshIdT i m b -> FreshIdT i m a #
mfix :: (a -> FreshIdT i m a) -> FreshIdT i m a #
fail :: String -> FreshIdT i m a #
pure :: a -> FreshIdT i m a #
(<*>) :: FreshIdT i m (a -> b) -> FreshIdT i m a -> FreshIdT i m b #
liftA2 :: (a -> b -> c) -> FreshIdT i m a -> FreshIdT i m b -> FreshIdT i m c #
(*>) :: FreshIdT i m a -> FreshIdT i m b -> FreshIdT i m b #
(<*) :: FreshIdT i m a -> FreshIdT i m b -> FreshIdT i m a #
empty :: FreshIdT i m a #
(<|>) :: FreshIdT i m a -> FreshIdT i m a -> FreshIdT i m a #
some :: FreshIdT i m a -> FreshIdT i m [a] #
many :: FreshIdT i m a -> FreshIdT i m [a] #
mzero :: FreshIdT i m a #
mplus :: FreshIdT i m a -> FreshIdT i m a -> FreshIdT i m a #
liftIO :: IO a -> FreshIdT i m a #
throwM :: Exception e => e -> FreshIdT i m a #
catch :: Exception e => FreshIdT i m a -> (e -> FreshIdT i m a) -> FreshIdT i m a #
mask :: ((forall a. FreshIdT i m a -> FreshIdT i m a) -> FreshIdT i m b) -> FreshIdT i m b #
uninterruptibleMask :: ((forall a. FreshIdT i m a -> FreshIdT i m a) -> FreshIdT i m b) -> FreshIdT i m b #
generalBracket :: FreshIdT i m a -> (a -> ExitCase b -> FreshIdT i m c) -> (a -> FreshIdT i m b) -> FreshIdT i m (b, c) #
Associated Types
type Ref (FreshIdT i m) :: Type -> Type #
newRef :: a -> FreshIdT i m (Ref (FreshIdT i m) a) #
readRef :: Ref (FreshIdT i m) a -> FreshIdT i m a #
writeRef :: Ref (FreshIdT i m) a -> a -> FreshIdT i m () #
modifyRef :: Ref (FreshIdT i m) a -> (a -> a) -> FreshIdT i m () #
modifyRef' :: Ref (FreshIdT i m) a -> (a -> a) -> FreshIdT i m () #
atomicModifyRef :: Ref (FreshIdT i m) a -> (a -> (a, b)) -> FreshIdT i m b #
atomicModifyRef' :: Ref (FreshIdT i m) a -> (a -> (a, b)) -> FreshIdT i m b #
type ThunkId (FreshIdT i m) Source #
freshId :: FreshIdT i m (ThunkId (FreshIdT i m)) Source #
runFreshIdT :: Functor m => Ref m i -> FreshIdT i m a -> m a Source #