hnix-0.10.1: Haskell implementation of the Nix language
Safe HaskellNone
LanguageHaskell2010

Nix.Cited.Basic

Documentation

newtype Cited t f m a Source #

Constructors

Cited 

Fields

Instances

Instances details
HasCitations1 m (NValue t f m) (Cited t f m) Source # 
Instance details

Defined in Nix.Cited.Basic

Methods

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 #

ComonadEnv [Provenance m (NValue t f m)] (Cited t f m) Source # 
Instance details

Defined in Nix.Cited.Basic

Methods

ask :: Cited t f m a -> [Provenance m (NValue t f m)] #

Functor (Cited t f m) Source # 
Instance details

Defined in Nix.Cited.Basic

Methods

fmap :: (a -> b) -> Cited t f m a -> Cited t f m b #

(<$) :: a -> Cited t f m b -> Cited t f m a #

Applicative (Cited t f m) Source # 
Instance details

Defined in Nix.Cited.Basic

Methods

pure :: a -> Cited t f m a #

(<*>) :: Cited t f m (a -> b) -> Cited t f m a -> Cited t f m b #

liftA2 :: (a -> b -> c) -> Cited t f m a -> Cited t f m b -> Cited t f m c #

(*>) :: Cited t f m a -> Cited t f m b -> Cited t f m b #

(<*) :: Cited t f m a -> Cited t f m b -> Cited t f m a #

Foldable (Cited t f m) Source # 
Instance details

Defined in Nix.Cited.Basic

Methods

fold :: Monoid m0 => Cited t f m m0 -> m0 #

foldMap :: Monoid m0 => (a -> m0) -> Cited t f m a -> m0 #

foldMap' :: Monoid m0 => (a -> m0) -> Cited t f m a -> m0 #

foldr :: (a -> b -> b) -> b -> Cited t f m a -> b #

foldr' :: (a -> b -> b) -> b -> Cited t f m a -> b #

foldl :: (b -> a -> b) -> b -> Cited t f m a -> b #

foldl' :: (b -> a -> b) -> b -> Cited t f m a -> b #

foldr1 :: (a -> a -> a) -> Cited t f m a -> a #

foldl1 :: (a -> a -> a) -> Cited t f m a -> a #

toList :: Cited t f m a -> [a] #

null :: Cited t f m a -> Bool #

length :: Cited t f m a -> Int #

elem :: Eq a => a -> Cited t f m a -> Bool #

maximum :: Ord a => Cited t f m a -> a #

minimum :: Ord a => Cited t f m a -> a #

sum :: Num a => Cited t f m a -> a #

product :: Num a => Cited t f m a -> a #

Traversable (Cited t f m) Source # 
Instance details

Defined in Nix.Cited.Basic

Methods

traverse :: Applicative f0 => (a -> f0 b) -> Cited t f m a -> f0 (Cited t f m b) #

sequenceA :: Applicative f0 => Cited t f m (f0 a) -> f0 (Cited t f m a) #

mapM :: Monad m0 => (a -> m0 b) -> Cited t f m a -> m0 (Cited t f m b) #

sequence :: Monad m0 => Cited t f m (m0 a) -> m0 (Cited t f m a) #

Comonad (Cited t f m) Source # 
Instance details

Defined in Nix.Cited.Basic

Methods

extract :: Cited t f m a -> a #

duplicate :: Cited t f m a -> Cited t f m (Cited t f m a) #

extend :: (Cited t f m a -> b) -> Cited t f m a -> Cited t f m b #

Generic (Cited t f m a) Source # 
Instance details

Defined in Nix.Cited.Basic

Associated Types

type Rep (Cited t f m a) :: Type -> Type #

Methods

from :: Cited t f m a -> Rep (Cited t f m a) x #

to :: Rep (Cited t f m a) x -> Cited t f m a #

(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 v Source # 
Instance details

Defined in Nix.Cited.Basic

Methods

thunk :: m v -> m (Cited u f m t) Source #

thunkId :: Cited u f m t -> ThunkId m Source #

queryM :: Cited u f m t -> m r -> (v -> m r) -> m r Source #

force :: Cited u f m t -> (v -> m r) -> m r Source #

forceEff :: Cited u f m t -> (v -> m r) -> m r Source #

further :: Cited u f m t -> (m v -> m v) -> m (Cited u f m t) Source #

type Rep (Cited t f m a) Source # 
Instance details

Defined in Nix.Cited.Basic

type Rep (Cited t f m a) = D1 ('MetaData "Cited" "Nix.Cited.Basic" "hnix-0.10.1-inplace" 'True) (C1 ('MetaCons "Cited" 'PrefixI 'True) (S1 ('MetaSel ('Just "getCited") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NCited m (NValue t f m) a))))