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

Napkin.Metadata.Types.SpecRun

Description

Synopsis

newtype SpecState = SpecState {
- _ssTables :: Map SpecTableName SpecRun
}
newtype Pennies = Pennies Int64
newtype SpecRunId = SpecRunId UUID
data SpecRunT f = SpecRun {
- srEntryId :: C f UUID
- srApp :: C f AppName
- srPipeline :: C f Pipeline
- srRunId :: C f SpecRunId
- srTable :: C f SpecTableName
- srStarted :: C f UTCTime
- srComplete :: C f (Maybe UTCTime)
- srAction :: C f (Maybe Text)
- srError :: C f (Maybe Text)
- srRowsAffected :: C f (Maybe Int64)
- srServerTime :: C f (Maybe Int64)
- srHookRowsAffected :: C f (Maybe Int64)
- srHookServerTime :: C f (Maybe Int64)
- srDependencies :: C f (Maybe DepChain)
- srBackend :: C f (Maybe Text)
- srBackendStats :: C f (Maybe BkStatistics)
- srHookBackendStats :: C f (Maybe BkStatistics)
}
type SpecRun = SpecRunT Identity
data SpecTarget
- = SpecTable
- | SpecView
ssTables :: Iso' SpecState (Map SpecTableName SpecRun)

Documentation

newtype SpecState #

Constructors

SpecState
Fields _ssTables :: Map SpecTableName SpecRun

Instances

Instances details

