napkin-spec-2.0.0
Safe HaskellNone
LanguageGHC2024

Napkin.Run.Effects.Languages.SqlParse

Documentation

data SqlParseError #

Constructors

SqlParseError 

Fields

Instances

Instances details
Show SqlParseError # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlParse

Methods

showsPrec :: Int -> SqlParseError -> ShowS #

show :: SqlParseError -> String #

showList :: [SqlParseError] -> ShowS #

Eq SqlParseError # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlParse

Methods

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

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

prettyPrintSqlParseError :: SqlParseError -> Text #

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

Instances details
GShow (SqlParse a :: Type -> Type) # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlParse

Methods

gshowsPrec :: Int -> SqlParse a a0 -> ShowS #

CacheableEffect (SqlParse :: k -> Type -> Type) SqlParseCacheKey # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlParse

Methods

cacheKey :: Proxy SqlParseCacheKey #

Show (SqlParse m a) # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlParse

Methods

showsPrec :: Int -> SqlParse m a -> ShowS #

show :: SqlParse m a -> String #

showList :: [SqlParse m a] -> ShowS #

Eq (SqlParse m a) # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlParse

Methods

(==) :: SqlParse m a -> SqlParse m a -> Bool #

(/=) :: SqlParse m a -> SqlParse m a -> Bool #

Ord (SqlParse m a) # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlParse

Methods

compare :: SqlParse m a -> SqlParse m a -> Ordering #

(<) :: SqlParse m a -> SqlParse m a -> Bool #

(<=) :: SqlParse m a -> SqlParse m a -> Bool #

(>) :: SqlParse m a -> SqlParse m a -> Bool #

(>=) :: SqlParse m a -> SqlParse m a -> Bool #

max :: SqlParse m a -> SqlParse m a -> SqlParse m a #

min :: SqlParse m a -> SqlParse m a -> SqlParse m a #

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 #

class Stateable a where #

Methods

toStatement :: a -> Statement #

fromStatement :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => Statement -> Sem r a #

refTableLens :: Lens' a (Ref Table) #

Instances

Instances details
Stateable CreateTableDDL # 
Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

Methods

toStatement :: CreateTableDDL -> Statement #

fromStatement :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => Statement -> Sem r CreateTableDDL #

refTableLens :: Lens' CreateTableDDL (Ref Table) #

Stateable InsertStatement # 
Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

Methods

toStatement :: InsertStatement -> Statement #

fromStatement :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => Statement -> Sem r InsertStatement #

refTableLens :: Lens' InsertStatement (Ref Table) #

parseStatements :: forall (r :: EffectRow) a. (Members '[SqlParse :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r, Stateable a) => SourceLocation -> Text -> Sem r [a] #

overrideDialect :: forall (r :: EffectRow) a. Member (Reader SQLDialect) r => SQLDialect -> Sem r a -> Sem r a #

data SqlParseCacheKey #

Instances

Instances details
CacheableEffect (SqlParse :: k -> Type -> Type) SqlParseCacheKey # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlParse

Methods

cacheKey :: Proxy SqlParseCacheKey #