Safe Haskell	Safe-Inferred
Language	GHC2021

Napkin.Run.Effects.Languages.SqlRead

Synopsis

data TableKind
- = KindTable
- | KindView
- | KindMaterializedView
data SqlRead b m a where
- RunQuery :: Query -> SqlRead b m [Map Text Value]
- CheckTableExists :: Ref Table -> SqlRead b m Bool
- GetTableKind :: Ref Table -> SqlRead b m TableKind
- GetRelationSchema' :: Ref Table -> Relation -> SqlRead b m [BackendSchemaField b]
getRelationSchema' :: forall b r. Member (SqlRead b) r => Ref Table -> Relation -> Sem r [BackendSchemaField b]
getTableKind :: forall b r. Member (SqlRead b) r => Ref Table -> Sem r TableKind
checkTableExists :: forall b r. Member (SqlRead b) r => Ref Table -> Sem r Bool
runQuery :: forall b r. Member (SqlRead b) r => Query -> Sem r [Map Text Value]
runQuerySingleAnswer :: forall b a r. (Val a, Member (SqlRead b) r) => Query -> Sem r (Maybe a)
getRelationSchema :: Members [SqlRead b, Input TemporaryTableName] r => Relation -> Sem r [BackendSchemaField b]

Documentation

data TableKind #

Constructors

KindTable
KindView
KindMaterializedView

Instances

Instances details

Bounded TableKind #
Instance details Defined in Napkin.Run.Effects.Languages.SqlRead Methods minBound :: TableKind # maxBound :: TableKind #
Enum TableKind #
Instance details Defined in Napkin.Run.Effects.Languages.SqlRead Methods succ :: TableKind -> TableKind # pred :: TableKind -> TableKind # toEnum :: Int -> TableKind # fromEnum :: TableKind -> Int # enumFrom :: TableKind -> [TableKind] # enumFromThen :: TableKind -> TableKind -> [TableKind] # enumFromTo :: TableKind -> TableKind -> [TableKind] # enumFromThenTo :: TableKind -> TableKind -> TableKind -> [TableKind] #
Show TableKind #
Instance details Defined in Napkin.Run.Effects.Languages.SqlRead Methods showsPrec :: Int -> TableKind -> ShowS # show :: TableKind -> String # showList :: [TableKind] -> ShowS #
Eq TableKind #
Instance details Defined in Napkin.Run.Effects.Languages.SqlRead Methods (==) :: TableKind -> TableKind -> Bool # (/=) :: TableKind -> TableKind -> Bool #
Ord TableKind #
Instance details Defined in Napkin.Run.Effects.Languages.SqlRead Methods compare :: TableKind -> TableKind -> Ordering # (<) :: TableKind -> TableKind -> Bool # (<=) :: TableKind -> TableKind -> Bool # (>) :: TableKind -> TableKind -> Bool # (>=) :: TableKind -> TableKind -> Bool # max :: TableKind -> TableKind -> TableKind # min :: TableKind -> TableKind -> TableKind #
FromRow TableKind #
Instance details Defined in Napkin.Run.MsSql Methods fromRow :: [Value] -> Either String TableKind #
FromRow TableKind #
Instance details Defined in Napkin.Run.PGCommon Methods fromRow :: RowParser TableKind #
RenderSql TableKind MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> TableKind -> Doc #
Command GetTableKind TableKind BigQuery #
Instance details Defined in Napkin.Run.BigQuery Methods execCommand :: MonadNapkin BigQuery m => BackendConn BigQuery -> GetTableKind -> m TableKind #
Command GetTableKind TableKind MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> GetTableKind -> m TableKind #
Command GetTableKind TableKind Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: MonadNapkin Postgres m => BackendConn Postgres -> GetTableKind -> m TableKind #
Command GetTableKind TableKind Redshift #
Instance details Defined in Napkin.Run.Redshift Methods execCommand :: MonadNapkin Redshift m => BackendConn Redshift -> GetTableKind -> m TableKind #
Command GetTableKind TableKind Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> GetTableKind -> m TableKind #

data SqlRead b m a where #

Constructors

RunQuery :: Query -> SqlRead b m [Map Text Value]
CheckTableExists :: Ref Table -> SqlRead b m Bool
GetTableKind :: Ref Table -> SqlRead b m TableKind
GetRelationSchema' :: Ref Table -> Relation -> SqlRead b m [BackendSchemaField b]

Instances

Instances details

(IsRenderable SExp b, IsRenderable Query b) => ToDumpItem (b :: k) (SqlRead b :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods toDumpItem :: forall (r :: EffectRow) (x :: k1). SqlRead b (Sem r) x -> DumpItem b #
GShow (SqlRead b m :: Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Languages.SqlRead Methods gshowsPrec :: forall (a :: k). Int -> SqlRead b m a -> ShowS #
Show (SqlRead b m a) #
Instance details Defined in Napkin.Run.Effects.Languages.SqlRead Methods showsPrec :: Int -> SqlRead b m a -> ShowS # show :: SqlRead b m a -> String # showList :: [SqlRead b m a] -> ShowS #
Eq (SqlRead b m a) #
Instance details Defined in Napkin.Run.Effects.Languages.SqlRead Methods (==) :: SqlRead b m a -> SqlRead b m a -> Bool # (/=) :: SqlRead b m a -> SqlRead b m a -> Bool #

getRelationSchema' :: forall b r. Member (SqlRead b) r => Ref Table -> Relation -> Sem r [BackendSchemaField b] #

getTableKind :: forall b r. Member (SqlRead b) r => Ref Table -> Sem r TableKind #

checkTableExists :: forall b r. Member (SqlRead b) r => Ref Table -> Sem r Bool #

runQuery :: forall b r. Member (SqlRead b) r => Query -> Sem r [Map Text Value] #

runQuerySingleAnswer :: forall b a r. (Val a, Member (SqlRead b) r) => Query -> Sem r (Maybe a) #

Run a query and pull out the first column from its first row. Meant for queries that return a single result.

getRelationSchema :: Members [SqlRead b, Input TemporaryTableName] r => Relation -> Sem r [BackendSchemaField b] #