Safe Haskell	None
Language	Haskell2010

Nix.Utils.Fix1

Synopsis

newtype Fix1 (t :: (k -> Type) -> k -> Type) (a :: k) = Fix1 {
- unFix1 :: t (Fix1 t) a
}
newtype Fix1T (t :: (k -> Type) -> (Type -> Type) -> k -> Type) (m :: Type -> Type) (a :: k) = Fix1T {
- unFix1T :: t (Fix1T t m) m a
}
type MonadFix1T (t :: (Type -> Type) -> (Type -> Type) -> Type -> Type) (m :: Type -> Type) = (MonadTrans (Fix1T t), Monad (t (Fix1T t m) m))

Documentation

newtype Fix1 (t :: (k -> Type) -> k -> Type) (a :: k) Source #

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

Constructors

Fix1
Fields unFix1 :: t (Fix1 t) a

Instances

Instances details

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

Instance details

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

Instance details

Defined in Nix.Utils.Fix1

Methods

get :: Fix1 t s #

put :: s -> Fix1 t () #

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

MonadIO (t (Fix1 t)) => MonadIO (Fix1 t) Source #

Instance details

Defined in Nix.Utils.Fix1

Methods

liftIO :: IO a -> Fix1 t a #

MonadCatch (t (Fix1 t)) => MonadCatch (Fix1 t) Source #

Instance details

Defined in Nix.Utils.Fix1

Methods

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

MonadThrow (t (Fix1 t)) => MonadThrow (Fix1 t) Source #

Instance details

Defined in Nix.Utils.Fix1

Methods

throwM :: (HasCallStack, Exception e) => e -> Fix1 t a #

Alternative (t (Fix1 t)) => Alternative (Fix1 t) Source #

Instance details

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] #

Applicative (t (Fix1 t)) => Applicative (Fix1 t) Source #

Instance details

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 #

Functor (t (Fix1 t)) => Functor (Fix1 t) Source #

Instance details

Defined in Nix.Utils.Fix1

Methods

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

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

Monad (t (Fix1 t)) => Monad (Fix1 t) Source #

Instance details

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 #

MonadPlus (t (Fix1 t)) => MonadPlus (Fix1 t) Source #

Instance details

Defined in Nix.Utils.Fix1

Methods

mzero :: Fix1 t a #

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

MonadFix (t (Fix1 t)) => MonadFix (Fix1 t) Source #

Instance details

Defined in Nix.Utils.Fix1

Methods

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

MonadEnv (t (Fix1 t)) => MonadEnv (Fix1 t) Source #

Instance details

Defined in Nix.Effects

Methods

getEnvVar :: Text -> Fix1 t (Maybe Text) Source #

getCurrentSystemOS :: Fix1 t Text Source #

getCurrentSystemArch :: Fix1 t Text Source #

MonadExec (t (Fix1 t)) => MonadExec (Fix1 t) Source #

Instance details

Defined in Nix.Effects

Methods

exec' :: [Text] -> Fix1 t (Either ErrorCall NExprLoc) Source #

MonadHttp (t (Fix1 t)) => MonadHttp (Fix1 t) Source #

Instance details

Defined in Nix.Effects

Methods

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

MonadInstantiate (t (Fix1 t)) => MonadInstantiate (Fix1 t) Source #

Instance details

Defined in Nix.Effects

Methods

instantiateExpr :: Text -> Fix1 t (Either ErrorCall NExprLoc) Source #

MonadIntrospect (t (Fix1 t)) => MonadIntrospect (Fix1 t) Source #

Instance details

Defined in Nix.Effects

Methods

recursiveSize :: a -> Fix1 t Word Source #

MonadPaths (t (Fix1 t)) => MonadPaths (Fix1 t) Source #

Instance details

Defined in Nix.Effects

Methods

getDataDir :: Fix1 t Path Source #

MonadPutStr (t (Fix1 t)) => MonadPutStr (Fix1 t) Source #

Instance details

Defined in Nix.Effects

Methods

putStr :: String -> Fix1 t () Source #

Generic (Fix1 t a) Source #

Instance details

Defined in Nix.Utils.Fix1

Associated Types

