Nix.Utils.Fix1

Documentation

newtype Fix1 (t :: (k -> *) -> k -> *) (a :: k)

The fixpoint combinator, courtesy of Gregory Malecha. https://gist.github.com/gmalecha/ceb3778b9fdaa4374976e325ac8feced

Constructors

Fix1

Fields

• unFix1 :: t (Fix1 t) a

Instances

MonadReader e (t (Fix1 t)) => MonadReader e (Fix1 t)

Defined in Nix.Utils.Fix1

Methods

ask :: Fix1 t e

local :: (e -> e) -> Fix1 t a -> Fix1 t a

reader :: (e -> a) -> Fix1 t a

MonadState s (t (Fix1 t)) => MonadState s (Fix1 t)

Defined in Nix.Utils.Fix1

Methods

get :: Fix1 t s

put :: s -> Fix1 t ()

state :: (s -> (a, s)) -> Fix1 t a

Monad (t (Fix1 t)) => Monad (Fix1 t)

Defined in Nix.Utils.Fix1

Methods

(>>=) :: Fix1 t a -> (a -> Fix1 t b) -> Fix1 t b

(>>) :: Fix1 t a -> Fix1 t b -> Fix1 t b

return :: a -> Fix1 t a

Functor (t (Fix1 t)) => Functor (Fix1 t)

Defined in Nix.Utils.Fix1

Methods

fmap :: (a -> b) -> Fix1 t a -> Fix1 t b

(<$) :: a -> Fix1 t b -> Fix1 t a

MonadFix (t (Fix1 t)) => MonadFix (Fix1 t)

Defined in Nix.Utils.Fix1

Methods

mfix :: (a -> Fix1 t a) -> Fix1 t a

Applicative (t (Fix1 t)) => Applicative (Fix1 t)

Defined in Nix.Utils.Fix1

Methods

pure :: a -> Fix1 t a

(<*>) :: Fix1 t (a -> b) -> Fix1 t a -> Fix1 t b

liftA2 :: (a -> b -> c) -> Fix1 t a -> Fix1 t b -> Fix1 t c

(*>) :: Fix1 t a -> Fix1 t b -> Fix1 t b

(<*) :: Fix1 t a -> Fix1 t b -> Fix1 t a

Alternative (t (Fix1 t)) => Alternative (Fix1 t)

Defined in Nix.Utils.Fix1

Methods

empty :: Fix1 t a

(<|>) :: Fix1 t a -> Fix1 t a -> Fix1 t a

some :: Fix1 t a -> Fix1 t [a]

many :: Fix1 t a -> Fix1 t [a]

MonadPlus (t (Fix1 t)) => MonadPlus (Fix1 t)

Defined in Nix.Utils.Fix1

Methods

mzero :: Fix1 t a

mplus :: Fix1 t a -> Fix1 t a -> Fix1 t a

MonadIO (t (Fix1 t)) => MonadIO (Fix1 t)

Defined in Nix.Utils.Fix1

Methods

liftIO :: IO a -> Fix1 t a

MonadThrow (t (Fix1 t)) => MonadThrow (Fix1 t)

Defined in Nix.Utils.Fix1

Methods

throwM :: Exception e => e -> Fix1 t a

MonadCatch (t (Fix1 t)) => MonadCatch (Fix1 t)

Defined in Nix.Utils.Fix1

Methods

catch :: Exception e => Fix1 t a -> (e -> Fix1 t a) -> Fix1 t a

MonadPutStr (t (Fix1 t)) => MonadPutStr (Fix1 t)

Defined in Nix.Standard

Methods

putStr :: String -> Fix1 t ()

MonadHttp (t (Fix1 t)) => MonadHttp (Fix1 t)

Defined in Nix.Standard

Methods

getURL :: Text -> Fix1 t (Either ErrorCall StorePath)

MonadPaths (t (Fix1 t)) => MonadPaths (Fix1 t)

Defined in Nix.Standard

Methods

getDataDir :: Fix1 t FilePath

MonadEnv (t (Fix1 t)) => MonadEnv (Fix1 t)

Defined in Nix.Standard

