Safe Haskell	None
Language	Haskell2010

Nix.Cited.Basic

Documentation

newtype Cited t f m a Source #

Constructors

Cited
Fields getCited :: NCited m (NValue t f m) a

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.9.0-inplace" 'True) (C1 ('MetaCons "Cited" 'PrefixI 'True) (S1 ('MetaSel ('Just "getCited") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NCited m (NValue t f m) a))))