Safe Haskell	None
Language	GHC2021

Napkin.Run.Effects.Languages.SqlRead

Synopsis

data TableKind
- = KindTable
- | KindView
- | KindMaterializedView
data SqlRead (b :: k) (m :: k1) a where
- RunQuery :: forall {k} {k1} (b :: k) (m :: k1). Query -> SqlRead b m [Map Text Value]
- CheckTableExists :: forall {k} {k1} (b :: k) (m :: k1). Ref Table -> SqlRead b m Bool
- GetTableKind :: forall {k} {k1} (b :: k) (m :: k1). Ref Table -> SqlRead b m TableKind
- GetRelationSchema' :: forall {k} {k1} (b :: k) (m :: k1). Ref Table -> Relation -> SqlRead b m [BackendSchemaField b]
runQuery :: forall {k} (b :: k) (r :: EffectRow). Member (SqlRead b :: (Type -> Type) -> Type -> Type) r => Query -> Sem r [Map Text Value]
checkTableExists :: forall {k} (b :: k) (r :: EffectRow). Member (SqlRead b :: (Type -> Type) -> Type -> Type) r => Ref Table -> Sem r Bool
getTableKind :: forall {k} (b :: k) (r :: EffectRow). Member (SqlRead b :: (Type -> Type) -> Type -> Type) r => Ref Table -> Sem r TableKind
getRelationSchema' :: forall {k} (b :: k) (r :: EffectRow). Member (SqlRead b :: (Type -> Type) -> Type -> Type) r => Ref Table -> Relation -> Sem r [BackendSchemaField b]
runQuerySingleAnswer :: forall {k} (b :: k) a (r :: EffectRow). (Val a, Member (SqlRead b :: (Type -> Type) -> Type -> Type) r) => Query -> Sem r (Maybe a)
getRelationSchema :: forall {k} (b :: k) (r :: EffectRow). Members '[SqlRead b :: (Type -> Type) -> Type -> Type, Input TemporaryTableName :: (Type -> Type) -> Type -> Type] 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 -> ME 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 :: k) (m :: k1) a where #

Constructors

RunQuery :: forall {k} {k1} (b :: k) (m :: k1). Query -> SqlRead b m [Map Text Value]
CheckTableExists :: forall {k} {k1} (b :: k) (m :: k1). Ref Table -> SqlRead b m Bool
GetTableKind :: forall {k} {k1} (b :: k) (m :: k1). Ref Table -> SqlRead b m TableKind
GetRelationSchema' :: forall {k} {k1} (b :: k) (m :: k1). Ref Table -> Relation -> SqlRead b m [BackendSchemaField b]

Instances

Instances details

(IsRenderable SExp b, IsRenderable Query b, IsRenderable String 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. SqlRead b (Sem r) x -> DumpItem b #
GShow (SqlRead b m :: Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Languages.SqlRead Methods gshowsPrec :: 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 #

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

checkTableExists :: forall {k} (b :: k) (r :: EffectRow). Member (SqlRead b :: (Type -> Type) -> Type -> Type) r => Ref Table -> Sem r Bool #

getTableKind :: forall {k} (b :: k) (r :: EffectRow). Member (SqlRead b :: (Type -> Type) -> Type -> Type) r => Ref Table -> Sem r TableKind #

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

runQuerySingleAnswer :: forall {k} (b :: k) a (r :: EffectRow). (Val a, Member (SqlRead b :: (Type -> Type) -> Type -> Type) 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 :: forall {k} (b :: k) (r :: EffectRow). Members '[SqlRead b :: (Type -> Type) -> Type -> Type, Input TemporaryTableName :: (Type -> Type) -> Type -> Type] r => Relation -> Sem r [BackendSchemaField b] #