Safe Haskell	Safe-Inferred
Language	GHC2021

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 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 b ': r) a -> Sem r a
runAnnotateWriteFake :: (Member (State IState) r, Member (Reader HiddenDependencies) r) => Sem (AnnotateWrite b ': r) a -> Sem r a
runAnnotateReadFake :: (Member (State IState) r, Member (Reader HiddenDependencies) r) => Sem (AnnotateRead b ': r) a -> Sem r a
runSqlWriteFake :: (Member (State IState) r, Member (Reader HiddenDependencies) r) => Sem (SqlWrite b ': r) a -> Sem r a
runExternalFakeSuccess :: forall effs a. Members [State IState, Input (Transformed TargetName)] effs => Sem (External : effs) a -> Sem effs a

Documentation

data IState #

Constructors

IState
Fields _istate_created :: Set (Ref Table) References we've created ourselves _istate_managed :: Set (Ref Table) References accessed after they were created by us _istate_external :: Set (Ref Table) References that were used before they were created _istate_hidden :: Set (Ref Table) References that were used but were hidden explicitly _istate_targetCheck :: Bool Checked for target table name

Instances

Instances details

Show IState #
Instance details Defined in Napkin.Run.Effects.Interpreters.FakeLocal Methods showsPrec :: Int -> IState -> ShowS # show :: IState -> String # showList :: [IState] -> ShowS #
Eq IState #
Instance details Defined in Napkin.Run.Effects.Interpreters.FakeLocal Methods (==) :: IState -> IState -> Bool # (/=) :: IState -> IState -> 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 () #

Simulate creation of a table

useDependency :: (Member (State IState) r, Member (Reader HiddenDependencies) r) => Ref Table -> Sem r () #

Simulate use of a table

newtype TargetExists #

Constructors

TargetExists Bool

runSqlReadFake :: Members [State IState, Reader HiddenDependencies, Input (Transformed TargetName)] r => TargetExists -> Sem (SqlRead b ': r) a -> Sem r a #

runAnnotateWriteFake :: (Member (State IState) r, Member (Reader HiddenDependencies) r) => Sem (AnnotateWrite b ': r) a -> Sem r a #

runAnnotateReadFake :: (Member (State IState) r, Member (Reader HiddenDependencies) r) => Sem (AnnotateRead b ': r) a -> Sem r a #

runSqlWriteFake :: (Member (State IState) r, Member (Reader HiddenDependencies) r) => Sem (SqlWrite b ': r) a -> Sem r a #

runExternalFakeSuccess :: forall effs a. Members [State IState, Input (Transformed TargetName)] effs => Sem (External : effs) a -> Sem effs a #