| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Napkin.Run.Effects.Interpreters.FakeLocal
Description
A SqlBackend interpreter that performs a minimal amount of table state management to facilitate dry runs and trivial unwrapping of SqlBackend effects.
It produces a report of used dependencies, but this is not intended for use in the Spec system for figuring out dependencies. User's forced/added dependencies would not show up here, for example. This is meant more for dry runs and simulations.
Documentation
runSqlReadFakeTableEnv :: forall {k} (b :: k) (r :: EffectRow) a. Members '[State IState :: (Type -> Type) -> Type -> Type, Reader HiddenDependencies, Input (Transformed TargetName) :: (Type -> Type) -> Type -> Type] r => TargetExists -> Sem ((SqlRead b :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a #
runSqlReadFake :: forall {k} (r :: EffectRow) (b :: k) a. Members '[State IState :: (Type -> Type) -> Type -> Type, Reader HiddenDependencies] r => Sem ((SqlRead b :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a #
runAnnotateWriteFake :: forall {k} (r :: EffectRow) (b :: k) a. (Member (State IState :: (Type -> Type) -> Type -> Type) r, Member (Reader HiddenDependencies) r) => Sem ((AnnotateWrite b :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a #
runAnnotateReadFake :: forall {k} (r :: EffectRow) (b :: k) a. (Member (State IState :: (Type -> Type) -> Type -> Type) r, Member (Reader HiddenDependencies) r) => Sem ((AnnotateRead b :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a #
runSqlWriteFake :: forall (r :: EffectRow) b a. (Member (State IState :: (Type -> Type) -> Type -> Type) r, Member (Reader HiddenDependencies) r) => Sem ((SqlWrite b :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a #
runExternalFakeSuccess :: forall (effs :: EffectRow) a. Members '[State IState :: (Type -> Type) -> Type -> Type, Input (Transformed TargetName) :: (Type -> Type) -> Type -> Type] effs => Sem ((External :: (Type -> Type) -> Type -> Type) ': effs) a -> Sem effs a #