Copyright	(c) Soostone Inc 2020
License	AllRightsReserved
Stability	experimental
Portability	POSIX
Safe Haskell	Safe-Inferred
Language	GHC2021

Napkin.Types.Sqlite

Description

Documentation

data Sqlite #

Constructors

Sqlite

Instances

Instances details

Data Sqlite #
Instance details Defined in Napkin.Types.Sqlite Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Sqlite -> c Sqlite # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Sqlite # toConstr :: Sqlite -> Constr # dataTypeOf :: Sqlite -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Sqlite) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Sqlite) # gmapT :: (forall b. Data b => b -> b) -> Sqlite -> Sqlite # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Sqlite -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Sqlite -> r # gmapQ :: (forall d. Data d => d -> u) -> Sqlite -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Sqlite -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Sqlite -> m Sqlite # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Sqlite -> m Sqlite # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Sqlite -> m Sqlite #
Show Sqlite #
Instance details Defined in Napkin.Types.Sqlite Methods showsPrec :: Int -> Sqlite -> ShowS # show :: Sqlite -> String # showList :: [Sqlite] -> ShowS #
Eq Sqlite #
Instance details Defined in Napkin.Types.Sqlite Methods (==) :: Sqlite -> Sqlite -> Bool # (/=) :: Sqlite -> Sqlite -> Bool #
Ord Sqlite #
Instance details Defined in Napkin.Types.Sqlite Methods compare :: Sqlite -> Sqlite -> Ordering # (<) :: Sqlite -> Sqlite -> Bool # (<=) :: Sqlite -> Sqlite -> Bool # (>) :: Sqlite -> Sqlite -> Bool # (>=) :: Sqlite -> Sqlite -> Bool # max :: Sqlite -> Sqlite -> Sqlite # min :: Sqlite -> Sqlite -> Sqlite #
Backend Sqlite #
Instance details Defined in Napkin.Run.Sqlite Associated Types data BackendConn Sqlite # Methods backendQuery :: (MonadNapkin Sqlite m, RenderSql q Sqlite) => BackendConn Sqlite -> q -> m [Map Text Value] # backendConnectionString :: BackendConn Sqlite -> ConnectionString #
RunBackendEffect Sqlite #
Instance details Defined in Napkin.Run.Effects.Interpreters.Backend.Sqlite Methods runBackendEffectReal :: forall (r :: EffectRow) a. (Members (Core Sqlite) r, Member (Embed IO) r) => BackendConn Sqlite -> Sem (BackendSpecificEffect Sqlite ': r) a -> Sem r a # runBackendEffectFake :: forall (r :: EffectRow) a. (Members (Core Sqlite) r, Member (Embed IO) r) => Sem (BackendSpecificEffect Sqlite ': r) a -> Sem r a #
ReifiesBackend Sqlite #
Instance details Defined in Napkin.Types.Sqlite Methods reifyBackend :: Sqlite #
RunBackendConn Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods runBackendConn :: LogEnv -> DbBackendOptions Sqlite -> ConnectionString -> AppName -> Maybe CredentialsPath -> SpecFile -> Maybe AuthPort -> (Pipeline -> BackendConn Sqlite -> IO a) -> IO a #
ToDbBackend Sqlite #
Instance details Defined in Napkin.Backends.Types Methods toDbBackend :: DbBackend #
RenderSql DeleteFrom Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> DeleteFrom -> Doc #
RenderSql DropTable Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> DropTable -> Doc #
RenderSql DropView Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> DropView -> Doc #
RenderSql InsertIntoQuery Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> InsertIntoQuery -> Doc #
RenderSql RenameTable Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> RenameTable -> Doc #
RenderSql Object Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> Object -> Doc #
RenderSql From Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> From -> Doc #
RenderSql Name Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> Name -> Doc #
RenderSql Query Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> Query -> Doc #
RenderSql Relation Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> Relation -> Doc #
RenderSql SExp Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> SExp -> Doc #
RenderSql String Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> String -> Doc #
HasBackendSchemaField Sqlite #
Instance details Defined in Napkin.Run.Sqlite Associated Types data BackendSchemaField Sqlite # Methods fieldName :: BackendSchemaField Sqlite -> Text # fieldType :: BackendSchemaField Sqlite -> Type #
CSVImport Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods chunkLimit :: Int # isEnabled :: Bool #
HasBackendQueryStats Sqlite #
Instance details Defined in Napkin.Run.Sqlite Associated Types data BackendQueryStats Sqlite # Methods prettyPrint :: BackendQueryStats Sqlite -> Maybe String #
SqlConcat Sqlite #
Instance details Defined in Napkin.Untyped.Ops.Portable.Sqlite Methods concat :: [SExp] -> SExp #
Command AEDA TableDiagnostics Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> AEDA -> m TableDiagnostics #
Command AnnotateCommand () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> AnnotateCommand -> m () #
Command CheckTableExists Bool Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> CheckTableExists -> m Bool #
Command CopyTable () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> CopyTable -> m () #
Command DeleteFrom () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> DeleteFrom -> m () #
Command DropTable () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> DropTable -> m () #
Command DropView () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> DropView -> m () #
Command GetTableKind TableKind Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> GetTableKind -> m TableKind #
Command InsertIntoQuery () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> InsertIntoQuery -> m () #
Command ReadAnnotationCommand TableAnnotations Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> ReadAnnotationCommand -> m TableAnnotations #
Command RenameTable () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> RenameTable -> m () #
Command Grant () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> Grant -> m () #
Command UpdateQuery () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> UpdateQuery -> m () #
Command GetRelationSchema [BackendSchemaField Sqlite] Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> GetRelationSchema -> m [BackendSchemaField Sqlite] #
Command ListTables (Set ListedTable) Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> ListTables -> m (Set ListedTable) #
Command NormalizeTableNames (Map (Ref Table) NormalizedTable) Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> NormalizeTableNames -> m (Map (Ref Table) NormalizedTable) #
FromJSON (YamlBackendMaterializedViewMeta Sqlite) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods parseJSON :: Value -> Parser (YamlBackendMaterializedViewMeta Sqlite) # parseJSONList :: Value -> Parser [YamlBackendMaterializedViewMeta Sqlite] #
FromJSON (YamlBackendTableMeta Sqlite) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods parseJSON :: Value -> Parser (YamlBackendTableMeta Sqlite) # parseJSONList :: Value -> Parser [YamlBackendTableMeta Sqlite] #
FromJSON (YamlBackendViewMeta Sqlite) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods parseJSON :: Value -> Parser (YamlBackendViewMeta Sqlite) # parseJSONList :: Value -> Parser [YamlBackendViewMeta Sqlite] #
FromJSON (DbBackendOptions Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods parseJSON :: Value -> Parser (DbBackendOptions Sqlite) # parseJSONList :: Value -> Parser [DbBackendOptions Sqlite] #
Generic (DbBackendOptions Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Associated Types type Rep (DbBackendOptions Sqlite) :: Type -> Type # Methods from :: DbBackendOptions Sqlite -> Rep (DbBackendOptions Sqlite) x # to :: Rep (DbBackendOptions Sqlite) x -> DbBackendOptions Sqlite #
Show (DbBackendOptions Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods showsPrec :: Int -> DbBackendOptions Sqlite -> ShowS # show :: DbBackendOptions Sqlite -> String # showList :: [DbBackendOptions Sqlite] -> ShowS #
Default (DbBackendOptions Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods def :: DbBackendOptions Sqlite #
Eq (DbBackendOptions Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods (==) :: DbBackendOptions Sqlite -> DbBackendOptions Sqlite -> Bool # (/=) :: DbBackendOptions Sqlite -> DbBackendOptions Sqlite -> Bool #
MaybeDefault (YamlBackendMaterializedViewMeta Sqlite) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods defMb :: Maybe (YamlBackendMaterializedViewMeta Sqlite) #
MaybeDefault (YamlBackendTableMeta Sqlite) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods defMb :: Maybe (YamlBackendTableMeta Sqlite) #
MaybeDefault (YamlBackendViewMeta Sqlite) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods defMb :: Maybe (YamlBackendViewMeta Sqlite) #
RenderSql (CreateMaterializedView SqliteMaterializedViewMeta) Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> CreateMaterializedView SqliteMaterializedViewMeta -> Doc #
RenderSql (CreateTable ()) Sqlite #	Commands
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> CreateTable () -> Doc #
RenderSql (CreateView ()) Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> CreateView () -> Doc #
RenderSql a Sqlite => RenderSql (Alias a) Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> Alias a -> Doc #
Command (CreateMaterializedView SqliteMaterializedViewMeta) () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> CreateMaterializedView SqliteMaterializedViewMeta -> m () #
Command (CreateTable ()) () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> CreateTable () -> m () #
Command (CreateView ()) () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> CreateView () -> m () #
FromJSON (BackendQueryStats Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods parseJSON :: Value -> Parser (BackendQueryStats Sqlite) # parseJSONList :: Value -> Parser [BackendQueryStats Sqlite] #
ToJSON (BackendQueryStats Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods toJSON :: BackendQueryStats Sqlite -> Value # toEncoding :: BackendQueryStats Sqlite -> Encoding # toJSONList :: [BackendQueryStats Sqlite] -> Value # toEncodingList :: [BackendQueryStats Sqlite] -> Encoding #
Monoid (BackendQueryStats Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods mempty :: BackendQueryStats Sqlite # mappend :: BackendQueryStats Sqlite -> BackendQueryStats Sqlite -> BackendQueryStats Sqlite # mconcat :: [BackendQueryStats Sqlite] -> BackendQueryStats Sqlite #
Semigroup (BackendQueryStats Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods (<>) :: BackendQueryStats Sqlite -> BackendQueryStats Sqlite -> BackendQueryStats Sqlite # sconcat :: NonEmpty (BackendQueryStats Sqlite) -> BackendQueryStats Sqlite # stimes :: Integral b => b -> BackendQueryStats Sqlite -> BackendQueryStats Sqlite #
Generic (BackendQueryStats Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Associated Types type Rep (BackendQueryStats Sqlite) :: Type -> Type # Methods from :: BackendQueryStats Sqlite -> Rep (BackendQueryStats Sqlite) x # to :: Rep (BackendQueryStats Sqlite) x -> BackendQueryStats Sqlite #
Show (BackendSchemaField Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods showsPrec :: Int -> BackendSchemaField Sqlite -> ShowS # show :: BackendSchemaField Sqlite -> String # showList :: [BackendSchemaField Sqlite] -> ShowS #
Show (BackendQueryStats Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods showsPrec :: Int -> BackendQueryStats Sqlite -> ShowS # show :: BackendQueryStats Sqlite -> String # showList :: [BackendQueryStats Sqlite] -> ShowS #
Eq (BackendSchemaField Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods (==) :: BackendSchemaField Sqlite -> BackendSchemaField Sqlite -> Bool # (/=) :: BackendSchemaField Sqlite -> BackendSchemaField Sqlite -> Bool #
Eq (BackendQueryStats Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods (==) :: BackendQueryStats Sqlite -> BackendQueryStats Sqlite -> Bool # (/=) :: BackendQueryStats Sqlite -> BackendQueryStats Sqlite -> Bool #
FromRow (BackendSchemaField Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods fromRow :: RowParser (BackendSchemaField Sqlite) #
RenderSql (Ref t) Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> Ref t -> Doc #
data BackendConn Sqlite #
Instance details Defined in Napkin.Run.Sqlite data BackendConn Sqlite = SqliteConn { getConnectionString :: ConnectionString getSqliteConn :: Pool Connection }
data BackendSpecificEffect Sqlite m a #
Instance details Defined in Napkin.Run.Effects.Languages.Backend.Sqlite data BackendSpecificEffect Sqlite m a
data DbBackendOptions Sqlite #
Instance details Defined in Napkin.Run.Sqlite data DbBackendOptions Sqlite = SqliteOptions
type BackendMaterializedViewMeta Sqlite #
Instance details Defined in Napkin.Types.Sqlite type BackendMaterializedViewMeta Sqlite = SqliteMaterializedViewMeta
type BackendTableMeta Sqlite #
Instance details Defined in Napkin.Types.Sqlite type BackendTableMeta Sqlite = ()
type BackendViewMeta Sqlite #
Instance details Defined in Napkin.Types.Sqlite type BackendViewMeta Sqlite = ()
data BackendSchemaField Sqlite #
Instance details Defined in Napkin.Run.Sqlite data BackendSchemaField Sqlite = SqliteSchemaField { scdCid :: Int scdName :: Text scdType :: Text scdNullable :: Int scdDefaultValue :: Maybe Int scdPrimaryKey :: Int }
data BackendQueryStats Sqlite #
Instance details Defined in Napkin.Run.Sqlite data BackendQueryStats Sqlite = BackendQueryStats
type Rep (DbBackendOptions Sqlite) #
Instance details Defined in Napkin.Run.Sqlite type Rep (DbBackendOptions Sqlite) = D1 ('MetaData "DbBackendOptions" "Napkin.Run.Sqlite" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'False) (C1 ('MetaCons "SqliteOptions" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (BackendQueryStats Sqlite) #
Instance details Defined in Napkin.Run.Sqlite type Rep (BackendQueryStats Sqlite) = D1 ('MetaData "BackendQueryStats" "Napkin.Run.Sqlite" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'False) (C1 ('MetaCons "BackendQueryStats" 'PrefixI 'False) (U1 :: Type -> Type))

newtype SqliteMaterializedViewMeta #

Constructors

SqliteMaterializedViewMeta Void

Instances

Instances details

Show SqliteMaterializedViewMeta #
Instance details Defined in Napkin.Types.Sqlite Methods showsPrec :: Int -> SqliteMaterializedViewMeta -> ShowS # show :: SqliteMaterializedViewMeta -> String # showList :: [SqliteMaterializedViewMeta] -> ShowS #
Eq SqliteMaterializedViewMeta #
Instance details Defined in Napkin.Types.Sqlite Methods (==) :: SqliteMaterializedViewMeta -> SqliteMaterializedViewMeta -> Bool # (/=) :: SqliteMaterializedViewMeta -> SqliteMaterializedViewMeta -> Bool #
RenderSql (CreateMaterializedView SqliteMaterializedViewMeta) Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> CreateMaterializedView SqliteMaterializedViewMeta -> Doc #
Command (CreateMaterializedView SqliteMaterializedViewMeta) () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> CreateMaterializedView SqliteMaterializedViewMeta -> m () #