Modulehnix-0.17.0Haskell2010

Nix.Standard

11 types
4 values

Packagehnix-0.17.0
Exports15
LanguageHaskell2010
LicenceBSD-3-Clause
SourceStandard.hs

newtypenewtype StdCited (m :: Type -> Type) a

Constructors

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

Instances17HasCitations, HasCitations1, Functor, Applicative, Foldable, Traversable, …

HasCitations m (StdValue m) (StdThunk m)Defined in hnix-0.17.0 · Nix.Standard
HasCitations1 m (StdValue m) (StdCited m)Defined in hnix-0.17.0 · Nix.Standard
Functor (StdCited m)Defined in hnix-0.17.0 · Nix.Standard
Applicative (StdCited m)Defined in hnix-0.17.0 · Nix.Standard
Foldable (StdCited m)Defined in hnix-0.17.0 · Nix.Standard
Traversable (StdCited m)Defined in hnix-0.17.0 · Nix.Standard
Comonad (StdCited m)Defined in hnix-0.17.0 · Nix.Standard
MonadReader (Context m (StdValue m)) m => Scoped (StdValue m) mDefined in hnix-0.17.0 · Nix.Standard · orphan
(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValue (StdValue m) mDefined in hnix-0.17.0 · Nix.Standard
(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValueF (StdValue m) mDefined in hnix-0.17.0 · Nix.Standard
(Typeable m, MonadThunkId m, MonadAtomicRef m, MonadCatch m, MonadReader (Context m (StdValue m)) m) => MonadThunk (StdThunk m) m (StdValue m)Defined in hnix-0.17.0 · Nix.Standard
(Typeable m, MonadThunkId m, MonadAtomicRef m, MonadCatch m, MonadReader (Context m (StdValue m)) m) => MonadThunkF (StdThunk m) m (StdValue m)Defined in hnix-0.17.0 · Nix.Standard
This is a functorized version in CPS.
ComonadEnv [Provenance m (StdValue m)] (StdCited m)Defined in hnix-0.17.0 · Nix.Standard
(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) mDefined in hnix-0.17.0 · Nix.Standard
Generic (StdCited m a)Defined in hnix-0.17.0 · Nix.Standard
Monad m => MonadReader (Context r (StdValue r)) (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
type Rep (StdCited m a) = D1 ('MetaData "StdCited" "Nix.Standard" "hnix-0.17.0-Iy75YcImuzK7FD0KGfkLv7" 'True) (C1 ('MetaCons "StdCited" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Cited (StdThunk m) (StdCited m) m a))))Defined in hnix-0.17.0 · Nix.Standard

newtypenewtype StdThunk (m :: Type -> Type)

Constructors

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

Instances11HasCitations, HasCitations1, Show, Scoped, MonadValue, MonadValueF, …

HasCitations m (StdValue m) (StdThunk m)Defined in hnix-0.17.0 · Nix.Standard
HasCitations1 m (StdValue m) (StdCited m)Defined in hnix-0.17.0 · Nix.Standard
Show (StdThunk m)Defined in hnix-0.17.0 · Nix.Standard
MonadReader (Context m (StdValue m)) m => Scoped (StdValue m) mDefined in hnix-0.17.0 · Nix.Standard · orphan
(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValue (StdValue m) mDefined in hnix-0.17.0 · Nix.Standard
(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValueF (StdValue m) mDefined in hnix-0.17.0 · Nix.Standard
(Typeable m, MonadThunkId m, MonadAtomicRef m, MonadCatch m, MonadReader (Context m (StdValue m)) m) => MonadThunk (StdThunk m) m (StdValue m)Defined in hnix-0.17.0 · Nix.Standard
(Typeable m, MonadThunkId m, MonadAtomicRef m, MonadCatch m, MonadReader (Context m (StdValue m)) m) => MonadThunkF (StdThunk m) m (StdValue m)Defined in hnix-0.17.0 · Nix.Standard
This is a functorized version in CPS.
ComonadEnv [Provenance m (StdValue m)] (StdCited m)Defined in hnix-0.17.0 · Nix.Standard
(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) mDefined in hnix-0.17.0 · Nix.Standard
Monad m => MonadReader (Context r (StdValue r)) (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard

typetype StdValue' (m :: Type -> Type) = NValue' (StdThunk m) (StdCited m) m (StdValue m)

typetype StdValue (m :: Type -> Type) = NValue (StdThunk m) (StdCited m) m

typetype StandardIO = StandardT (StdIdT IO)

typetype StdVal = StdValue StandardIO

typetype StdThun = StdThunk StandardIO

typetype StdIO = StandardIO ()

typetype CitedStdThunk (m :: Type -> Type) = Cited (StdThunk m) (StdCited m) m (NThunkF m (StdValue m))

Type alias:

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

`instance MonadThunkF` (Kleisli functor HOFs)

0 declarations

`instance MonadValue (StdValue m) m`

0 declarations

`instance MonadValueF (StdValue m) m`

6 declarations

newtypenewtype StandardTF (r :: Type -> Type) (m :: Type -> Type) a

Constructors

StandardTF (ReaderT (Context r (StdValue r)) (StateT (HashMap Path NExprLoc, HashMap Text Text) m) a)

Instances24MonadThunkId, Monad, Functor, MonadFix, MonadFail, Applicative, …

MonadTrans (StandardTF r)Defined in hnix-0.17.0 · Nix.Standard
MonadThunkId m => MonadThunkId (StandardT m)Defined in hnix-0.17.0 · Nix.Standard
Monad m => Monad (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
Functor m => Functor (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
MonadFix m => MonadFix (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
MonadFail m => MonadFail (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
Monad m => Applicative (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
MonadPlus m => Alternative (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
MonadPlus m => MonadPlus (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
MonadIO m => MonadIO (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
MonadTrans (Fix1T StandardTF)Defined in hnix-0.17.0 · Nix.Standard
MonadCatch m => MonadCatch (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
MonadMask m => MonadMask (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
MonadThrow m => MonadThrow (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
(MonadInstantiate r, MonadInstantiate m) => MonadInstantiate (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
(MonadEnv r, MonadEnv m) => MonadEnv (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
(MonadHttp r, MonadHttp m) => MonadHttp (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
(MonadPaths r, MonadPaths m) => MonadPaths (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
(MonadIntrospect r, MonadIntrospect m) => MonadIntrospect (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
(MonadExec r, MonadExec m) => MonadExec (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
(MonadPutStr r, MonadPutStr m) => MonadPutStr (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
Monad m => MonadReader (Context r (StdValue r)) (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
Monad m => MonadState (HashMap Path NExprLoc, HashMap Text Text) (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard
type ThunkId (StandardT m) = ThunkId mDefined in hnix-0.17.0 · Nix.Standard

typetype StandardT (m :: Type -> Type) = Fix1T StandardTF m

valuemkStandardT

:: ReaderT (Context (StandardT m) (StdValue (StandardT m))) (StateT (HashMap Path NExprLoc, HashMap Text Text) m) a
-> StandardT m a

valuerunStandardT

:: StandardT m a
-> ReaderT (Context (StandardT m) (StdValue (StandardT m))) (StateT (HashMap Path NExprLoc, HashMap Text Text) m) a

valuerunWithBasicEffects

:: (MonadIO m, MonadAtomicRef m)
=> Options
-> StandardT (StdIdT m) a
-> m a

valuerunWithBasicEffectsIO :: Options -> StandardIO a -> IO a

Orphan instances

1 instance

MonadReader (Context m (StdValue m)) m => Scoped (StdValue m) m

Constructors

Constructors

instance MonadThunkF (Kleisli functor HOFs)

instance MonadValue (StdValue m) m

instance MonadValueF (StdValue m) m

Constructors

Orphan instances

`instance MonadThunkF` (Kleisli functor HOFs)

`instance MonadValue (StdValue m) m`

`instance MonadValueF (StdValue m) m`