Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 depedencies, 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.
Synopsis
- data IState = IState {
- _istate_created :: Set (Ref Table)
- _istate_managed :: Set (Ref Table)
- _istate_external :: Set (Ref Table)
- _istate_hidden :: Set (Ref Table)
- _istate_targetCheck :: Bool
- istate_targetCheck :: Lens' IState Bool
- istate_managed :: Lens' IState (Set (Ref Table))
- istate_hidden :: Lens' IState (Set (Ref Table))
- istate_external :: Lens' IState (Set (Ref Table))
- istate_created :: Lens' IState (Set (Ref Table))
- emptyIState :: IState
- createReference :: Member (State IState) r => Ref Table -> Sem r ()
- useDependency :: (Member (State IState) r, Member (Reader HiddenDependencies) r) => Ref Table -> Sem r ()
- newtype TargetExists = TargetExists Bool
- runSqlReadFake :: Members [State IState, Reader HiddenDependencies, Input (Transformed TargetName)] r => TargetExists -> Sem (SqlRead ': r) a -> Sem r a
- runSqlWriteFake :: (Member (State IState) r, Member (Reader HiddenDependencies) r) => Sem (SqlWrite ': r) a -> Sem r a
- runExternalCreateFakeSuccess :: forall effs a. Member (State IState) effs => Sem (ExternalCreate ': effs) a -> Sem effs a
Documentation
IState | |
|
Instances
emptyIState :: IState #
useDependency :: (Member (State IState) r, Member (Reader HiddenDependencies) r) => Ref Table -> Sem r () #
Simulate use of a table
newtype TargetExists #
runSqlReadFake :: Members [State IState, Reader HiddenDependencies, Input (Transformed TargetName)] r => TargetExists -> Sem (SqlRead ': r) a -> Sem r a #
runSqlWriteFake :: (Member (State IState) r, Member (Reader HiddenDependencies) r) => Sem (SqlWrite ': r) a -> Sem r a #
runExternalCreateFakeSuccess :: forall effs a. Member (State IState) effs => Sem (ExternalCreate ': effs) a -> Sem effs a #