Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype Cited t f m a = Cited (NCited m (NValue t f m) a)
- pattern CitedP :: [Provenance m (NValue t f m)] -> a -> Cited t f m a
- cite :: Functor m => [Provenance m (NValue t f m)] -> m a -> m (Cited t f m a)
- handleDisplayProvenance :: (MonadCatch m, Typeable m, Typeable v, Has e Frames, MonadReader e m) => [Provenance m v] -> m a -> m a
- displayProvenance :: (MonadThrow m, MonadReader e m, Has e Frames, Typeable m, Typeable v) => [Provenance m v] -> m a -> m a
data type Cited
newtype Cited t f m a Source #
Instances
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 # | |
ComonadEnv [Provenance m (NValue t f m)] (Cited t f m) Source # | |
Defined in Nix.Cited.Basic ask :: Cited t f m a -> [Provenance m (NValue t f m)] # | |
Functor (Cited t f m) Source # | |
Applicative (Cited t f m) Source # | |
Defined in Nix.Cited.Basic | |
Foldable (Cited t f m) Source # | |
Defined in Nix.Cited.Basic 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 # | |
Traversable (Cited t f m) Source # | |
Defined in Nix.Cited.Basic | |
Comonad (Cited t f m) Source # | |
Generic (Cited t f m a) Source # | |
(Has e Options, Framed e m, MonadThunkF t m v, Typeable m, Typeable f, Typeable u, MonadCatch m) => MonadThunkF (Cited u f m t) m v Source # | |
(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 # | |
type Rep (Cited t f m a) Source # | |
Helpers
pattern CitedP :: [Provenance m (NValue t f m)] -> a -> Cited t f m a Source #
Cited
pattern.
> pattern CitedP m a = Cited (NCited m a)
cite :: Functor m => [Provenance m (NValue t f m)] -> m a -> m (Cited t f m a) Source #
Take: 1. Provenence info. 2. Value (like thunk) -> Produce cited value (thunk)
instances
Kleisli functor HOFs
Representation
handleDisplayProvenance :: (MonadCatch m, Typeable m, Typeable v, Has e Frames, MonadReader e m) => [Provenance m v] -> m a -> m a Source #
displayProvenance :: (MonadThrow m, MonadReader e m, Has e Frames, Typeable m, Typeable v) => [Provenance m v] -> m a -> m a Source #