Methods

getEnvVar :: String -> Fix1 t (Maybe String)

getCurrentSystemOS :: Fix1 t Text

getCurrentSystemArch :: Fix1 t Text

MonadInstantiate (t (Fix1 t)) => MonadInstantiate (Fix1 t)

Defined in Nix.Standard

Methods

instantiateExpr :: String -> Fix1 t (Either ErrorCall NExprLoc)

MonadExec (t (Fix1 t)) => MonadExec (Fix1 t)

Defined in Nix.Standard

Methods

exec' :: [String] -> Fix1 t (Either ErrorCall NExprLoc)

MonadIntrospect (t (Fix1 t)) => MonadIntrospect (Fix1 t)

Defined in Nix.Standard

Methods

recursiveSize :: a -> Fix1 t Word

newtype Fix1T (t :: (k -> *) -> (* -> *) -> k -> *) (m :: * -> *) (a :: k)

Constructors

Fix1T

Fields

• unFix1T :: t (Fix1T t m) m a

Instances

MonadReader e (t (Fix1T t m) m) => MonadReader e (Fix1T t m)

Defined in Nix.Utils.Fix1

Methods

ask :: Fix1T t m e

local :: (e -> e) -> Fix1T t m a -> Fix1T t m a

reader :: (e -> a) -> Fix1T t m a

MonadState s (t (Fix1T t m) m) => MonadState s (Fix1T t m)

Defined in Nix.Utils.Fix1

Methods

get :: Fix1T t m s

put :: s -> Fix1T t m ()

state :: (s -> (a, s)) -> Fix1T t m a

MonadTrans (Fix1T StandardTF)

Defined in Nix.Standard

Methods

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

Monad (t (Fix1T t m) m) => Monad (Fix1T t m)

Defined in Nix.Utils.Fix1

Methods

(>>=) :: Fix1T t m a -> (a -> Fix1T t m b) -> Fix1T t m b

(>>) :: Fix1T t m a -> Fix1T t m b -> Fix1T t m b

return :: a -> Fix1T t m a

Functor (t (Fix1T t m) m) => Functor (Fix1T t m)

Defined in Nix.Utils.Fix1

Methods

fmap :: (a -> b) -> Fix1T t m a -> Fix1T t m b

(<$) :: a -> Fix1T t m b -> Fix1T t m a

MonadFix (t (Fix1T t m) m) => MonadFix (Fix1T t m)

Defined in Nix.Utils.Fix1

Methods

mfix :: (a -> Fix1T t m a) -> Fix1T t m a

MonadFail (t (Fix1T t m) m) => MonadFail (Fix1T t m)

Defined in Nix.Utils.Fix1

Methods

fail :: String -> Fix1T t m a

Applicative (t (Fix1T t m) m) => Applicative (Fix1T t m)

Defined in Nix.Utils.Fix1

Methods

pure :: a -> Fix1T t m a

(<*>) :: Fix1T t m (a -> b) -> Fix1T t m a -> Fix1T t m b

liftA2 :: (a -> b -> c) -> Fix1T t m a -> Fix1T t m b -> Fix1T t m c

(*>) :: Fix1T t m a -> Fix1T t m b -> Fix1T t m b

(<*) :: Fix1T t m a -> Fix1T t m b -> Fix1T t m a

Alternative (t (Fix1T t m) m) => Alternative (Fix1T t m)

Defined in Nix.Utils.Fix1

Methods

empty :: Fix1T t m a

(<|>) :: Fix1T t m a -> Fix1T t m a -> Fix1T t m a

some :: Fix1T t m a -> Fix1T t m [a]

many :: Fix1T t m a -> Fix1T t m [a]

MonadPlus (t (Fix1T t m) m) => MonadPlus (Fix1T t m)

Defined in Nix.Utils.Fix1

Methods

mzero :: Fix1T t m a

mplus :: Fix1T t m a -> Fix1T t m a -> Fix1T t m a

MonadIO (t (Fix1T t m) m) => MonadIO (Fix1T t m)

Defined in Nix.Utils.Fix1

Methods

