napkin-1.0.0
Safe HaskellNone
LanguageGHC2021

Napkin.Types.Sqlite

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

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

Backend Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

RunBackendEffect Sqlite # 
Instance details

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

ReifiesBackend Sqlite # 
Instance details

Defined in Napkin.Types.Sqlite

RunBackendConn Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

ToDbBackend Sqlite # 
Instance details

Defined in Napkin.Backends.Types

RenderSql DeleteFrom Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Sqlite -> DeleteFrom -> ME Doc #

RenderSql DropTable Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Sqlite -> DropTable -> ME Doc #

RenderSql DropView Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Sqlite -> DropView -> ME Doc #

RenderSql InsertIntoQuery Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

RenderSql RenameTable Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

RenderSql Object Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Sqlite -> Object -> ME Doc #

RenderSql From Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Sqlite -> From -> ME Doc #

RenderSql Name Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Sqlite -> Name -> ME Doc #

RenderSql Query Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Sqlite -> Query -> ME Doc #

RenderSql Relation Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Sqlite -> Relation -> ME Doc #

RenderSql SExp Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Sqlite -> SExp -> ME Doc #

RenderSql String Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Sqlite -> String -> ME Doc #

HasBackendSchemaField Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

CSVImport Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

HasBackendQueryStats Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Associated Types

data BackendQueryStats Sqlite 
Instance details

Defined in Napkin.Run.Sqlite

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

Command AnnotateCommand () Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command CheckTableExists Bool Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command CopyTable () Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command DeleteFrom () Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command DropTable () Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command DropView () Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command GetTableKind TableKind Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command InsertIntoQuery () Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command InsertIntoTable () Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command ReadAnnotationCommand TableAnnotations Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command RenameTable () Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command Grant () Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command UpdateQuery () Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

ToDumpItem Sqlite (BackendSpecificEffect Sqlite) # 
Instance details

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

Methods

toDumpItem :: forall (r :: EffectRow) x. BackendSpecificEffect Sqlite (Sem r) x -> DumpItem Sqlite #

Command GetRelationSchema [BackendSchemaField Sqlite] Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command ListTables (Set ListedTable) Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command NormalizeTableNames (Map (Ref Table) NormalizedTable) Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

FromJSON (YamlBackendMaterializedViewMeta Sqlite) # 
Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta

FromJSON (YamlBackendTableMeta Sqlite) # 
Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta

FromJSON (YamlBackendViewMeta Sqlite) # 
Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta

FromJSON (DbBackendOptions Sqlite) # 
Instance details

Defined in Napkin.Run.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-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "SqliteOptions" 'PrefixI 'False) (U1 :: Type -> Type))
Show (DbBackendOptions Sqlite) # 
Instance details

Defined in Napkin.Run.Sqlite

Default (DbBackendOptions Sqlite) # 
Instance details

Defined in Napkin.Run.Sqlite

Eq (DbBackendOptions Sqlite) # 
Instance details

Defined in Napkin.Run.Sqlite

MaybeDefault (YamlBackendMaterializedViewMeta Sqlite) # 
Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta

MaybeDefault (YamlBackendTableMeta Sqlite) # 
Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta

MaybeDefault (YamlBackendViewMeta Sqlite) # 
Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta

RenderSql (CreateMaterializedView SqliteMaterializedViewMeta) Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

RenderSql (CreateTable ()) Sqlite #

Commands

Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Sqlite -> CreateTable () -> ME Doc #

RenderSql (CreateView ()) Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Sqlite -> CreateView () -> ME Doc #

RenderSql a Sqlite => RenderSql (Alias a) Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Sqlite -> Alias a -> ME Doc #

Command (CreateMaterializedView SqliteMaterializedViewMeta) () Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command (CreateTable ()) () Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command (CreateTableDDL ()) () Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

Command (CreateView ()) () Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

FromJSON (BackendQueryStats Sqlite) # 
Instance details

Defined in Napkin.Run.Sqlite

ToJSON (BackendQueryStats Sqlite) # 
Instance details

Defined in Napkin.Run.Sqlite

Monoid (BackendQueryStats Sqlite) # 
Instance details

Defined in Napkin.Run.Sqlite

Semigroup (BackendQueryStats Sqlite) # 
Instance details

Defined in Napkin.Run.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-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "BackendQueryStats" 'PrefixI 'False) (U1 :: Type -> Type))
Show (BackendSchemaField Sqlite) # 
Instance details

Defined in Napkin.Run.Sqlite

Show (BackendQueryStats Sqlite) # 
Instance details

Defined in Napkin.Run.Sqlite

Eq (BackendSchemaField Sqlite) # 
Instance details

Defined in Napkin.Run.Sqlite

Eq (BackendQueryStats Sqlite) # 
Instance details

Defined in Napkin.Run.Sqlite

FromRow (BackendSchemaField Sqlite) # 
Instance details

Defined in Napkin.Run.Sqlite

RenderSql (Ref t) Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Sqlite -> Ref t -> ME Doc #

data BackendConn Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

data BackendSpecificEffect Sqlite m a # 
Instance details

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

data DbBackendOptions Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

type BackendMaterializedViewMeta Sqlite # 
Instance details

Defined in Napkin.Types.Sqlite

type BackendTableMeta Sqlite # 
Instance details

Defined in Napkin.Types.Sqlite

type BackendViewMeta Sqlite # 
Instance details

Defined in Napkin.Types.Sqlite

data BackendSchemaField Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

data BackendQueryStats Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

type Rep (DbBackendOptions Sqlite) # 
Instance details

Defined in Napkin.Run.Sqlite

type Rep (DbBackendOptions Sqlite) = D1 ('MetaData "DbBackendOptions" "Napkin.Run.Sqlite" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "BackendQueryStats" 'PrefixI 'False) (U1 :: Type -> Type))