napkin-spec-2.0.0
Safe HaskellNone
LanguageGHC2024

Napkin.Run.Effects.Interpreters.FakeLocal.Types

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

Documentation

data IState #

Constructors

IState 

Fields

Instances

Instances details
Generic IState # 
Instance details

Defined in Napkin.Run.Effects.Interpreters.FakeLocal.Types

Associated Types

type Rep IState 
Instance details

Defined in Napkin.Run.Effects.Interpreters.FakeLocal.Types

type Rep IState = D1 ('MetaData "IState" "Napkin.Run.Effects.Interpreters.FakeLocal.Types" "napkin-spec-2.0.0-7NH5JHRFo7V8BQP5NCfMo1" '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)))))

Methods

from :: IState -> Rep IState x #

to :: Rep IState x -> IState #

Show IState # 
Instance details

Defined in Napkin.Run.Effects.Interpreters.FakeLocal.Types

Eq IState # 
Instance details

Defined in Napkin.Run.Effects.Interpreters.FakeLocal.Types

Methods

(==) :: IState -> IState -> Bool #

(/=) :: IState -> IState -> Bool #

type Rep IState # 
Instance details

Defined in Napkin.Run.Effects.Interpreters.FakeLocal.Types

type Rep IState = D1 ('MetaData "IState" "Napkin.Run.Effects.Interpreters.FakeLocal.Types" "napkin-spec-2.0.0-7NH5JHRFo7V8BQP5NCfMo1" '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)))))

newtype TargetExists #

Constructors

TargetExists Bool 

createReference :: forall (r :: EffectRow). Member (State IState :: (Type -> Type) -> Type -> Type) r => Ref Table -> Sem r () #

Simulate creation of a table

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

Simulate use of a table