Nix.Cited.Basic

Documentation

newtype Cited t f m a

Constructors

Cited

Fields

• getCited :: NCited m (NValue t f m) a

Instances

HasCitations1 m (NValue t f m) (Cited t f m)

Defined in Nix.Cited.Basic

Methods

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

addProvenance1 :: Provenance m (NValue t f m) -> Cited t f m a -> Cited t f m a

ComonadEnv [Provenance m (NValue t f m)] (Cited t f m)

Defined in Nix.Cited.Basic

Methods

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

Functor (Cited t f m)

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)

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)

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

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)

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)

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)

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

Defined in Nix.Cited.Basic

Methods

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

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

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

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

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

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

type Rep (Cited t f m a)

Defined in Nix.Cited.Basic

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