Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Modulesmall-steps-1.1.4.0

Control.Provenance

5 types
21 values

Packagesmall-steps-1.1.4.0
Exports27
LicenceApache-2.0
SourceClass.hs

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

:: Monad m
=> ProvM s1 m a
-> s1
-> a -> s1 -> s2 -> s2
-> ProvM s2 m a

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

:: (Provenance s1, Monad m)
=> Text
-> s1
-> ProvM s1 m a
-> ProvM Store m a

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

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

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

Show PObjectDefined in small-steps-1.1.4.0 · Control.Provenance
NoThunks PObjectDefined in small-steps-1.1.4.0 · Control.Provenance

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

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

Constructors

ProvM (StateT (StrictMaybe t) m 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.