Safe Haskell	Safe-Inferred
Language	GHC2021

Napkin.Run.Effects.Interceptors.TryParseRawQueries

Synopsis

data Replacer m a where
- TryParseQuery :: Query -> Replacer m (Query, Set (Ref Table))
tryParseQuery :: forall r. Member Replacer r => Query -> Sem r (Query, Set (Ref Table))
interceptSqlReadTryParseRawQueries :: forall b r a. Members [SqlRead b, SqlParse, Log, Output ExtraDependencies, Replacer] r => Sem r a -> Sem r a
interceptSqlWriteTryParseRawQueries :: forall b r a. Members [SqlWrite b, Output ExtraDependencies, Replacer] r => Sem r a -> Sem r a
replacer :: Members [Replacer, Output ExtraDependencies] r => Query -> (Query -> Sem r a) -> Sem r a
interpretReplacer :: Members [SqlParse, Log] r => Replacer m a -> Sem r a
interceptTryParseRawQueries :: forall b r a. Members [SqlRead b, SqlParse, SqlWrite b, Log, Output ExtraDependencies] r => Sem r a -> Sem r a

Documentation

data Replacer m a where #

Constructors

TryParseQuery :: Query -> Replacer m (Query, Set (Ref Table))

Instances

Instances details

GEq (Replacer a :: Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.TryParseRawQueries Methods geq :: forall (a0 :: k) (b :: k). Replacer a a0 -> Replacer a b -> Maybe (a0 :~: b) #
GShow (Replacer a :: Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.TryParseRawQueries Methods gshowsPrec :: forall (a0 :: k). Int -> Replacer a a0 -> ShowS #
Show (Replacer m a) #
Instance details Defined in Napkin.Run.Effects.Interceptors.TryParseRawQueries Methods showsPrec :: Int -> Replacer m a -> ShowS # show :: Replacer m a -> String # showList :: [Replacer m a] -> ShowS #
Eq (Replacer m a) #
Instance details Defined in Napkin.Run.Effects.Interceptors.TryParseRawQueries Methods (==) :: Replacer m a -> Replacer m a -> Bool # (/=) :: Replacer m a -> Replacer m a -> Bool #

tryParseQuery :: forall r. Member Replacer r => Query -> Sem r (Query, Set (Ref Table)) #

interceptSqlReadTryParseRawQueries :: forall b r a. Members [SqlRead b, SqlParse, Log, Output ExtraDependencies, Replacer] r => Sem r a -> Sem r a #

Parse top level QueryRaw instances and replace them with 'Query.'

TODO: This can only handle top level raw queries. What if raw queries appear deep within non-raw queries? We'd need a monadic interleaving traversal to reach all such cases and parse them.

interceptSqlWriteTryParseRawQueries :: forall b r a. Members [SqlWrite b, Output ExtraDependencies, Replacer] r => Sem r a -> Sem r a #

replacer :: Members [Replacer, Output ExtraDependencies] r => Query -> (Query -> Sem r a) -> Sem r a #

interpretReplacer :: Members [SqlParse, Log] r => Replacer m a -> Sem r a #

interceptTryParseRawQueries :: forall b r a. Members [SqlRead b, SqlParse, SqlWrite b, Log, Output ExtraDependencies] r => Sem r a -> Sem r a #