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

Napkin.Types.Postgres

Description

Synopsis

data Postgres = Postgres
newtype TableMeta = TableMeta {
- _tableMeta_indexes :: Maybe Indexes
}
data MaterializedViewMeta = MaterializedViewMeta {
- _materializedViewMeta_timescale :: Maybe TimescaleViewMeta
- _materializedViewMeta_indexes :: Maybe Indexes
}
data SetTableSchema = SetTableSchema {
- _rtFrom :: Ref Table
- _rtNewSchema :: Text
}
data CreateIndex = CreateIndex {
- _ciRef :: Ref Table
- _ciIndex :: Index
}
materializedViewMeta_timescale :: Lens' MaterializedViewMeta (Maybe TimescaleViewMeta)
materializedViewMeta_indexes :: Lens' MaterializedViewMeta (Maybe Indexes)
tableMeta_indexes :: Iso' TableMeta (Maybe Indexes)

Documentation

data Postgres #

Constructors

Postgres

Instances

Instances details

Eq Postgres #
Instance details Defined in Napkin.Types.Postgres Methods (==) :: Postgres -> Postgres -> Bool # (/=) :: Postgres -> Postgres -> Bool #
Data Postgres #
Instance details Defined in Napkin.Types.Postgres Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Postgres -> c Postgres # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Postgres # toConstr :: Postgres -> Constr # dataTypeOf :: Postgres -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Postgres) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Postgres) # gmapT :: (forall b. Data b => b -> b) -> Postgres -> Postgres # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Postgres -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Postgres -> r # gmapQ :: (forall d. Data d => d -> u) -> Postgres -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Postgres -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Postgres -> m Postgres # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Postgres -> m Postgres # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Postgres -> m Postgres #
Ord Postgres #
Instance details Defined in Napkin.Types.Postgres Methods compare :: Postgres -> Postgres -> Ordering # (<) :: Postgres -> Postgres -> Bool # (<=) :: Postgres -> Postgres -> Bool # (>) :: Postgres -> Postgres -> Bool # (>=) :: Postgres -> Postgres -> Bool # max :: Postgres -> Postgres -> Postgres # min :: Postgres -> Postgres -> Postgres #
Show Postgres #
Instance details Defined in Napkin.Types.Postgres Methods showsPrec :: Int -> Postgres -> ShowS # show :: Postgres -> String # showList :: [Postgres] -> ShowS #
ReifiesBackend Postgres #
Instance details Defined in Napkin.Types.Postgres Methods reifyBackend :: Postgres #
Backend Postgres #
Instance details Defined in Napkin.Run.Postgres Associated Types data BackendConn Postgres # Methods backendQuery :: (Katip m, MonadQueryStats m, RenderSql q Postgres) => BackendConn Postgres -> q -> m [Map Text Value] # backendExecute :: (Katip m, MonadQueryStats m, RenderSql q Postgres) => BackendConn Postgres -> q -> m () #
HasPostgresConn Postgres #
Instance details Defined in Napkin.Run.Postgres Methods getPostgresConn :: BackendConn Postgres -> Pool Connection #
RunBackendEffect Postgres #
Instance details Defined in Napkin.Run.Effects.Interpreters.Backend.Postgres Methods runBackendEffectReal :: forall (r :: [(Type -> Type) -> Type -> Type]) a. (Members (Core Postgres) r, Member (Embed IO) r) => BackendConn Postgres -> Sem (BackendSpecificEffect Postgres ': r) a -> Sem r a # runBackendEffectFake :: forall (r :: [(Type -> Type) -> Type -> Type]) a. (Members (Core Postgres) r, Member (Embed IO) r) => Sem (BackendSpecificEffect Postgres ': r) a -> Sem r a #
RunBackendConn Postgres #
Instance details Defined in Napkin.Run.Postgres Methods runBackendConn :: LogEnv -> DbBackendOptions Postgres -> ConnectionString -> Maybe AppName -> Maybe CredentialsPath -> SpecFile -> Maybe AuthPort -> (Pipeline -> BackendConn Postgres -> IO a) -> IO a #
RenderSql String Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> String -> Doc #
RenderSql Query Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Query -> Doc #
RenderSql From Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> From -> Doc #
RenderSql Relation Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Relation -> Doc #
RenderSql SExp Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> SExp -> Doc #
RenderSql Grant Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Grant -> Doc #
RenderSql Actor Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Actor -> Doc #
RenderSql Object Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Object -> Doc #
RenderSql Privilege Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Privilege -> Doc #
RenderSql DeleteFrom Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> DeleteFrom -> Doc #
RenderSql InsertIntoQuery Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> InsertIntoQuery -> Doc #
RenderSql DropTable Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> DropTable -> Doc #
RenderSql DropView Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> DropView -> Doc #
RenderSql RenameTable Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> RenameTable -> Doc #
RenderSql CreateIndex Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> CreateIndex -> Doc #
RenderSql SetTableSchema Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> SetTableSchema -> Doc #
Command Grant Int64 Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> Grant -> m Int64 #
Command CheckTableExists Bool Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> CheckTableExists -> m Bool #
Command DeleteFrom Int64 Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> DeleteFrom -> m Int64 #
Command InsertIntoQuery Int64 Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> InsertIntoQuery -> m Int64 #
Command DropTable Int64 Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> DropTable -> m Int64 #
Command DropView Int64 Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> DropView -> m Int64 #
Command CopyTable Int64 Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> CopyTable -> m Int64 #
Command RenameTable Int64 Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> RenameTable -> m Int64 #
Command GetRelationSchema (Fields Field) Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> GetRelationSchema -> m (Fields Field) #
Eq (DbBackendOptions Postgres) #
Instance details Defined in Napkin.Run.Postgres Methods (==) :: DbBackendOptions Postgres -> DbBackendOptions Postgres -> Bool # (/=) :: DbBackendOptions Postgres -> DbBackendOptions Postgres -> Bool #
Show (DbBackendOptions Postgres) #
Instance details Defined in Napkin.Run.Postgres Methods showsPrec :: Int -> DbBackendOptions Postgres -> ShowS # show :: DbBackendOptions Postgres -> String # showList :: [DbBackendOptions Postgres] -> ShowS #
Generic (DbBackendOptions Postgres) #
Instance details Defined in Napkin.Run.Postgres Associated Types type Rep (DbBackendOptions Postgres) :: Type -> Type # Methods from :: DbBackendOptions Postgres -> Rep (DbBackendOptions Postgres) x # to :: Rep (DbBackendOptions Postgres) x -> DbBackendOptions Postgres #
ToJSON (DbBackendOptions Postgres) #
Instance details Defined in Napkin.Run.Postgres Methods toJSON :: DbBackendOptions Postgres -> Value # toEncoding :: DbBackendOptions Postgres -> Encoding # toJSONList :: [DbBackendOptions Postgres] -> Value # toEncodingList :: [DbBackendOptions Postgres] -> Encoding #
FromJSON (DbBackendOptions Postgres) #
Instance details Defined in Napkin.Run.Postgres Methods parseJSON :: Value -> Parser (DbBackendOptions Postgres) # parseJSONList :: Value -> Parser [DbBackendOptions Postgres] #
FromJSON (YamlBackendMaterializedViewMeta Postgres) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods parseJSON :: Value -> Parser (YamlBackendMaterializedViewMeta Postgres) # parseJSONList :: Value -> Parser [YamlBackendMaterializedViewMeta Postgres] #
FromJSON (YamlBackendViewMeta Postgres) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods parseJSON :: Value -> Parser (YamlBackendViewMeta Postgres) # parseJSONList :: Value -> Parser [YamlBackendViewMeta Postgres] #
FromJSON (YamlBackendTableMeta Postgres) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods parseJSON :: Value -> Parser (YamlBackendTableMeta Postgres) # parseJSONList :: Value -> Parser [YamlBackendTableMeta Postgres] #
Default (DbBackendOptions Postgres) #
Instance details Defined in Napkin.Run.Postgres Methods def :: DbBackendOptions Postgres #
MaybeDefault (YamlBackendMaterializedViewMeta Postgres) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods defMb :: Maybe (YamlBackendMaterializedViewMeta Postgres) #
MaybeDefault (YamlBackendViewMeta Postgres) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods defMb :: Maybe (YamlBackendViewMeta Postgres) #
MaybeDefault (YamlBackendTableMeta Postgres) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods defMb :: Maybe (YamlBackendTableMeta Postgres) #
ToDbBackend Postgres #
Instance details Defined in Napkin.Backends.Types Methods toDbBackend :: DbBackend #
RenderSql a Postgres => RenderSql (Alias a) Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Alias a -> Doc #
RenderSql (CreateMaterializedViewAs MaterializedViewMeta) Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> CreateMaterializedViewAs MaterializedViewMeta -> Doc #
RenderSql (CreateViewAs ()) Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> CreateViewAs () -> Doc #
RenderSql (CreateTableAs TableMeta) Postgres #	Commands
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> CreateTableAs TableMeta -> Doc #
Command (CreateMaterializedViewAs MaterializedViewMeta) Int64 Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> CreateMaterializedViewAs MaterializedViewMeta -> m Int64 #
Command (CreateViewAs ()) Int64 Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> CreateViewAs () -> m Int64 #
Command (CreateTableAs TableMeta) Int64 Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> CreateTableAs TableMeta -> m Int64 #
RenderSql (Ref t) Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Ref t -> Doc #
data BackendSpecificEffect Postgres m a #
Instance details Defined in Napkin.Run.Effects.Languages.Backend.Postgres data BackendSpecificEffect Postgres m a where Vacuum :: forall (m :: Type -> Type). Ref Table -> PostgresExtra m ()
type BackendMaterializedViewMeta Postgres #
Instance details Defined in Napkin.Types.Postgres type BackendMaterializedViewMeta Postgres = MaterializedViewMeta
type BackendViewMeta Postgres #
Instance details Defined in Napkin.Types.Postgres type BackendViewMeta Postgres = ()
type BackendTableMeta Postgres #
Instance details Defined in Napkin.Types.Postgres type BackendTableMeta Postgres = TableMeta
data BackendConn Postgres #
Instance details Defined in Napkin.Run.Postgres data BackendConn Postgres = PostgresConn { getPostgresConn :: Pool Connection }
newtype DbBackendOptions Postgres #
Instance details Defined in Napkin.Run.Postgres newtype DbBackendOptions Postgres = PostgresOptions { _postgresOptions_connectionPool :: Natural }
type Rep (DbBackendOptions Postgres) #
Instance details Defined in Napkin.Run.Postgres type Rep (DbBackendOptions Postgres) = D1 ('MetaData "DbBackendOptions" "Napkin.Run.Postgres" "napkin-0.5.12-IOJ7B058YIK5gpjD82pDT5" 'True) (C1 ('MetaCons "PostgresOptions" 'PrefixI 'True) (S1 ('MetaSel ('Just "_postgresOptions_connectionPool") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

newtype TableMeta #

Constructors

TableMeta
Fields _tableMeta_indexes :: Maybe Indexes

Instances

Instances details

Eq TableMeta #
Instance details Defined in Napkin.Types.Postgres Methods (==) :: TableMeta -> TableMeta -> Bool # (/=) :: TableMeta -> TableMeta -> Bool #
Show TableMeta #
Instance details Defined in Napkin.Types.Postgres Methods showsPrec :: Int -> TableMeta -> ShowS # show :: TableMeta -> String # showList :: [TableMeta] -> ShowS #
Generic TableMeta #
Instance details Defined in Napkin.Types.Postgres Associated Types type Rep TableMeta :: Type -> Type # Methods from :: TableMeta -> Rep TableMeta x # to :: Rep TableMeta x -> TableMeta #
FromJSON TableMeta #
Instance details Defined in Napkin.Types.Postgres Methods parseJSON :: Value -> Parser TableMeta # parseJSONList :: Value -> Parser [TableMeta] #
Default TableMeta #
Instance details Defined in Napkin.Types.Postgres Methods def :: TableMeta #
RenderSql (CreateTableAs TableMeta) Postgres #	Commands
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> CreateTableAs TableMeta -> Doc #
Command (CreateTableAs TableMeta) Int64 Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> CreateTableAs TableMeta -> m Int64 #
type Rep TableMeta #
Instance details Defined in Napkin.Types.Postgres type Rep TableMeta = D1 ('MetaData "TableMeta" "Napkin.Types.Postgres" "napkin-0.5.12-IOJ7B058YIK5gpjD82pDT5" 'True) (C1 ('MetaCons "TableMeta" 'PrefixI 'True) (S1 ('MetaSel ('Just "_tableMeta_indexes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Indexes))))

data MaterializedViewMeta #

Constructors

MaterializedViewMeta
Fields _materializedViewMeta_timescale :: Maybe TimescaleViewMeta _materializedViewMeta_indexes :: Maybe Indexes

Instances

Instances details

Eq MaterializedViewMeta #
Instance details Defined in Napkin.Types.Postgres Methods (==) :: MaterializedViewMeta -> MaterializedViewMeta -> Bool # (/=) :: MaterializedViewMeta -> MaterializedViewMeta -> Bool #
Show MaterializedViewMeta #
Instance details Defined in Napkin.Types.Postgres Methods showsPrec :: Int -> MaterializedViewMeta -> ShowS # show :: MaterializedViewMeta -> String # showList :: [MaterializedViewMeta] -> ShowS #
Generic MaterializedViewMeta #
Instance details Defined in Napkin.Types.Postgres Associated Types type Rep MaterializedViewMeta :: Type -> Type # Methods from :: MaterializedViewMeta -> Rep MaterializedViewMeta x # to :: Rep MaterializedViewMeta x -> MaterializedViewMeta #
FromJSON MaterializedViewMeta #
Instance details Defined in Napkin.Types.Postgres Methods parseJSON :: Value -> Parser MaterializedViewMeta # parseJSONList :: Value -> Parser [MaterializedViewMeta] #
Default MaterializedViewMeta #
Instance details Defined in Napkin.Types.Postgres Methods def :: MaterializedViewMeta #
RenderSql (CreateMaterializedViewAs MaterializedViewMeta) Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> CreateMaterializedViewAs MaterializedViewMeta -> Doc #
Command (CreateMaterializedViewAs MaterializedViewMeta) Int64 Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> CreateMaterializedViewAs MaterializedViewMeta -> m Int64 #
type Rep MaterializedViewMeta #
Instance details Defined in Napkin.Types.Postgres type Rep MaterializedViewMeta = D1 ('MetaData "MaterializedViewMeta" "Napkin.Types.Postgres" "napkin-0.5.12-IOJ7B058YIK5gpjD82pDT5" 'False) (C1 ('MetaCons "MaterializedViewMeta" 'PrefixI 'True) (S1 ('MetaSel ('Just "_materializedViewMeta_timescale") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TimescaleViewMeta)) :*: S1 ('MetaSel ('Just "_materializedViewMeta_indexes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Indexes))))

data SetTableSchema #

In Postgres it's not possible to RENAME and SET SCHEMA in a single query

Constructors

SetTableSchema
Fields _rtFrom :: Ref Table _rtNewSchema :: Text

Instances

Instances details

Eq SetTableSchema #
Instance details Defined in Napkin.Types.Postgres Methods (==) :: SetTableSchema -> SetTableSchema -> Bool # (/=) :: SetTableSchema -> SetTableSchema -> Bool #
Data SetTableSchema #
Instance details Defined in Napkin.Types.Postgres Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SetTableSchema -> c SetTableSchema # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SetTableSchema # toConstr :: SetTableSchema -> Constr # dataTypeOf :: SetTableSchema -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SetTableSchema) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SetTableSchema) # gmapT :: (forall b. Data b => b -> b) -> SetTableSchema -> SetTableSchema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SetTableSchema -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SetTableSchema -> r # gmapQ :: (forall d. Data d => d -> u) -> SetTableSchema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SetTableSchema -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SetTableSchema -> m SetTableSchema # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SetTableSchema -> m SetTableSchema # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SetTableSchema -> m SetTableSchema #
Show SetTableSchema #
Instance details Defined in Napkin.Types.Postgres Methods showsPrec :: Int -> SetTableSchema -> ShowS # show :: SetTableSchema -> String # showList :: [SetTableSchema] -> ShowS #
RenderSql SetTableSchema Redshift #
Instance details Defined in Napkin.Render.Redshift Methods renderSql :: Redshift -> SetTableSchema -> Doc #
RenderSql SetTableSchema Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> SetTableSchema -> Doc #

data CreateIndex #

Constructors

CreateIndex
Fields _ciRef :: Ref Table _ciIndex :: Index

Instances

Instances details

Eq CreateIndex #
Instance details Defined in Napkin.Types.Postgres Methods (==) :: CreateIndex -> CreateIndex -> Bool # (/=) :: CreateIndex -> CreateIndex -> Bool #
Show CreateIndex #
Instance details Defined in Napkin.Types.Postgres Methods showsPrec :: Int -> CreateIndex -> ShowS # show :: CreateIndex -> String # showList :: [CreateIndex] -> ShowS #
RenderSql CreateIndex Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> CreateIndex -> Doc #

materializedViewMeta_timescale :: Lens' MaterializedViewMeta (Maybe TimescaleViewMeta) #

materializedViewMeta_indexes :: Lens' MaterializedViewMeta (Maybe Indexes) #

tableMeta_indexes :: Iso' TableMeta (Maybe Indexes) #