Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data Provenance m v Source #
Provenance | |
|
Instances
NCited | |
|
Instances
HasCitations m v (NCited m v a) Source # | |
Defined in Nix.Cited citations :: NCited m v a -> [Provenance m v] Source # addProvenance :: Provenance m v -> NCited m v a -> NCited m v a Source # | |
ComonadEnv [Provenance m v] (NCited m v) Source # | |
Defined in Nix.Cited ask :: NCited m v a -> [Provenance m v] # | |
Functor (NCited m v) Source # | |
Applicative (NCited m v) Source # | |
Foldable (NCited m v) Source # | |
Defined in Nix.Cited fold :: Monoid m0 => NCited m v m0 -> m0 # foldMap :: Monoid m0 => (a -> m0) -> NCited m v a -> m0 # foldr :: (a -> b -> b) -> b -> NCited m v a -> b # foldr' :: (a -> b -> b) -> b -> NCited m v a -> b # foldl :: (b -> a -> b) -> b -> NCited m v a -> b # foldl' :: (b -> a -> b) -> b -> NCited m v a -> b # foldr1 :: (a -> a -> a) -> NCited m v a -> a # foldl1 :: (a -> a -> a) -> NCited m v a -> a # toList :: NCited m v a -> [a] # null :: NCited m v a -> Bool # length :: NCited m v a -> Int # elem :: Eq a => a -> NCited m v a -> Bool # maximum :: Ord a => NCited m v a -> a # minimum :: Ord a => NCited m v a -> a # | |
Traversable (NCited m v) Source # | |
Defined in Nix.Cited | |
Comonad (NCited m v) Source # | |
(Show v, Show a) => Show (NCited m v a) Source # | |
Generic (NCited m v a) Source # | |
type Rep (NCited m v a) Source # | |
Defined in Nix.Cited type Rep (NCited m v a) = D1 (MetaData "NCited" "Nix.Cited" "hnix-0.6.1-1597pjcbiB2Cib3HzwJZxT" False) (C1 (MetaCons "NCited" PrefixI True) (S1 (MetaSel (Just "_provenance") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Provenance m v]) :*: S1 (MetaSel (Just "_cited") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) |
originExpr :: Functor f => (NExprLocF (Maybe v) -> f (NExprLocF (Maybe v))) -> Provenance m v -> f (Provenance m v) Source #
lexicalScope :: Functor f => (Scopes m1 v -> f (Scopes m2 v)) -> Provenance m1 v -> f (Provenance m2 v) Source #
provenance :: Functor f => ([Provenance m1 v1] -> f [Provenance m2 v2]) -> NCited m1 v1 a -> f (NCited m2 v2 a) Source #
class HasCitations m v a where Source #
citations :: a -> [Provenance m v] Source #
addProvenance :: Provenance m v -> a -> a Source #
Instances
HasCitations m v (NCited m v a) Source # | |
Defined in Nix.Cited citations :: NCited m v a -> [Provenance m v] Source # addProvenance :: Provenance m v -> NCited m v a -> NCited m v a Source # | |
(HasCitations1 m v f, HasCitations m v t) => HasCitations m v (NValue t f m) Source # | |
Defined in Nix.Pretty citations :: NValue t f m -> [Provenance m v] Source # addProvenance :: Provenance m v -> NValue t f m -> NValue t f m Source # | |
HasCitations1 m v f => HasCitations m v (NValue' t f m a) Source # | |
Defined in Nix.Pretty citations :: NValue' t f m a -> [Provenance m v] Source # addProvenance :: Provenance m v -> NValue' t f m a -> NValue' t f m a Source # | |
HasCitations m (StdValue m) (StdThunk m) Source # | |
Defined in Nix.Standard citations :: StdThunk m -> [Provenance m (StdValue m)] Source # addProvenance :: Provenance m (StdValue m) -> StdThunk m -> StdThunk m Source # |
class HasCitations1 m v f where Source #
citations1 :: f a -> [Provenance m v] Source #
addProvenance1 :: Provenance m v -> f a -> f a Source #
Instances
HasCitations1 m (StdValue m) (StdCited m) Source # | |
Defined in Nix.Standard citations1 :: StdCited m a -> [Provenance m (StdValue m)] Source # addProvenance1 :: Provenance m (StdValue m) -> StdCited m a -> StdCited m a Source # | |
HasCitations1 m (NValue t f m) (Cited t f m) Source # | |
Defined in Nix.Cited.Basic citations1 :: Cited t f m a -> [Provenance m (NValue t f m)] Source # addProvenance1 :: Provenance m (NValue t f m) -> Cited t f m a -> Cited t f m a Source # |