Nix.Fresh

Documentation

newtype FreshIdT i m a

Constructors

FreshIdT

Fields

• unFreshIdT :: ReaderT (Var m i) m a

Instances

(MonadEffects t f m, MonadDataContext f m) => MonadEffects t f (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

makeAbsolutePath :: FilePath -> StdIdT m FilePath

findEnvPath :: String -> StdIdT m FilePath

findPath :: [NValue t f (StdIdT m)] -> FilePath -> StdIdT m FilePath

importPath :: FilePath -> StdIdT m (NValue t f (StdIdT m))

pathToDefaultNix :: FilePath -> StdIdT m FilePath

derivationStrict :: NValue t f (StdIdT m) -> StdIdT m (NValue t f (StdIdT m))

traceEffect :: String -> StdIdT m ()

MonadBase b m => MonadBase b (FreshIdT i m)

Defined in Nix.Fresh

Methods

liftBase :: b α -> FreshIdT i m α

MonadTrans (FreshIdT i)

Defined in Nix.Fresh

Methods

lift :: Monad m => m a -> FreshIdT i m a

(MonadFail m, MonadFile m) => MonadFile (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

readFile :: FilePath -> StdIdT m ByteString

listDirectory :: FilePath -> StdIdT m [FilePath]

getCurrentDirectory :: StdIdT m FilePath

canonicalizePath :: FilePath -> StdIdT m FilePath

getHomeDirectory :: StdIdT m FilePath

doesPathExist :: FilePath -> StdIdT m Bool

doesFileExist :: FilePath -> StdIdT m Bool

doesDirectoryExist :: FilePath -> StdIdT m Bool

getSymbolicLinkStatus :: FilePath -> StdIdT m FileStatus

MonadStore m => MonadStore (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

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

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

MonadPutStr m => MonadPutStr (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

putStr :: String -> StdIdT m ()

MonadHttp m => MonadHttp (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

getURL :: Text -> StdIdT m (Either ErrorCall StorePath)

MonadPaths m => MonadPaths (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

getDataDir :: StdIdT m FilePath

MonadEnv m => MonadEnv (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

getEnvVar :: String -> StdIdT m (Maybe String)

getCurrentSystemOS :: StdIdT m Text

getCurrentSystemArch :: StdIdT m Text

MonadInstantiate m => MonadInstantiate (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

instantiateExpr :: String -> StdIdT m (Either ErrorCall NExprLoc)

MonadExec m => MonadExec (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

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

MonadIntrospect m => MonadIntrospect (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

recursiveSize :: a -> StdIdT m Word

Monad m => Monad (FreshIdT i m)

Defined in Nix.Fresh

Methods

(>>=) :: 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

Functor m => Functor (FreshIdT i m)

Defined in Nix.Fresh

Methods

fmap :: (a -> b) -> FreshIdT i m a -> FreshIdT i m b

(<$) :: a -> FreshIdT i m b -> FreshIdT i m a

MonadFix m => MonadFix (FreshIdT i m)

Defined in Nix.Fresh

Methods

mfix :: (a -> FreshIdT i m a) -> FreshIdT i m a

MonadFail m => MonadFail (FreshIdT i m)

Defined in Nix.Fresh

Methods

fail :: String -> FreshIdT i m a

Applicative m => Applicative (FreshIdT i m)

Defined in Nix.Fresh

Methods

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

Alternative m => Alternative (FreshIdT i m)

Defined in Nix.Fresh

Methods

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]

MonadPlus m => MonadPlus (FreshIdT i m)

Defined in Nix.Fresh

Methods

mzero :: FreshIdT i m a

mplus :: FreshIdT i m a -> FreshIdT i m a -> FreshIdT i m a

MonadIO m => MonadIO (FreshIdT i m)

Defined in Nix.Fresh

Methods

liftIO :: IO a -> FreshIdT i m a

MonadThrow m => MonadThrow (FreshIdT i m)

Defined in Nix.Fresh

Methods

throwM :: Exception e => e -> FreshIdT i m a

MonadCatch m => MonadCatch (FreshIdT i m)

Defined in Nix.Fresh

Methods

catch :: Exception e => FreshIdT i m a -> (e -> FreshIdT i m a) -> FreshIdT i m a

MonadMask m => MonadMask (FreshIdT i m)

Defined in Nix.Fresh

Methods

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)

MonadRef m => MonadRef (FreshIdT i m)

Defined in Nix.Fresh

Associated Types

type Ref (FreshIdT i m) :: Type -> Type

Methods

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

MonadAtomicRef m => MonadAtomicRef (FreshIdT i m)

Defined in Nix.Fresh

Methods

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

(MonadVar m, Eq i, Ord i, Show i, Enum i, Typeable i) => MonadThunkId (FreshIdT i m)

Defined in Nix.Fresh

Associated Types

type ThunkId (FreshIdT i m)

Methods

freshId :: FreshIdT i m (ThunkId (FreshIdT i m))

type Ref (FreshIdT i m)

Defined in Nix.Fresh

type Ref (FreshIdT i m) = Ref (ReaderT (Var m i) m)

type ThunkId (FreshIdT i m)

Defined in Nix.Fresh

type ThunkId (FreshIdT i m) = i

runFreshIdT :: Functor m => Var m i -> FreshIdT i m a -> m a

Orphan instances

MonadAtomicRef (ST s)

Methods

atomicModifyRef :: Ref (ST s) a -> (a -> (a, b)) -> ST s b

atomicModifyRef' :: Ref (ST s) a -> (a -> (a, b)) -> ST s b