Safe Haskell | None |
---|---|

Language | Haskell2010 |

# Documentation

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, MonadThunk t m v, Typeable m, Typeable f, Typeable u, MonadCatch m) => MonadThunk (Cited u f m t) m v Source # | |

Defined in Nix.Cited.Basic 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 # | |

Defined in Nix.Cited.Basic |