Nix.Cited.Basic · hnix-0.17.0

data type `Cited`

newtypenewtype Cited t (f :: Type -> Type) (m :: Type -> Type) a

Instances11HasCitations1, ComonadEnv, Functor, Applicative, Foldable, Traversable, …

HasCitations1 m (NValue t f m) (Cited t f m)Defined in hnix-0.17.0 · Nix.Cited.Basic
ComonadEnv [Provenance m (NValue t f m)] (Cited t f m)Defined in hnix-0.17.0 · Nix.Cited.Basic
Functor (Cited t f m)Defined in hnix-0.17.0 · Nix.Cited.Basic
Applicative (Cited t f m)Defined in hnix-0.17.0 · Nix.Cited.Basic
Foldable (Cited t f m)Defined in hnix-0.17.0 · Nix.Cited.Basic
Traversable (Cited t f m)Defined in hnix-0.17.0 · Nix.Cited.Basic
Comonad (Cited t f m)Defined in hnix-0.17.0 · Nix.Cited.Basic
Generic (Cited t f m a)Defined in hnix-0.17.0 · Nix.Cited.Basic
(Has e Options, Framed e m, MonadThunk t m v, Typeable m, Typeable f, Typeable u, MonadCatch m) => MonadThunk (Cited u f m t) m vDefined in hnix-0.17.0 · Nix.Cited.Basic
(Has e Options, Framed e m, MonadThunkF t m v, Typeable m, Typeable f, Typeable u, MonadCatch m) => MonadThunkF (Cited u f m t) m vDefined in hnix-0.17.0 · Nix.Cited.Basic
type Rep (Cited t f m a) = D1 ('MetaData "Cited" "Nix.Cited.Basic" "hnix-0.17.0-Iy75YcImuzK7FD0KGfkLv7" 'True) (C1 ('MetaCons "Cited" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NCited m (NValue t f m) a))))Defined in hnix-0.17.0 · Nix.Cited.Basic

patternpattern CitedP :: [Provenance m (NValue t f m)] -> a -> Cited t f m a

Cited pattern. > pattern CitedP m a = Cited (NCited m a)

valuecite

Take: 1. Provenence info. 2. Value (like thunk) -> Produce cited value (thunk)

valuehandleDisplayProvenance

valuedisplayProvenance