type Rep (Fix1 t a)
Instance details Defined in Nix.Utils.Fix1 type Rep (Fix1 t a) = D1 ('MetaData "Fix1" "Nix.Utils.Fix1" "hnix-0.17.0-822MukN0dHtG1UXXNqsDIm" 'True) (C1 ('MetaCons "Fix1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFix1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (t (Fix1 t) a))))

Methods

from :: Fix1 t a -> Rep (Fix1 t a) x #

to :: Rep (Fix1 t a) x -> Fix1 t a #

type Rep (Fix1 t a) Source #

Instance details

Defined in Nix.Utils.Fix1

type Rep (Fix1 t a) = D1 ('MetaData "Fix1" "Nix.Utils.Fix1" "hnix-0.17.0-822MukN0dHtG1UXXNqsDIm" 'True) (C1 ('MetaCons "Fix1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFix1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (t (Fix1 t) a))))

newtype Fix1T (t :: (k -> Type) -> (Type -> Type) -> k -> Type) (m :: Type -> Type) (a :: k) Source #

Constructors

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

Instances

Instances details

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

Instance details

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

Instance details

Defined in Nix.Utils.Fix1

Methods

get :: Fix1T t m s #

put :: s -> Fix1T t m () #

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

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 (Fix1T StandardTF) Source #

Instance details

Defined in Nix.Standard

Methods

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

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

Instance details

Defined in Nix.Utils.Fix1

Methods

liftIO :: IO a -> Fix1T t m a #

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

Instance details

Defined in Nix.Utils.Fix1

Methods

catch :: (HasCallStack, 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) Source #

Instance details

Defined in Nix.Utils.Fix1

Methods

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

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

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

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

Instance details

Defined in Nix.Utils.Fix1

Methods

throwM :: (HasCallStack, Exception e) => e -> Fix1T t m a #

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

Instance details

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] #

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

Instance details

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 #

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

Instance details

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 #

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

Instance details

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 #

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

Instance details

Defined in Nix.Utils.Fix1

Methods

mzero :: Fix1T t m a #

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

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

Instance details

Defined in Nix.Utils.Fix1

Methods

fail :: String -> Fix1T t m a #

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

Instance details

Defined in Nix.Utils.Fix1

Methods

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

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

Instance details

Defined in Nix.Effects

Methods

getEnvVar :: Text -> Fix1T t m (Maybe Text) Source #

getCurrentSystemOS :: Fix1T t m Text Source #

getCurrentSystemArch :: Fix1T t m Text Source #

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

Instance details

Defined in Nix.Effects

Methods

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

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

Instance details

Defined in Nix.Effects

Methods

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

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

Instance details

Defined in Nix.Effects

Methods

instantiateExpr :: Text -> Fix1T t m (Either ErrorCall NExprLoc) Source #

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

Instance details

Defined in Nix.Effects

Methods

recursiveSize :: a -> Fix1T t m Word Source #

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

Instance details

Defined in Nix.Effects

Methods

getDataDir :: Fix1T t m Path Source #

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

Instance details

Defined in Nix.Effects

Methods

putStr :: String -> Fix1T t m () Source #

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

Instance details

Defined in Nix.Effects

Methods

addToStore :: StorePathName -> NarContent -> RecursiveFlag -> RepairFlag -> Fix1T t m (Either ErrorCall StorePath) Source #

addTextToStore' :: StorePathName -> Text -> StorePathSet -> RepairFlag -> Fix1T t m (Either ErrorCall StorePath) Source #

(MonadFix1T t m, MonadIO (Fix1T t m), MonadFail (Fix1T t m), MonadFile m) => MonadFile (Fix1T t m) Source #

Instance details

Defined in Nix.Render

Methods

readFile :: Path -> Fix1T t m Text Source #

listDirectory :: Path -> Fix1T t m [Path] Source #

getCurrentDirectory :: Fix1T t m Path Source #

canonicalizePath :: Path -> Fix1T t m Path Source #

getHomeDirectory :: Fix1T t m Path Source #

doesPathExist :: Path -> Fix1T t m Bool Source #

doesFileExist :: Path -> Fix1T t m Bool Source #

doesDirectoryExist :: Path -> Fix1T t m Bool Source #

getSymbolicLinkStatus :: Path -> Fix1T t m FileStatus Source #

(MonadFix1T t m, MonadAtomicRef m) => MonadAtomicRef (Fix1T t m) Source #

Instance details

Defined in Nix.Utils.Fix1

Methods

atomicModifyRef :: Ref (Fix1T t m) a -> (a -> (a, b)) -> Fix1T t m b Source #

atomicModifyRef' :: Ref (Fix1T t m) a -> (a -> (a, b)) -> Fix1T t m b Source #

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

Instance details

Defined in Nix.Utils.Fix1

Associated Types

type Ref (Fix1T t m)
Instance details Defined in Nix.Utils.Fix1 type Ref (Fix1T t m) = Ref m

Methods

newRef :: a -> Fix1T t m (Ref (Fix1T t m) a) Source #

readRef :: Ref (Fix1T t m) a -> Fix1T t m a Source #

writeRef :: Ref (Fix1T t m) a -> a -> Fix1T t m () Source #

modifyRef :: Ref (Fix1T t m) a -> (a -> a) -> Fix1T t m () Source #

modifyRef' :: Ref (Fix1T t m) a -> (a -> a) -> Fix1T t m () Source #

Generic (Fix1T t m m) Source #

Instance details

Defined in Nix.Utils.Fix1

Associated Types

type Rep (Fix1T t m m)
Instance details Defined in Nix.Utils.Fix1 type Rep (Fix1T t m m) = D1 ('MetaData "Fix1T" "Nix.Utils.Fix1" "hnix-0.17.0-822MukN0dHtG1UXXNqsDIm" 'True) (C1 ('MetaCons "Fix1T" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFix1T") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (t (Fix1T t m) m m))))

Methods

from :: Fix1T t m m -> Rep (Fix1T t m m) x #

to :: Rep (Fix1T t m m) x -> Fix1T t m m #

type ThunkId (StandardT m) Source #

Instance details

Defined in Nix.Standard

type ThunkId (StandardT m) = ThunkId m

type Ref (Fix1T t m) Source #

Instance details

Defined in Nix.Utils.Fix1

type Ref (Fix1T t m) = Ref m

type Rep (Fix1T t m m) Source #

Instance details

Defined in Nix.Utils.Fix1

type Rep (Fix1T t m m) = D1 ('MetaData "Fix1T" "Nix.Utils.Fix1" "hnix-0.17.0-822MukN0dHtG1UXXNqsDIm" 'True) (C1 ('MetaCons "Fix1T" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFix1T") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (t (Fix1T t m) m m))))

type MonadFix1T (t :: (Type -> Type) -> (Type -> Type) -> Type -> Type) (m :: Type -> Type) = (MonadTrans (Fix1T t), Monad (t (Fix1T t m) m)) Source #