hnix-0.17.0: Haskell implementation of the Nix language
Safe HaskellSafe-Inferred
LanguageHaskell2010

Nix.Standard

Synopsis

Documentation

newtype StdCited m a Source #

Constructors

StdCited (Cited (StdThunk m) (StdCited m) m a) 

Instances

Instances details
HasCitations m (StdValue m) (StdThunk m) Source # 
Instance details

Defined in Nix.Standard

HasCitations1 m (StdValue m) (StdCited m) Source # 
Instance details

Defined in Nix.Standard

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

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 #

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 #

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

askScopes :: m (Scopes m (StdValue m)) Source #

clearScopes :: m r -> m r Source #

pushScopes :: Scopes m (StdValue m) -> m r -> m r Source #

lookupVar :: VarName -> 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 -> m (StdValue m) Source #

inform :: StdValue m -> m (StdValue m) Source #

(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValueF (StdValue m) m Source # 
Instance details

Defined in Nix.Standard

Methods

demandF :: (StdValue m -> m r) -> StdValue m -> m r Source #

informF :: (m (StdValue m) -> m (StdValue m)) -> StdValue m -> m (StdValue m) Source #

(Typeable m, MonadThunkId m, MonadAtomicRef m, MonadCatch m, MonadReader (Context m (StdValue m)) m) => MonadThunk (StdThunk m) m (StdValue m) Source # 
Instance details

Defined in Nix.Standard

Methods

thunkId :: StdThunk m -> ThunkId m Source #

thunk :: m (StdValue m) -> m (StdThunk m) Source #

query :: m (StdValue m) -> StdThunk m -> m (StdValue m) Source #

force :: StdThunk m -> m (StdValue m) Source #

forceEff :: StdThunk m -> m (StdValue m) Source #

further :: StdThunk m -> m (StdThunk m) Source #

(Typeable m, MonadThunkId m, MonadAtomicRef m, MonadCatch m, MonadReader (Context m (StdValue m)) m) => MonadThunkF (StdThunk m) m (StdValue m) Source #

This is a functorized version in CPS.

Instance details

Defined in Nix.Standard

Methods

queryF :: (StdValue m -> m r) -> m r -> StdThunk m -> m r Source #

forceF :: (StdValue m -> m r) -> StdThunk m -> m r Source #

forceEffF :: (StdValue m -> m r) -> StdThunk m -> m r Source #

furtherF :: (m (StdValue m) -> m (StdValue m)) -> StdThunk 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 Path NExprLoc, HashMap Text Text) 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

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.17.0-8saIMbclRB9HPH4JCEpCXn" 'True) (C1 ('MetaCons "StdCited" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Cited (StdThunk m) (StdCited m) m a))))

newtype StdThunk m Source #

Constructors

StdThunk (StdCited m (NThunkF m (StdValue m))) 

Instances

Instances details
HasCitations m (StdValue m) (StdThunk m) Source # 
Instance details

Defined in Nix.Standard

HasCitations1 m (StdValue m) (StdCited m) Source # 
Instance details

Defined in Nix.Standard

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

askScopes :: m (Scopes m (StdValue m)) Source #

clearScopes :: m r -> m r Source #

pushScopes :: Scopes m (StdValue m) -> m r -> m r Source #

lookupVar :: VarName -> 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 -> m (StdValue m) Source #

inform :: StdValue m -> m (StdValue m) Source #

