Safe Haskell	None
Language	GHC2021

Napkin.Metadata.Types.SpecRun

Synopsis

newtype SpecState = SpecState {
- tables :: Map SpecTableName SpecRun
}
newtype Pennies = Pennies Int64
newtype SpecRunId = SpecRunId UUID
data SpecRunT (f :: Type -> Type) = SpecRun {
- entryId :: C f UUID
- app :: C f AppName
- pipeline :: C f Pipeline
- runId :: C f SpecRunId
- table :: C f SpecTableName
- started :: C f UTCTime
- complete :: C f (Maybe UTCTime)
- action :: C f (Maybe Text)
- error :: C f (Maybe Text)
- rowsAffected :: C f (Maybe Int64)
- serverTime :: C f (Maybe Int64)
- hookRowsAffected :: C f (Maybe Int64)
- hookServerTime :: C f (Maybe Int64)
- dependencies :: C f (Maybe DepChain)
- backend :: C f (Maybe Text)
- backendStats :: C f (Maybe BkStatistics)
- hookBackendStats :: C f (Maybe BkStatistics)
}
type SpecRun = SpecRunT Identity
data SpecTarget
- = SpecTable
- | SpecView

Documentation

newtype SpecState #

Constructors

SpecState
Fields tables :: Map SpecTableName SpecRun

Instances

Instances details

Generic SpecState #

Instance details

Defined in Napkin.Metadata.Types.SpecRun

Associated Types

type Rep SpecState
Instance details Defined in Napkin.Metadata.Types.SpecRun type Rep SpecState = D1 ('MetaData "SpecState" "Napkin.Metadata.Types.SpecRun" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'True) (C1 ('MetaCons "SpecState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map SpecTableName SpecRun))))

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-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'True) (C1 ('MetaCons "SpecState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tables") '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] #

omittedField :: Maybe Pennies #

Generic Pennies #

Instance details

Defined in Napkin.Metadata.Types.SpecRun

Associated Types

type Rep Pennies
Instance details Defined in Napkin.Metadata.Types.SpecRun type Rep Pennies = D1 ('MetaData "Pennies" "Napkin.Metadata.Types.SpecRun" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'True) (C1 ('MetaCons "Pennies" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

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-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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 :: Type -> Type) #

Constructors

SpecRun

Fields

entryId :: C f UUID
app :: C f AppName
pipeline :: C f Pipeline
runId :: C f SpecRunId
an incrementing number for each individual run
table :: C f SpecTableName
started :: C f UTCTime
complete :: C f (Maybe UTCTime)
action :: C f (Maybe Text)
error :: C f (Maybe Text)
rowsAffected :: C f (Maybe Int64)
serverTime :: C f (Maybe Int64)
hookRowsAffected :: C f (Maybe Int64)
rows affected by pre- and post-hooks for this spec
hookServerTime :: C f (Maybe Int64)
dependencies :: C f (Maybe DepChain)
backend :: C f (Maybe Text)
backendStats :: C f (Maybe BkStatistics)
hookBackendStats :: 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 #

omitField :: SpecRun -> Bool #

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 f
Instance details Defined in Napkin.Metadata.Types data PrimaryKey SpecRunT f = SpecRunEntryId (C f UUID)

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)

Instance details

Defined in Napkin.Metadata.Types.SpecRun

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)
Instance details Defined in Napkin.Metadata.Types type Rep (PrimaryKey SpecRunT f) = D1 ('MetaData "PrimaryKey" "Napkin.Metadata.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "SpecRunEntryId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f UUID))))

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 (PrimaryKey SpecRunT f) #

Instance details

Defined in Napkin.Metadata.Types

type Rep (PrimaryKey SpecRunT f) = D1 ('MetaData "PrimaryKey" "Napkin.Metadata.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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 #