Safe Haskell	None
Language	GHC2024

Napkin.Types.Sqlite

Documentation

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

Backend Sqlite #

Instance details

Defined in Napkin.Run.Sqlite

Associated Types

data BackendConn Sqlite
Instance details Defined in Napkin.Run.Sqlite data BackendConn Sqlite = SqliteConn { connectionString :: ConnectionString sqliteConn :: Pool Connection }

Methods

injectRunInfo :: RunId -> TaskId -> BackendConn Sqlite -> BackendConn Sqlite #

backendConnectionString :: BackendConn Sqlite -> ConnectionString #

backendExecute :: (MonadNapkin Sqlite m, RenderSql command Sqlite) => BackendConn Sqlite -> command -> m () #

backendQuery :: (MonadNapkin Sqlite m, RenderSql q Sqlite) => BackendConn Sqlite -> q -> m [Map Text Value] #

backendCheckTableExists :: MonadNapkin Sqlite m => BackendConn Sqlite -> Ref Table -> m Bool #

backendGetTableKind :: MonadNapkin Sqlite m => BackendConn Sqlite -> Ref Table -> m TableKind #

backendGetRelationSchema :: MonadNapkin Sqlite m => BackendConn Sqlite -> Ref Table -> Relation -> m [BackendSchemaField Sqlite] #

backendGetAnnotations :: MonadNapkin Sqlite m => BackendConn Sqlite -> Ref Table -> m TableAnnotations #

backendAnnotate :: MonadNapkin Sqlite m => BackendConn Sqlite -> Ref Table -> Annotation -> m () #

backendCreateAs :: (MonadNapkin Sqlite m, RenderSql command Sqlite, command ~ CreateRelation Sqlite) => BackendConn Sqlite -> command -> m () #

backendCreate :: (MonadNapkin Sqlite m, RenderSql command Sqlite, command ~ CreateTableSchema Sqlite) => BackendConn Sqlite -> command -> m () #

