Modulesmall-steps-1.1.4.0

Control.Provenance

Synopsis

valuedump :: Monad m => Prov m String

valuefind :: (Ord k, Typeable t) => k -> Map k PObject -> StrictMaybe t

valuegetM :: Monad m => ProvM s m (BlackBox s)

valueliftProv

valuemodifyM :: Monad m => (t -> t) -> ProvM t m ()

valuemodifyWithBlackBox :: Monad m => BlackBox p -> (p -> t -> t) -> ProvM t m ()

valueobserve :: Store -> String

valuepreservesJust :: Monad m => t -> ProvM t m a -> m Bool

valuepreservesNothing :: Monad m => ProvM t m a -> m Bool

valuepull :: (Monad m, Typeable t) => Text -> Prov m (BlackBox t)

valuepush :: (Provenance t, Monad m) => Text -> t -> Prov m ()

valuepushOtherProv

valueputM :: Monad m => s -> ProvM s m ()

valuerunOtherProv :: Monad m => s1 -> ProvM s1 m a -> ProvM s2 m (a, BlackBox s1)

valuerunProv :: Monad m => Prov m t -> m t

valuerunProvM :: Monad m => ProvM s m b -> m b

valuerunWithProv :: Monad m => Prov m t -> m (t, Store)

valuerunWithProvM :: Monad m => s -> ProvM s m a -> m (a, s)

valuestore :: (Provenance t, Monad m) => Text -> m t -> Prov m t

valueupdate :: (Provenance t, Monad m) => Text -> (t -> t) -> Prov m ()

valueupdateWithBlackBox

datadata BlackBox t

Instances2Functor, Show

Functor BlackBoxDefined in small-steps-1.1.4.0 · Control.Provenance
Show t => Show (BlackBox t)Defined in small-steps-1.1.4.0 · Control.Provenance

datadata PObject where

Instances2Show, NoThunks

typetype Prov (m :: Type -> Type) a = ProvM Store m a

newtypenewtype ProvM t (m :: Type -> Type) a

Instances4MonadTrans, Monad, Functor, Applicative

MonadTrans (ProvM t)Defined in small-steps-1.1.4.0 · Control.Provenance
Monad m => Monad (ProvM t m)Defined in small-steps-1.1.4.0 · Control.Provenance
Functor m => Functor (ProvM t m)Defined in small-steps-1.1.4.0 · Control.Provenance
Monad m => Applicative (ProvM t m)Defined in small-steps-1.1.4.0 · Control.Provenance

typetype Provenance t = (Typeable t, ToJSON t, Show t, NoThunks t)

methodlift :: Monad m => m a -> t m a

Lift a computation from the argument monad to the constructed monad.