liftIO :: IO a -> Fix1T t m a

MonadThrow (t (Fix1T t m) m) => MonadThrow (Fix1T t m)

Defined in Nix.Utils.Fix1

Methods

throwM :: Exception e => e -> Fix1T t m a

MonadCatch (t (Fix1T t m) m) => MonadCatch (Fix1T t m)

Defined in Nix.Utils.Fix1

Methods

catch :: Exception e => Fix1T t m a -> (e -> Fix1T t m a) -> Fix1T t m a

MonadMask (t (Fix1T t m) m) => MonadMask (Fix1T t m)

Defined in Nix.Utils.Fix1

Methods

mask :: ((forall a. Fix1T t m a -> Fix1T t m a) -> Fix1T t m b) -> Fix1T t m b

uninterruptibleMask :: ((forall a. Fix1T t m a -> Fix1T t m a) -> Fix1T t m b) -> Fix1T t m b

generalBracket :: Fix1T t m a -> (a -> ExitCase b -> Fix1T t m c) -> (a -> Fix1T t m b) -> Fix1T t m (b, c)

(MonadFix1T t m, MonadRef m) => MonadRef (Fix1T t m)

Defined in Nix.Standard

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)

Defined in Nix.Standard

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

MonadThunkId m => MonadThunkId (Fix1T StandardTF m)

Defined in Nix.Standard

Associated Types

type ThunkId (Fix1T StandardTF m)

Methods

freshId :: Fix1T StandardTF m (ThunkId (Fix1T StandardTF m))

(MonadFix1T t m, MonadFail (Fix1T t m), MonadFile m) => MonadFile (Fix1T t m)

Defined in Nix.Standard

Methods

readFile :: FilePath -> Fix1T t m ByteString

listDirectory :: FilePath -> Fix1T t m [FilePath]

getCurrentDirectory :: Fix1T t m FilePath

canonicalizePath :: FilePath -> Fix1T t m FilePath

getHomeDirectory :: Fix1T t m FilePath

doesPathExist :: FilePath -> Fix1T t m Bool

doesFileExist :: FilePath -> Fix1T t m Bool

doesDirectoryExist :: FilePath -> Fix1T t m Bool

getSymbolicLinkStatus :: FilePath -> Fix1T t m FileStatus

(MonadFix1T t m, MonadStore m) => MonadStore (Fix1T t m)

Defined in Nix.Standard

Methods

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

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

MonadPutStr (t (Fix1T t m) m) => MonadPutStr (Fix1T t m)

Defined in Nix.Standard

Methods

putStr :: String -> Fix1T t m ()

MonadHttp (t (Fix1T t m) m) => MonadHttp (Fix1T t m)

Defined in Nix.Standard

Methods

getURL :: Text -> Fix1T t m (Either ErrorCall StorePath)

MonadPaths (t (Fix1T t m) m) => MonadPaths (Fix1T t m)

Defined in Nix.Standard

Methods

getDataDir :: Fix1T t m FilePath

MonadEnv (t (Fix1T t m) m) => MonadEnv (Fix1T t m)

Defined in Nix.Standard

Methods

getEnvVar :: String -> Fix1T t m (Maybe String)

getCurrentSystemOS :: Fix1T t m Text

getCurrentSystemArch :: Fix1T t m Text

MonadInstantiate (t (Fix1T t m) m) => MonadInstantiate (Fix1T t m)

Defined in Nix.Standard

Methods

instantiateExpr :: String -> Fix1T t m (Either ErrorCall NExprLoc)

MonadExec (t (Fix1T t m) m) => MonadExec (Fix1T t m)

Defined in Nix.Standard

Methods

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

MonadIntrospect (t (Fix1T t m) m) => MonadIntrospect (Fix1T t m)

Defined in Nix.Standard

Methods

recursiveSize :: a -> Fix1T t m Word

type Ref (Fix1T t m)

Defined in Nix.Standard

type Ref (Fix1T t m) = Ref m

type ThunkId (Fix1T StandardTF m)

Defined in Nix.Standard

type ThunkId (Fix1T StandardTF m) = ThunkId m