Copyright	(c) Soostone Inc 2020
License	AllRightsReserved
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Napkin.Types.Sqlite

Description

Documentation

data Sqlite #

Constructors

Sqlite

Instances

Instances details

Eq Sqlite #
Instance details Defined in Napkin.Types.Sqlite Methods (==) :: Sqlite -> Sqlite -> Bool # (/=) :: Sqlite -> Sqlite -> Bool #
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 #
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 #
Show Sqlite #
Instance details Defined in Napkin.Types.Sqlite Methods showsPrec :: Int -> Sqlite -> ShowS # show :: Sqlite -> String # showList :: [Sqlite] -> ShowS #
ReifiesBackend Sqlite #
Instance details Defined in Napkin.Types.Sqlite Methods reifyBackend :: Sqlite #
Backend Sqlite #
Instance details Defined in Napkin.Run.Sqlite Associated Types data BackendConn Sqlite # Methods backendQuery :: (Katip m, MonadQueryStats m, RenderSql q Sqlite) => BackendConn Sqlite -> q -> m [Map Text Value] # backendExecute :: (Katip m, MonadQueryStats m, RenderSql q Sqlite) => BackendConn Sqlite -> q -> m () #
RunBackendConn Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods runBackendConn :: LogEnv -> DbBackendOptions Sqlite -> ConnectionString -> Maybe AppName -> Maybe CredentialsPath -> SpecFile -> Maybe AuthPort -> (Pipeline -> BackendConn Sqlite -> IO a) -> IO a #
HasSqliteConn Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods getSqliteConn :: BackendConn Sqlite -> Pool Connection #
RunBackendEffect Sqlite #
Instance details Defined in Napkin.Run.Effects.Interpreters.Backend.Sqlite Methods runBackendEffectReal :: forall (r :: [(Type -> Type) -> Type -> Type]) a. (Members (Core Sqlite) r, Member (Embed IO) r) => BackendConn Sqlite -> Sem (BackendSpecificEffect Sqlite ': r) a -> Sem r a # runBackendEffectFake :: forall (r :: [(Type -> Type) -> Type -> Type]) a. (Members (Core Sqlite) r, Member (Embed IO) r) => Sem (BackendSpecificEffect Sqlite ': r) a -> Sem r a #
RenderSql String Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> String -> Doc #
RenderSql Query Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> Query -> Doc #
RenderSql From Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> From -> 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 Name Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> Name -> Doc #
RenderSql Object Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> Object -> Doc #
RenderSql DeleteFrom Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> DeleteFrom -> Doc #
RenderSql InsertIntoQuery Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> InsertIntoQuery -> 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 RenameTable Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> RenameTable -> Doc #
Command UpdateQuery () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Sqlite -> UpdateQuery -> m () #
Command Grant () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Sqlite -> Grant -> m () #
Command CheckTableExists Bool Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Sqlite -> CheckTableExists -> m Bool #
Command DeleteFrom () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Sqlite -> DeleteFrom -> m () #
Command InsertIntoQuery () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Sqlite -> InsertIntoQuery -> m () #
Command DropTable () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Sqlite -> DropTable -> m () #
Command DropView () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Sqlite -> DropView -> m () #
Command CopyTable () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Sqlite -> CopyTable -> m () #
Command RenameTable () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Sqlite -> RenameTable -> m () #
Command GetRelationSchema [BackendSchemaField Sqlite] Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Sqlite -> GetRelationSchema -> m [BackendSchemaField Sqlite] #
Eq (DbBackendOptions Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods (==) :: DbBackendOptions Sqlite -> DbBackendOptions Sqlite -> Bool # (/=) :: DbBackendOptions Sqlite -> DbBackendOptions Sqlite -> Bool #
Show (DbBackendOptions Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods showsPrec :: Int -> DbBackendOptions Sqlite -> ShowS # show :: DbBackendOptions Sqlite -> String # showList :: [DbBackendOptions Sqlite] -> ShowS #
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 #
ToJSON (DbBackendOptions Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods toJSON :: DbBackendOptions Sqlite -> Value # toEncoding :: DbBackendOptions Sqlite -> Encoding # toJSONList :: [DbBackendOptions Sqlite] -> Value # toEncodingList :: [DbBackendOptions Sqlite] -> Encoding #
FromJSON (DbBackendOptions Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods parseJSON :: Value -> Parser (DbBackendOptions Sqlite) # parseJSONList :: Value -> Parser [DbBackendOptions Sqlite] #
FromJSON (YamlBackendMaterializedViewMeta Sqlite) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods parseJSON :: Value -> Parser (YamlBackendMaterializedViewMeta Sqlite) # parseJSONList :: Value -> Parser [YamlBackendMaterializedViewMeta 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 (YamlBackendTableMeta Sqlite) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods parseJSON :: Value -> Parser (YamlBackendTableMeta Sqlite) # parseJSONList :: Value -> Parser [YamlBackendTableMeta Sqlite] #
Default (DbBackendOptions Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods def :: DbBackendOptions Sqlite #
MaybeDefault (YamlBackendMaterializedViewMeta Sqlite) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods defMb :: Maybe (YamlBackendMaterializedViewMeta Sqlite) #
MaybeDefault (YamlBackendViewMeta Sqlite) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods defMb :: Maybe (YamlBackendViewMeta Sqlite) #
MaybeDefault (YamlBackendTableMeta Sqlite) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods defMb :: Maybe (YamlBackendTableMeta Sqlite) #
ToDbBackend Sqlite #
Instance details Defined in Napkin.Backends.Types Methods toDbBackend :: DbBackend #
RenderSql a Sqlite => RenderSql (Alias a) Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> Alias a -> Doc #
RenderSql (CreateMaterializedViewAs SqliteMaterializedViewMeta) Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> CreateMaterializedViewAs SqliteMaterializedViewMeta -> Doc #
RenderSql (CreateViewAs ()) Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> CreateViewAs () -> Doc #
RenderSql (CreateTableAs ()) Sqlite #	Commands
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> CreateTableAs () -> Doc #
HasBackendSchemaField Sqlite #
Instance details Defined in Napkin.Run.Sqlite Associated Types data BackendSchemaField Sqlite # Methods fieldName :: BackendSchemaField Sqlite -> Text # fieldType :: BackendSchemaField Sqlite -> Type #
Command (CreateMaterializedViewAs SqliteMaterializedViewMeta) () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Sqlite -> CreateMaterializedViewAs SqliteMaterializedViewMeta -> m () #
Command (CreateViewAs ()) () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Sqlite -> CreateViewAs () -> m () #
Command (CreateTableAs ()) () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Sqlite -> CreateTableAs () -> m () #
Eq (BackendSchemaField Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods (==) :: BackendSchemaField Sqlite -> BackendSchemaField Sqlite -> Bool # (/=) :: BackendSchemaField Sqlite -> BackendSchemaField Sqlite -> Bool #
Show (BackendSchemaField Sqlite) #
Instance details Defined in Napkin.Run.Sqlite Methods showsPrec :: Int -> BackendSchemaField Sqlite -> ShowS # show :: BackendSchemaField Sqlite -> String # showList :: [BackendSchemaField Sqlite] -> ShowS #
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 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 BackendViewMeta Sqlite #
Instance details Defined in Napkin.Types.Sqlite type BackendViewMeta Sqlite = ()
type BackendTableMeta Sqlite #
Instance details Defined in Napkin.Types.Sqlite type BackendTableMeta Sqlite = ()
data BackendConn Sqlite #
Instance details Defined in Napkin.Run.Sqlite data BackendConn Sqlite = SqliteConn (Pool Connection)
data DbBackendOptions Sqlite #
Instance details Defined in Napkin.Run.Sqlite data DbBackendOptions Sqlite = SqliteOptions
type Rep (DbBackendOptions Sqlite) #
Instance details Defined in Napkin.Run.Sqlite type Rep (DbBackendOptions Sqlite) = D1 ('MetaData "DbBackendOptions" "Napkin.Run.Sqlite" "napkin-0.5.13-8705pBGlgyp7AIaYGNE2fM" 'False) (C1 ('MetaCons "SqliteOptions" 'PrefixI 'False) (U1 :: Type -> Type))
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 }

newtype SqliteMaterializedViewMeta #

Constructors

SqliteMaterializedViewMeta Void

Instances

Instances details

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