| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Napkin.Run.Effects.Languages.SqlParse
Documentation
newtype TargetName #
Constructors
| TargetName (Ref Table) |
data SqlParseError #
Constructors
| SqlParseError | |
Fields
| |
Instances
| Show SqlParseError # | |
Defined in Napkin.Run.Effects.Languages.SqlParse Methods showsPrec :: Int -> SqlParseError -> ShowS # show :: SqlParseError -> String # showList :: [SqlParseError] -> ShowS # | |
| Eq SqlParseError # | |
Defined in Napkin.Run.Effects.Languages.SqlParse Methods (==) :: SqlParseError -> SqlParseError -> Bool # (/=) :: SqlParseError -> SqlParseError -> Bool # | |
data SqlParse (m :: k) a where #
Constructors
| ParseSqlQuery' :: forall {k} (m :: k). SourceLocation -> Text -> SqlParse m (Either SqlParseError Query) | |
| ParseSqlExp' :: forall {k} (m :: k). SourceLocation -> Text -> SqlParse m (Either SqlParseError SExp) | |
| ParseSqlStatements' :: forall {k} (m :: k). SourceLocation -> Text -> SqlParse m (Either SqlParseError [Statement]) |
Instances
| GShow (SqlParse a :: Type -> Type) # | |
Defined in Napkin.Run.Effects.Languages.SqlParse Methods gshowsPrec :: Int -> SqlParse a a0 -> ShowS # | |
| CacheableEffect (SqlParse :: k -> Type -> Type) SqlParseCacheKey # | |
Defined in Napkin.Run.Effects.Languages.SqlParse Methods | |
| Show (SqlParse m a) # | |
| Eq (SqlParse m a) # | |
| Ord (SqlParse m a) # | |
Defined in Napkin.Run.Effects.Languages.SqlParse | |
parseSqlQuery' :: forall (r :: EffectRow). Member (SqlParse :: (Type -> Type) -> Type -> Type) r => SourceLocation -> Text -> Sem r (Either SqlParseError Query) #
parseSqlExp' :: forall (r :: EffectRow). Member (SqlParse :: (Type -> Type) -> Type -> Type) r => SourceLocation -> Text -> Sem r (Either SqlParseError SExp) #
parseSqlStatements' :: forall (r :: EffectRow). Member (SqlParse :: (Type -> Type) -> Type -> Type) r => SourceLocation -> Text -> Sem r (Either SqlParseError [Statement]) #
parseSqlQuery :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => SourceLocation -> Text -> Sem r Query #
parseSqlExp :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => SourceLocation -> Text -> Sem r SExp #
Methods
toStatement :: NonEmpty Name -> a -> Statement #
fromStatement :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => TargetName -> Statement -> Sem r a #
Instances
| Stateable CreateTableDDL # | |
Defined in Napkin.Run.Effects.Languages.StatementParse Methods toStatement :: NonEmpty Name -> CreateTableDDL -> Statement # fromStatement :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => TargetName -> Statement -> Sem r CreateTableDDL # | |
| Stateable InsertStatement # | |
Defined in Napkin.Run.Effects.Languages.StatementParse Methods toStatement :: NonEmpty Name -> InsertStatement -> Statement # fromStatement :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => TargetName -> Statement -> Sem r InsertStatement # | |
parseStatements :: forall (r :: EffectRow) a. (Members '[SqlParse :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r, Stateable a) => TargetName -> SourceLocation -> Text -> Sem r [a] #
overrideDialect :: forall (r :: EffectRow) a. Member (Reader SQLDialect) r => SQLDialect -> Sem r a -> Sem r a #
data SqlParseCacheKey #
Instances
| CacheableEffect (SqlParse :: k -> Type -> Type) SqlParseCacheKey # | |
Defined in Napkin.Run.Effects.Languages.SqlParse Methods | |