Generic SpecState #
Instance details Defined in Napkin.Metadata.Types.SpecRun Associated Types type Rep SpecState :: Type -> Type # Methods from :: SpecState -> Rep SpecState x # to :: Rep SpecState x -> SpecState #
Show SpecState #
Instance details Defined in Napkin.Metadata.Types.SpecRun Methods showsPrec :: Int -> SpecState -> ShowS # show :: SpecState -> String # showList :: [SpecState] -> ShowS #
Default SpecState #
Instance details Defined in Napkin.Metadata.Types.SpecRun Methods def :: SpecState #
Eq SpecState #
Instance details Defined in Napkin.Metadata.Types.SpecRun Methods (==) :: SpecState -> SpecState -> Bool # (/=) :: SpecState -> SpecState -> Bool #
type Rep SpecState #
Instance details Defined in Napkin.Metadata.Types.SpecRun type Rep SpecState = D1 ('MetaData "SpecState" "Napkin.Metadata.Types.SpecRun" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'True) (C1 ('MetaCons "SpecState" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ssTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map SpecTableName SpecRun))))

newtype Pennies #

Constructors

Pennies Int64

Instances

Instances details

FromJSON Pennies #
Instance details Defined in Napkin.Metadata.Types.SpecRun Methods parseJSON :: Value -> Parser Pennies # parseJSONList :: Value -> Parser [Pennies] #
Generic Pennies #
Instance details Defined in Napkin.Metadata.Types.SpecRun Associated Types type Rep Pennies :: Type -> Type # Methods from :: Pennies -> Rep Pennies x # to :: Rep Pennies x -> Pennies #
Show Pennies #
Instance details Defined in Napkin.Metadata.Types.SpecRun Methods showsPrec :: Int -> Pennies -> ShowS # show :: Pennies -> String # showList :: [Pennies] -> ShowS #
Eq Pennies #
Instance details Defined in Napkin.Metadata.Types.SpecRun Methods (==) :: Pennies -> Pennies -> Bool # (/=) :: Pennies -> Pennies -> Bool #
(BeamMigrateSqlBackend bk, FromBackendRow bk Int64) => FromBackendRow bk Pennies #
Instance details Defined in Napkin.Metadata.Instances Methods fromBackendRow :: FromBackendRowM bk Pennies # valuesNeeded :: Proxy bk -> Proxy Pennies -> Int #
HasSqlValueSyntax bk Int64 => HasSqlValueSyntax bk Pennies #
Instance details Defined in Napkin.Metadata.Instances Methods sqlValueSyntax :: Pennies -> bk #
BeamSqlBackend bk => HasSqlEqualityCheck bk Pennies #
Instance details Defined in Napkin.Metadata.Instances Methods sqlEqE :: Proxy Pennies -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk # sqlNeqE :: Proxy Pennies -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk # sqlEqTriE :: Proxy Pennies -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk # sqlNeqTriE :: Proxy Pennies -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk #
(IsSql2008BigIntDataTypeSyntax (BeamMigrateSqlBackendDataTypeSyntax bk), BeamMigrateSqlBackend bk) => HasDefaultSqlDataType bk Pennies #
Instance details Defined in Napkin.Metadata.Instances Methods defaultSqlDataType :: Proxy Pennies -> Proxy bk -> Bool -> BeamSqlBackendDataTypeSyntax bk # defaultSqlDataTypeConstraints :: Proxy Pennies -> Proxy bk -> Bool -> [FieldCheck] #
type Rep Pennies #
Instance details Defined in Napkin.Metadata.Types.SpecRun type Rep Pennies = D1 ('MetaData "Pennies" "Napkin.Metadata.Types.SpecRun" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'True) (C1 ('MetaCons "Pennies" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype SpecRunId #

Each run of the spec for a table is captured

Constructors

SpecRunId UUID

Instances

Instances details

Show SpecRunId #
Instance details Defined in Napkin.Metadata.Types.SpecRun Methods showsPrec :: Int -> SpecRunId -> ShowS # show :: SpecRunId -> String # showList :: [SpecRunId] -> ShowS #
Eq SpecRunId #
Instance details Defined in Napkin.Metadata.Types.SpecRun Methods (==) :: SpecRunId -> SpecRunId -> Bool # (/=) :: SpecRunId -> SpecRunId -> Bool #
(BeamMigrateSqlBackend bk, FromBackendRow bk UUID) => FromBackendRow bk SpecRunId #
Instance details Defined in Napkin.Metadata.Types Methods fromBackendRow :: FromBackendRowM bk SpecRunId # valuesNeeded :: Proxy bk -> Proxy SpecRunId -> Int #
HasSqlValueSyntax bk UUID => HasSqlValueSyntax bk SpecRunId #
Instance details Defined in Napkin.Metadata.Types Methods sqlValueSyntax :: SpecRunId -> bk #
BeamSqlBackend bk => HasSqlEqualityCheck bk SpecRunId #
Instance details Defined in Napkin.Metadata.Types Methods sqlEqE :: Proxy SpecRunId -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk # sqlNeqE :: Proxy SpecRunId -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk # sqlEqTriE :: Proxy SpecRunId -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk # sqlNeqTriE :: Proxy SpecRunId -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk #
(HasDefaultSqlDataType bk UUID, BeamMigrateSqlBackend bk) => HasDefaultSqlDataType bk SpecRunId #
Instance details Defined in Napkin.Metadata.Types Methods defaultSqlDataType :: Proxy SpecRunId -> Proxy bk -> Bool -> BeamSqlBackendDataTypeSyntax bk # defaultSqlDataTypeConstraints :: Proxy SpecRunId -> Proxy bk -> Bool -> [FieldCheck] #
DataTypeForBackend bk UUID => DataTypeForBackend bk SpecRunId #
Instance details Defined in Napkin.Metadata.Migrations Methods dbType :: DataType bk SpecRunId #

data SpecRunT f #

Constructors

SpecRun

Fields

srEntryId :: C f UUID
srApp :: C f AppName
srPipeline :: C f Pipeline
srRunId :: C f SpecRunId
an incrementing number for each individual run
srTable :: C f SpecTableName
srStarted :: C f UTCTime
srComplete :: C f (Maybe UTCTime)
srAction :: C f (Maybe Text)
srError :: C f (Maybe Text)
srRowsAffected :: C f (Maybe Int64)
srServerTime :: C f (Maybe Int64)
srHookRowsAffected :: C f (Maybe Int64)
rows affected by pre- and post-hooks for this spec
srHookServerTime :: C f (Maybe Int64)
srDependencies :: C f (Maybe DepChain)
srBackend :: C f (Maybe Text)
srBackendStats :: C f (Maybe BkStatistics)
srHookBackendStats :: C f (Maybe BkStatistics)

Instances

Instances details

ToJSON SpecRun #
Instance details Defined in Napkin.Metadata.Types.SpecRun Methods toJSON :: SpecRun -> Value # toEncoding :: SpecRun -> Encoding # toJSONList :: [SpecRun] -> Value # toEncodingList :: [SpecRun] -> Encoding #
Show SpecRunEntryId #
Instance details Defined in Napkin.Metadata.Types Methods showsPrec :: Int -> SpecRunEntryId -> ShowS # show :: SpecRunEntryId -> String # showList :: [SpecRunEntryId] -> ShowS #
Show SpecRun #
Instance details Defined in Napkin.Metadata.Types.SpecRun Methods showsPrec :: Int -> SpecRun -> ShowS # show :: SpecRun -> String # showList :: [SpecRun] -> ShowS #
Beamable SpecRunT #
Instance details Defined in Napkin.Metadata.Types.SpecRun Methods zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> SpecRunT f -> SpecRunT g -> m (SpecRunT h) # tblSkeleton :: TableSkeleton SpecRunT #
Table SpecRunT #
Instance details Defined in Napkin.Metadata.Types Associated Types data PrimaryKey SpecRunT column # Methods primaryKey :: forall (column :: Type -> Type). SpecRunT column -> PrimaryKey SpecRunT column #
Eq SpecRunEntryId #
Instance details Defined in Napkin.Metadata.Types Methods (==) :: SpecRunEntryId -> SpecRunEntryId -> Bool # (/=) :: SpecRunEntryId -> SpecRunEntryId -> Bool #
Eq SpecRun #
Instance details Defined in Napkin.Metadata.Types.SpecRun Methods (==) :: SpecRun -> SpecRun -> Bool # (/=) :: SpecRun -> SpecRun -> Bool #
LogItem SpecRun #
Instance details Defined in Napkin.Metadata.Types.SpecRun Methods payloadKeys :: Verbosity -> SpecRun -> PayloadSelection #
ToObject SpecRun #
Instance details Defined in Napkin.Metadata.Types.SpecRun Methods toObject :: SpecRun -> Object #
Generic (SpecRunT f) #
Instance details Defined in Napkin.Metadata.Types.SpecRun Associated Types type Rep (SpecRunT f) :: Type -> Type # Methods from :: SpecRunT f -> Rep (SpecRunT f) x # to :: Rep (SpecRunT f) x -> SpecRunT f #
Beamable (PrimaryKey SpecRunT) #
Instance details Defined in Napkin.Metadata.Types Methods zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> PrimaryKey SpecRunT f -> PrimaryKey SpecRunT g -> m (PrimaryKey SpecRunT h) # tblSkeleton :: TableSkeleton (PrimaryKey SpecRunT) #
Generic (PrimaryKey SpecRunT f) #
Instance details Defined in Napkin.Metadata.Types Associated Types type Rep (PrimaryKey SpecRunT f) :: Type -> Type # Methods from :: PrimaryKey SpecRunT f -> Rep (PrimaryKey SpecRunT f) x # to :: Rep (PrimaryKey SpecRunT f) x -> PrimaryKey SpecRunT f #
Show (PrimaryKey SpecRunT (Nullable Identity)) #
Instance details Defined in Napkin.Metadata.Types Methods showsPrec :: Int -> PrimaryKey SpecRunT (Nullable Identity) -> ShowS # show :: PrimaryKey SpecRunT (Nullable Identity) -> String # showList :: [PrimaryKey SpecRunT (Nullable Identity)] -> ShowS #
data PrimaryKey SpecRunT f #
Instance details Defined in Napkin.Metadata.Types data PrimaryKey SpecRunT f = SpecRunEntryId (C f UUID)
type Rep (SpecRunT f) #
Instance details Defined in Napkin.Metadata.Types.SpecRun type Rep (SpecRunT f) = D1 ('MetaData "SpecRunT" "Napkin.Metadata.Types.SpecRun" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'False) (C1 ('MetaCons "SpecRun" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "srEntryId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f UUID)) :: S1 ('MetaSel ('Just "srApp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f AppName))) :: (S1 ('MetaSel ('Just "srPipeline") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f Pipeline)) :: S1 ('MetaSel ('Just "srRunId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f SpecRunId)))) :: ((S1 ('MetaSel ('Just "srTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f SpecTableName)) :: S1 ('MetaSel ('Just "srStarted") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f UTCTime))) :: (S1 ('MetaSel ('Just "srComplete") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe UTCTime))) :: S1 ('MetaSel ('Just "srAction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Text)))))) :: (((S1 ('MetaSel ('Just "srError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Text))) :: S1 ('MetaSel ('Just "srRowsAffected") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Int64)))) :: (S1 ('MetaSel ('Just "srServerTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Int64))) :: S1 ('MetaSel ('Just "srHookRowsAffected") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Int64))))) :: ((S1 ('MetaSel ('Just "srHookServerTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Int64))) :: S1 ('MetaSel ('Just "srDependencies") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe DepChain)))) :: (S1 ('MetaSel ('Just "srBackend") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Text))) :: (S1 ('MetaSel ('Just "srBackendStats") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe BkStatistics))) :: S1 ('MetaSel ('Just "srHookBackendStats") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe BkStatistics)))))))))
type Rep (PrimaryKey SpecRunT f) #
Instance details Defined in Napkin.Metadata.Types type Rep (PrimaryKey SpecRunT f) = D1 ('MetaData "PrimaryKey" "Napkin.Metadata.Types" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'False) (C1 ('MetaCons "SpecRunEntryId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f UUID))))

type SpecRun = SpecRunT Identity #

data SpecTarget #

Constructors

SpecTable
SpecView

Instances

Instances details

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

ssTables :: Iso' SpecState (Map SpecTableName SpecRun) #