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 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.

Synopsis

data IState = IState {
- created :: Set (Ref Table)
- managed :: Set (Ref Table)
- external :: Set (Ref Table)
- hidden :: Set (Ref Table)
- targetCheck :: Bool
}
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 created :: Set (Ref Table) References we've created ourselves managed :: Set (Ref Table) References accessed after they were created by us external :: Set (Ref Table) References that were used before they were created hidden :: Set (Ref Table) References that were used but were hidden explicitly targetCheck :: Bool Checked for target table name

Instances

Instances details

Generic IState #
Instance details Defined in Napkin.Run.Effects.Interpreters.FakeLocal Associated Types type Rep IState :: Type -> Type # Methods from :: IState -> Rep IState x # to :: Rep IState x -> IState #
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 #
type Rep IState #
Instance details Defined in Napkin.Run.Effects.Interpreters.FakeLocal type Rep IState = D1 ('MetaData "IState" "Napkin.Run.Effects.Interpreters.FakeLocal" "napkin-1.0.0-B79azc00rn1K8mj00hwhwG" 'False) (C1 ('MetaCons "IState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "created") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Ref Table))) :: S1 ('MetaSel ('Just "managed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Ref Table)))) :: (S1 ('MetaSel ('Just "external") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Ref Table))) :: (S1 ('MetaSel ('Just "hidden") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Ref Table))) :: S1 ('MetaSel ('Just "targetCheck") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))

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 #