| 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 |