(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValueF (StdValue m) m Source # 
Instance details

Defined in Nix.Standard

Methods

demandF :: (StdValue m -> m r) -> StdValue m -> m r Source #

informF :: (m (StdValue m) -> m (StdValue m)) -> StdValue m -> m (StdValue m) Source #

(Typeable m, MonadThunkId m, MonadAtomicRef m, MonadCatch m, MonadReader (Context m (StdValue m)) m) => MonadThunk (StdThunk m) m (StdValue m) Source # 
Instance details

Defined in Nix.Standard

Methods

thunkId :: StdThunk m -> ThunkId m Source #

thunk :: m (StdValue m) -> m (StdThunk m) Source #

query :: m (StdValue m) -> StdThunk m -> m (StdValue m) Source #

force :: StdThunk m -> m (StdValue m) Source #

forceEff :: StdThunk m -> m (StdValue m) Source #

further :: StdThunk m -> m (StdThunk m) Source #

(Typeable m, MonadThunkId m, MonadAtomicRef m, MonadCatch m, MonadReader (Context m (StdValue m)) m) => MonadThunkF (StdThunk m) m (StdValue m) Source #

This is a functorized version in CPS.

Instance details

Defined in Nix.Standard

Methods

queryF :: (StdValue m -> m r) -> m r -> StdThunk m -> m r Source #

forceF :: (StdValue m -> m r) -> StdThunk m -> m r Source #

forceEffF :: (StdValue m -> m r) -> StdThunk m -> m r Source #

furtherF :: (m (StdValue m) -> m (StdValue m)) -> StdThunk 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 Path NExprLoc, HashMap Text Text) 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

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 CitedStdThunk m = Cited (StdThunk m) (StdCited m) m (NThunkF m (StdValue m)) Source #

Type alias:

Cited (StdThunk m) (StdCited m) m (NThunkF m (StdValue m))

instance MonadThunkF (Kleisli functor HOFs)

instance MonadValue (StdValue m) m

instance MonadValueF (StdValue m) m

newtype StandardTF r m a Source #

Instances

Instances details
MonadThunkId m => MonadThunkId (StandardT m) Source # 
Instance details

Defined in Nix.Standard

Associated Types

type ThunkId (StandardT m) Source #

MonadTrans (StandardTF r) Source # 
Instance details

Defined in Nix.Standard

Methods

lift :: Monad m => 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 #

MonadFix m => MonadFix (StandardTF r m) Source # 
Instance details

Defined in Nix.Standard

Methods

mfix :: (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 #

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

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 #

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 #

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 #

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 #

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

MonadThrow m => MonadThrow (StandardTF r m) Source # 
Instance details

Defined in Nix.Standard

Methods

throwM :: Exception e => e -> StandardTF r m a #

(MonadEnv r, MonadEnv m) => MonadEnv (StandardTF r m) Source # 
Instance details

Defined in Nix.Standard

(MonadExec r, MonadExec m) => MonadExec (StandardTF r m) Source # 
Instance details

Defined in Nix.Standard

(MonadHttp r, MonadHttp m) => MonadHttp (StandardTF r m) Source # 
Instance details

Defined in Nix.Standard

(MonadInstantiate r, MonadInstantiate m) => MonadInstantiate (StandardTF r m) Source # 
Instance details

Defined in Nix.Standard

(MonadIntrospect r, MonadIntrospect m) => MonadIntrospect (StandardTF r m) Source # 
Instance details

Defined in Nix.Standard

Methods

recursiveSize :: a -> StandardTF r m Word Source #

(MonadPaths r, MonadPaths m) => MonadPaths (StandardTF r m) Source # 
Instance details

Defined in Nix.Standard

(MonadPutStr r, MonadPutStr m) => MonadPutStr (StandardTF r m) Source # 
Instance details

Defined in Nix.Standard

Methods

putStr :: String -> StandardTF r m () Source #

MonadTrans (Fix1T StandardTF) Source # 
Instance details

Defined in Nix.Standard

Methods

lift :: Monad m => m a -> Fix1T StandardTF 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 #

Monad m => MonadState (HashMap Path NExprLoc, HashMap Text Text) (StandardTF r m) Source # 
Instance details

Defined in Nix.Standard

type ThunkId (StandardT m) Source # 
Instance details

Defined in Nix.Standard

Orphan instances

MonadReader (Context m (StdValue m)) m => Scoped (StdValue m) m Source # 
Instance details

Methods

askScopes :: m (Scopes m (StdValue m)) Source #

clearScopes :: m r -> m r Source #

pushScopes :: Scopes m (StdValue m) -> m r -> m r Source #

lookupVar :: VarName -> m (Maybe (StdValue m)) Source #