Safe Haskell	None
Language	Haskell2010

Napkin.Run.Effects.Interceptors.TryParseRawQueries

Synopsis

data Replacer m a where
- TryParseQuery :: Query -> Replacer m (Query, Set (Ref Table))
tryParseQuery :: forall r. MemberWithError Replacer r => Query -> Sem r (Query, Set (Ref Table))
interceptSqlReadTryParseRawQueries :: forall r a. Members [SqlRead, SqlParse, Log, Reader ExtraDependencies, Replacer] r => Sem r a -> Sem r a
interceptSqlWriteTryParseRawQueries :: forall r a. Members [SqlWrite, Reader ExtraDependencies, Replacer] r => Sem r a -> Sem r a
replacer :: Members [Replacer, Reader ExtraDependencies] r => Query -> (Query -> Sem r a) -> Sem r a
interpretReplacer :: Members [SqlParse, Log] r => Replacer m a -> Sem r a
interceptTryParseRawQueries :: Members [SqlRead, SqlParse, SqlWrite, Log, Reader 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

GShow (Replacer a :: Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.TryParseRawQueries Methods gshowsPrec :: forall (a0 :: k). Int -> Replacer a a0 -> ShowS #
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) #
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 #
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 #
type DefiningModule (Replacer :: k -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.TryParseRawQueries type DefiningModule (Replacer :: k -> Type -> Type) = "Napkin.Run.Effects.Interceptors.TryParseRawQueries"

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

interceptSqlReadTryParseRawQueries :: forall r a. Members [SqlRead, SqlParse, Log, Reader 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 r a. Members [SqlWrite, Reader ExtraDependencies, Replacer] r => Sem r a -> Sem r a #

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

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

interceptTryParseRawQueries :: Members [SqlRead, SqlParse, SqlWrite, Log, Reader ExtraDependencies] r => Sem r a -> Sem r a #