backendCopyTable :: (Default (BackendMeta 'KindTable Sqlite), MonadNapkin Sqlite m, RenderSql (CreateRelation Sqlite) Sqlite, RenderSql DeleteRows Sqlite, RenderSql InsertInto Sqlite) => BackendConn Sqlite -> Ref Table -> Ref Table -> TableWriteStrategy -> m () #

backendDrop :: MonadNapkin Sqlite m => BackendConn Sqlite -> DropRelation -> m () #

backendInsertInto :: (MonadNapkin Sqlite m, RenderSql command Sqlite, command ~ InsertInto) => BackendConn Sqlite -> command -> m () #

backendRename :: MonadNapkin Sqlite m => BackendConn Sqlite -> RenameRelation -> m () #

backendListTables :: MonadNapkin Sqlite m => BackendConn Sqlite -> ListTables -> m (Set ListedTable) #

backendNormalize :: MonadNapkin Sqlite m => BackendConn Sqlite -> NormalizeTableNames -> m (Map (Ref Table) NormalizedTable) #

backendAddColumn :: (MonadNapkin Sqlite m, RenderSql command Sqlite, command ~ AddColumnToTable) => BackendConn Sqlite -> command -> m () #

backendDropColumn :: (MonadNapkin Sqlite m, RenderSql command Sqlite, command ~ DropColumnFromTable) => BackendConn Sqlite -> command -> m () #

RunBackendConn Sqlite #

Instance details

Defined in Napkin.Run.Sqlite

Methods

runBackendConn :: LogEnv -> DbBackendOptions Sqlite -> ConnectionString -> Maybe CredentialsPath -> Maybe AuthPort -> (BackendConn Sqlite -> IO a) -> IO a #

BackendName Sqlite #

Instance details

Defined in Napkin.Types.Sqlite

Methods

backendName :: Text #

NapkinParserDialect Sqlite #

Instance details

Defined in Napkin.Types.Sqlite

Methods

napkinParserDialect' :: Proxy Sqlite -> SQLDialect #

defaultParserDialect' :: Proxy Sqlite -> SQLDialect #

simpleSQLParserTargetDialect' :: Proxy Sqlite -> Dialect #

BackendOperators Sqlite #

Instance details

Defined in Napkin.Revert.Sqlite

Methods

binaryOperatorsForBackend :: [NonEmpty Name] #

unaryOperatorsForBackend :: [NonEmpty Name] #

varargsOperatorsForBackend :: [NonEmpty Name] #

customOperatorsForBackend :: Map (CI (NonEmpty Name)) ([ScalarExpr] -> ScalarExpr) #

arrayItemForBackend :: ArrayBase -> Nullability -> ScalarExpr -> ScalarExpr -> ScalarExpr #

arrayValueForBackend :: Maybe TypeExpr -> [ScalarExpr] -> ScalarExpr #

structValueForBackend :: [(ScalarExpr, Maybe Text)] -> Maybe [(Maybe Text, TypeExpr)] -> ScalarExpr #

binaryLiteralForBackend :: ByteString -> ScalarExpr #

intervalForBackend :: ScalarExpr -> ScalarExpr #

setOperatorsForBackend :: UnionType -> (SetOperatorName, SetQuantifier) #

HasBackendSchemaField Sqlite #

Instance details

Defined in Napkin.Run.Sqlite

Associated Types

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 }

Methods

fieldName :: BackendSchemaField Sqlite -> Text #

fieldType :: BackendSchemaField Sqlite -> Type #

HasBackendQueryStats Sqlite #

Instance details

Defined in Napkin.Run.Sqlite

Associated Types

data BackendQueryStats Sqlite
Instance details Defined in Napkin.Run.Sqlite data BackendQueryStats Sqlite = BackendQueryStats

Methods

prettyPrint :: BackendQueryStats Sqlite -> Maybe Text #

SqlConcat Sqlite #

Instance details

Defined in Napkin.Untyped.Ops.Portable.Sqlite

Methods

concat :: [SExp] -> SExp #

RenderSql DropRelation Sqlite #

Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Proxy Sqlite -> DropRelation -> ME Doc #

RenderSql RenameRelation Sqlite #

Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Proxy Sqlite -> RenameRelation -> ME Doc #

SimpleTypeName Sqlite 'TyBigInt #

Instance details

Defined in Napkin.Revert.Sqlite

Methods

simpleName :: String #

SimpleTypeName Sqlite 'TyBlob #

Instance details

Defined in Napkin.Revert.Sqlite

Methods

simpleName :: String #

SimpleTypeName Sqlite 'TyBool #

Instance details

Defined in Napkin.Revert.Sqlite

Methods

simpleName :: String #

SimpleTypeName Sqlite 'TyChar #

Instance details

Defined in Napkin.Revert.Sqlite

Methods

simpleName :: String #

SimpleTypeName Sqlite 'TyDate #

Instance details

Defined in Napkin.Revert.Sqlite

Methods

simpleName :: String #

SimpleTypeName Sqlite 'TyDatetime #

Instance details

Defined in Napkin.Revert.Sqlite

Methods

simpleName :: String #

SimpleTypeName Sqlite 'TyDecimal #

Instance details

Defined in Napkin.Revert.Sqlite

Methods

simpleName :: String #

SimpleTypeName Sqlite 'TyDouble #

Instance details

Defined in Napkin.Revert.Sqlite

Methods

simpleName :: String #

SimpleTypeName Sqlite 'TyInteger #

Instance details

Defined in Napkin.Revert.Sqlite

Methods

simpleName :: String #

SimpleTypeName Sqlite 'TyReal #

Instance details

Defined in Napkin.Revert.Sqlite

Methods

simpleName :: String #

SimpleTypeName Sqlite 'TySmallInt #

Instance details

Defined in Napkin.Revert.Sqlite

Methods

simpleName :: String #

SimpleTypeName Sqlite 'TyTimestamp #

Instance details

Defined in Napkin.Revert.Sqlite

Methods

simpleName :: String #

SimpleTypeName Sqlite 'TyVarChar #

Instance details

Defined in Napkin.Revert.Sqlite

Methods

simpleName :: String #

ToHashComponent Sqlite SqliteMaterializedViewMeta #

Instance details

Defined in Napkin.Types.Sqlite

Methods

toHashComponent :: SqliteMaterializedViewMeta -> HashComponent #

RenderSql (CreateRelation Sqlite) Sqlite #

Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Proxy Sqlite -> CreateRelation Sqlite -> ME Doc #

FromJSON (YamlBackendMaterializedViewMeta Sqlite) #

Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta.Sqlite

Methods

parseJSON :: Value -> Parser (YamlBackendMaterializedViewMeta Sqlite) #

parseJSONList :: Value -> Parser [YamlBackendMaterializedViewMeta Sqlite] #

omittedField :: Maybe (YamlBackendMaterializedViewMeta Sqlite) #

FromJSON (YamlBackendTableMeta Sqlite) #

Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta.Sqlite

Methods

parseJSON :: Value -> Parser (YamlBackendTableMeta Sqlite) #

parseJSONList :: Value -> Parser [YamlBackendTableMeta Sqlite] #

omittedField :: Maybe (YamlBackendTableMeta Sqlite) #

FromJSON (YamlBackendViewMeta Sqlite) #

Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta.Sqlite

Methods

parseJSON :: Value -> Parser (YamlBackendViewMeta Sqlite) #

parseJSONList :: Value -> Parser [YamlBackendViewMeta Sqlite] #

omittedField :: Maybe (YamlBackendViewMeta Sqlite) #

FromJSON (DbBackendOptions Sqlite) #

Instance details

Defined in Napkin.Run.Sqlite

Methods

parseJSON :: Value -> Parser (DbBackendOptions Sqlite) #

parseJSONList :: Value -> Parser [DbBackendOptions Sqlite] #

omittedField :: Maybe (DbBackendOptions Sqlite) #

Default (DbBackendOptions Sqlite) #

Instance details

Defined in Napkin.Run.Sqlite

Methods

def :: DbBackendOptions Sqlite #

Generic (DbBackendOptions Sqlite) #

Instance details

Defined in Napkin.Run.Sqlite

Associated Types

type Rep (DbBackendOptions Sqlite)
Instance details Defined in Napkin.Run.Sqlite type Rep (DbBackendOptions Sqlite) = D1 ('MetaData "DbBackendOptions" "Napkin.Run.Sqlite" "napkin-backend-sqlite-2.0.0-5NoK4N8Vi9d7ofNFSq6q0A" 'False) (C1 ('MetaCons "SqliteOptions" 'PrefixI 'False) (U1 :: 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 #

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

Methods

defMb :: Maybe (YamlBackendMaterializedViewMeta Sqlite) #

MaybeDefault (YamlBackendTableMeta Sqlite) #

Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta.Sqlite

Methods

defMb :: Maybe (YamlBackendTableMeta Sqlite) #

MaybeDefault (YamlBackendViewMeta Sqlite) #

Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta.Sqlite

Methods

defMb :: Maybe (YamlBackendViewMeta Sqlite) #

FromJSON (BackendQueryStats Sqlite) #

Instance details

Defined in Napkin.Run.Sqlite

Methods

parseJSON :: Value -> Parser (BackendQueryStats Sqlite) #

parseJSONList :: Value -> Parser [BackendQueryStats Sqlite] #

omittedField :: Maybe (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 #

omitField :: BackendQueryStats Sqlite -> Bool #

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)
Instance details Defined in Napkin.Run.Sqlite type Rep (BackendQueryStats Sqlite) = D1 ('MetaData "BackendQueryStats" "Napkin.Run.Sqlite" "napkin-backend-sqlite-2.0.0-5NoK4N8Vi9d7ofNFSq6q0A" 'False) (C1 ('MetaCons "BackendQueryStats" 'PrefixI 'False) (U1 :: 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) #

data BackendConn Sqlite #

Instance details

Defined in Napkin.Run.Sqlite

data BackendConn Sqlite = SqliteConn {

connectionString :: ConnectionString
sqliteConn :: Pool Connection

}

data BackendSpecificEffect Sqlite m a #

Instance details

Defined in Napkin.Run.Effects.Languages.Backend.Sqlite

data BackendSpecificEffect Sqlite m a

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 DbBackendOptions Sqlite #

Instance details

Defined in Napkin.Run.Sqlite

data DbBackendOptions Sqlite = SqliteOptions

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-backend-sqlite-2.0.0-5NoK4N8Vi9d7ofNFSq6q0A" '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-backend-sqlite-2.0.0-5NoK4N8Vi9d7ofNFSq6q0A" '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 #
ToHashComponent Sqlite SqliteMaterializedViewMeta #
Instance details Defined in Napkin.Types.Sqlite Methods toHashComponent :: SqliteMaterializedViewMeta -> HashComponent #