Data Sqlite # | |
Instance detailsDefined in Napkin.Types.Sqlite |
Show Sqlite # | |
Instance detailsDefined in Napkin.Types.Sqlite |
Eq Sqlite # | |
Instance detailsDefined in Napkin.Types.Sqlite |
Ord Sqlite # | |
Instance detailsDefined in Napkin.Types.Sqlite |
Backend Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
RunBackendEffect Sqlite # | |
Instance detailsDefined in Napkin.Run.Effects.Interpreters.Backend.Sqlite Methods runBackendEffectReal :: forall (m :: Type -> Type) (r :: EffectRow) a. (Members '[FatalError :: (Type -> Type) -> Type -> Type, Embed m] r, MonadNapkin Sqlite m, SqlIO m, LocalQueryStats Sqlite m) => BackendConn Sqlite -> Sem (BackendSpecificEffect Sqlite ': r) a -> Sem r a # runBackendEffectFake :: forall (r :: EffectRow) a. Members '[Reader HiddenDependencies, State IState :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => Sem (BackendSpecificEffect Sqlite ': r) a -> Sem r a # interceptBackendEffectDiscoverDependencies :: forall (r :: EffectRow) a. Members '[Input (Transformed HiddenDependencies) :: (Type -> Type) -> Type -> Type, Output Dependencies :: (Type -> Type) -> Type -> Type, BackendSpecificEffect Sqlite] r => Sem r a -> Sem r a # interceptBackendEffectApplyQueryTransformer :: forall (r :: EffectRow) a. Members '[Output ExtraDependencies :: (Type -> Type) -> Type -> Type, Reader QueryTransformer, BackendSpecificEffect Sqlite] r => Sem r a -> Sem r a # |
ReifiesBackend Sqlite # | |
Instance detailsDefined in Napkin.Types.Sqlite |
RunBackendConn Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
ToDbBackend Sqlite # | |
Instance detailsDefined in Napkin.Backends.Types |
RenderSql DeleteFrom Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
RenderSql DropTable Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
RenderSql DropView Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
RenderSql InsertIntoQuery Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
RenderSql RenameTable Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
RenderSql Object Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
RenderSql From Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
RenderSql Name Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
RenderSql Query Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
RenderSql Relation Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
RenderSql SExp Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
RenderSql String Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
HasBackendSchemaField Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
CSVImport Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
HasBackendQueryStats Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
SqlConcat Sqlite # | |
Instance detailsDefined in Napkin.Untyped.Ops.Portable.Sqlite |
Command AEDA TableDiagnostics Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command AnnotateCommand () Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command CheckTableExists Bool Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command CopyTable () Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command DeleteFrom () Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command DropTable () Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command DropView () Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command GetTableKind TableKind Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command InsertIntoQuery () Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command InsertIntoTable () Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command ReadAnnotationCommand TableAnnotations Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command RenameTable () Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command Grant () Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command UpdateQuery () Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
ToDumpItem Sqlite (BackendSpecificEffect Sqlite) # | |
Instance detailsDefined in Napkin.Run.Effects.Interpreters.Backend.Sqlite |
Command GetRelationSchema [BackendSchemaField Sqlite] Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command ListTables (Set ListedTable) Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command NormalizeTableNames (Map (Ref Table) NormalizedTable) Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
FromJSON (YamlBackendMaterializedViewMeta Sqlite) # | |
Instance detailsDefined in Napkin.Spec.Yaml.Types.BackendMeta |
FromJSON (YamlBackendTableMeta Sqlite) # | |
Instance detailsDefined in Napkin.Spec.Yaml.Types.BackendMeta |
FromJSON (YamlBackendViewMeta Sqlite) # | |
Instance detailsDefined in Napkin.Spec.Yaml.Types.BackendMeta |
FromJSON (DbBackendOptions Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Generic (DbBackendOptions Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Show (DbBackendOptions Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Default (DbBackendOptions Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Eq (DbBackendOptions Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
MaybeDefault (YamlBackendMaterializedViewMeta Sqlite) # | |
Instance detailsDefined in Napkin.Spec.Yaml.Types.BackendMeta |
MaybeDefault (YamlBackendTableMeta Sqlite) # | |
Instance detailsDefined in Napkin.Spec.Yaml.Types.BackendMeta |
MaybeDefault (YamlBackendViewMeta Sqlite) # | |
Instance detailsDefined in Napkin.Spec.Yaml.Types.BackendMeta |
RenderSql (CreateMaterializedView SqliteMaterializedViewMeta) Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
RenderSql (CreateTable ()) Sqlite # | Commands |
Instance detailsDefined in Napkin.Render.Sqlite |
RenderSql (CreateView ()) Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
RenderSql a Sqlite => RenderSql (Alias a) Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
Command (CreateMaterializedView SqliteMaterializedViewMeta) () Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command (CreateTable ()) () Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command (CreateTableDDL ()) () Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Command (CreateView ()) () Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
FromJSON (BackendQueryStats Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
ToJSON (BackendQueryStats Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Monoid (BackendQueryStats Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Semigroup (BackendQueryStats Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Generic (BackendQueryStats Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Show (BackendSchemaField Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Show (BackendQueryStats Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Eq (BackendSchemaField Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
Eq (BackendQueryStats Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
FromRow (BackendSchemaField Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
RenderSql (Ref t) Sqlite # | |
Instance detailsDefined in Napkin.Render.Sqlite |
data BackendConn Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
data BackendSpecificEffect Sqlite m a # | |
Instance detailsDefined in Napkin.Run.Effects.Languages.Backend.Sqlite |
data DbBackendOptions Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
type BackendMaterializedViewMeta Sqlite # | |
Instance detailsDefined in Napkin.Types.Sqlite |
type BackendTableMeta Sqlite # | |
Instance detailsDefined in Napkin.Types.Sqlite |
type BackendViewMeta Sqlite # | |
Instance detailsDefined in Napkin.Types.Sqlite |
data BackendSchemaField Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
data BackendQueryStats Sqlite # | |
Instance detailsDefined in Napkin.Run.Sqlite |
type Rep (DbBackendOptions Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |
type Rep (BackendQueryStats Sqlite) # | |
Instance detailsDefined in Napkin.Run.Sqlite |