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 # 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" "hnix0.13.1b5yr3FpHjzZrJEmuWee0" '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 :: forall f v (m :: Type > Type). Functor f => (NExprLocF (Maybe v) > f (NExprLocF (Maybe v))) > Provenance m v > f (Provenance m v) Source #
lexicalScope :: forall f (m1 :: Type > Type) v (m2 :: Type > Type). Functor f => (Scopes m1 v > f (Scopes m2 v)) > Provenance m1 v > f (Provenance m2 v) Source #
cited :: forall f t a (m :: Type > Type) v. Functor f => (t > f a) > NCited m v t > f (NCited m v a) Source #
provenance :: forall f (m1 :: Type > Type) v1 (m2 :: Type > Type) v2 a. Functor f => ([Provenance m1 v1] > f [Provenance m2 v2]) > NCited m1 v1 a > f (NCited m2 v2 a) 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 # 
class HasCitations m v a where Source #
citations :: a > [Provenance m v] Source #
addProvenance :: Provenance m v > a > a Source #
Instances
(HasCitations1 m v f, HasCitations m v t) => HasCitations m v (NValue t f m) Source #  
Defined in Nix.Cited citations :: NValue t f m > [Provenance m v] Source # addProvenance :: Provenance m v > NValue t f m > NValue t f m Source #  
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 (NValue' t f m a) Source #  
Defined in Nix.Cited 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 # 