Safe Haskell	Safe-Inferred
Language	GHC2021

Napkin.Spec.Types.Runtime

Synopsis

newtype AppName = AppName Text
newtype Pipeline = Pipeline {
- _unPipeline :: Text
}
data SpecPaths = SpecPaths {
- specRoot :: FilePath
- sqlDir :: FilePath
}
newtype DepChain = DepChain (Map SpecTableName UTCTime)
newtype BkStatistics = BkStatistics Value
type SpecMetaArgs = Map Text Value
data SpecRuntime b = SpecRuntime {
- pipeline :: Pipeline
- connection :: BackendConn b
}

Documentation

newtype AppName #

Constructors

AppName Text

Instances

Instances details

FromJSON AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods parseJSON :: Value -> Parser AppName # parseJSONList :: Value -> Parser [AppName] #
ToJSON AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods toJSON :: AppName -> Value # toEncoding :: AppName -> Encoding # toJSONList :: [AppName] -> Value # toEncodingList :: [AppName] -> Encoding #
Data AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AppName -> c AppName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AppName # toConstr :: AppName -> Constr # dataTypeOf :: AppName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AppName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AppName) # gmapT :: (forall b. Data b => b -> b) -> AppName -> AppName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AppName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AppName -> r # gmapQ :: (forall d. Data d => d -> u) -> AppName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AppName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AppName -> m AppName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AppName -> m AppName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AppName -> m AppName #
IsString AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods fromString :: String -> AppName #
Semigroup AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods (<>) :: AppName -> AppName -> AppName # sconcat :: NonEmpty AppName -> AppName # stimes :: Integral b => b -> AppName -> AppName #
Show AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods showsPrec :: Int -> AppName -> ShowS # show :: AppName -> String # showList :: [AppName] -> ShowS #
Buildable AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods build :: AppName -> Builder #
Eq AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods (==) :: AppName -> AppName -> Bool # (/=) :: AppName -> AppName -> Bool #
Ord AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods compare :: AppName -> AppName -> Ordering # (<) :: AppName -> AppName -> Bool # (<=) :: AppName -> AppName -> Bool # (>) :: AppName -> AppName -> Bool # (>=) :: AppName -> AppName -> Bool # max :: AppName -> AppName -> AppName # min :: AppName -> AppName -> AppName #
(BeamMigrateSqlBackend bk, FromBackendRow bk Text) => FromBackendRow bk AppName #
Instance details Defined in Napkin.Metadata.Instances Methods fromBackendRow :: FromBackendRowM bk AppName # valuesNeeded :: Proxy bk -> Proxy AppName -> Int #
HasSqlValueSyntax bk Text => HasSqlValueSyntax bk AppName #
Instance details Defined in Napkin.Metadata.Instances Methods sqlValueSyntax :: AppName -> bk #
BeamSqlBackend bk => HasSqlEqualityCheck bk AppName #
Instance details Defined in Napkin.Metadata.Instances Methods sqlEqE :: Proxy AppName -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk # sqlNeqE :: Proxy AppName -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk # sqlEqTriE :: Proxy AppName -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk # sqlNeqTriE :: Proxy AppName -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk #
BeamMigrateSqlBackend bk => HasDefaultSqlDataType bk AppName #
Instance details Defined in Napkin.Metadata.Instances Methods defaultSqlDataType :: Proxy AppName -> Proxy bk -> Bool -> BeamSqlBackendDataTypeSyntax bk # defaultSqlDataTypeConstraints :: Proxy AppName -> Proxy bk -> Bool -> [FieldCheck] #

newtype Pipeline #

A namespace for a given pipeline

Constructors

Pipeline
Fields _unPipeline :: Text

Instances

Instances details

FromJSON Pipeline #
Instance details Defined in Napkin.Spec.Types.Runtime Methods parseJSON :: Value -> Parser Pipeline # parseJSONList :: Value -> Parser [Pipeline] #
ToJSON Pipeline #
Instance details Defined in Napkin.Spec.Types.Runtime Methods toJSON :: Pipeline -> Value # toEncoding :: Pipeline -> Encoding # toJSONList :: [Pipeline] -> Value # toEncodingList :: [Pipeline] -> Encoding #
Data Pipeline #
Instance details Defined in Napkin.Spec.Types.Runtime Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pipeline -> c Pipeline # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pipeline # toConstr :: Pipeline -> Constr # dataTypeOf :: Pipeline -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pipeline) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pipeline) # gmapT :: (forall b. Data b => b -> b) -> Pipeline -> Pipeline # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pipeline -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pipeline -> r # gmapQ :: (forall d. Data d => d -> u) -> Pipeline -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Pipeline -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pipeline -> m Pipeline # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pipeline -> m Pipeline # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pipeline -> m Pipeline #
IsString Pipeline #
Instance details Defined in Napkin.Spec.Types.Runtime Methods fromString :: String -> Pipeline #
Show Pipeline #
Instance details Defined in Napkin.Spec.Types.Runtime Methods showsPrec :: Int -> Pipeline -> ShowS # show :: Pipeline -> String # showList :: [Pipeline] -> ShowS #
Eq Pipeline #
Instance details Defined in Napkin.Spec.Types.Runtime Methods (==) :: Pipeline -> Pipeline -> Bool # (/=) :: Pipeline -> Pipeline -> Bool #
Ord Pipeline #
Instance details Defined in Napkin.Spec.Types.Runtime Methods compare :: Pipeline -> Pipeline -> Ordering # (<) :: Pipeline -> Pipeline -> Bool # (<=) :: Pipeline -> Pipeline -> Bool # (>) :: Pipeline -> Pipeline -> Bool # (>=) :: Pipeline -> Pipeline -> Bool # max :: Pipeline -> Pipeline -> Pipeline # min :: Pipeline -> Pipeline -> Pipeline #
(BeamMigrateSqlBackend bk, FromBackendRow bk Text) => FromBackendRow bk Pipeline #
Instance details Defined in Napkin.Metadata.Instances Methods fromBackendRow :: FromBackendRowM bk Pipeline # valuesNeeded :: Proxy bk -> Proxy Pipeline -> Int #
HasSqlValueSyntax bk Text => HasSqlValueSyntax bk Pipeline #
Instance details Defined in Napkin.Metadata.Instances Methods sqlValueSyntax :: Pipeline -> bk #
BeamSqlBackend bk => HasSqlEqualityCheck bk Pipeline #
Instance details Defined in Napkin.Metadata.Instances Methods sqlEqE :: Proxy Pipeline -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk # sqlNeqE :: Proxy Pipeline -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk # sqlEqTriE :: Proxy Pipeline -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk # sqlNeqTriE :: Proxy Pipeline -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk #
BeamMigrateSqlBackend bk => HasDefaultSqlDataType bk Pipeline #
Instance details Defined in Napkin.Metadata.Instances Methods defaultSqlDataType :: Proxy Pipeline -> Proxy bk -> Bool -> BeamSqlBackendDataTypeSyntax bk # defaultSqlDataTypeConstraints :: Proxy Pipeline -> Proxy bk -> Bool -> [FieldCheck] #

data SpecPaths #

Constructors

SpecPaths
Fields specRoot :: FilePath sqlDir :: FilePath

Instances

Instances details

MonadReader SpecPaths (Spec b) #
Instance details Defined in Napkin.Spec.Types.Spec Methods ask :: Spec b SpecPaths # local :: (SpecPaths -> SpecPaths) -> Spec b a -> Spec b a # reader :: (SpecPaths -> a) -> Spec b a #

newtype DepChain #

Constructors

DepChain (Map SpecTableName UTCTime)

Instances

Instances details

FromJSON DepChain #
Instance details Defined in Napkin.Spec.Types.Runtime Methods parseJSON :: Value -> Parser DepChain # parseJSONList :: Value -> Parser [DepChain] #
ToJSON DepChain #
Instance details Defined in Napkin.Spec.Types.Runtime Methods toJSON :: DepChain -> Value # toEncoding :: DepChain -> Encoding # toJSONList :: [DepChain] -> Value # toEncodingList :: [DepChain] -> Encoding #
Monoid DepChain #
Instance details Defined in Napkin.Spec.Types.Runtime Methods mempty :: DepChain # mappend :: DepChain -> DepChain -> DepChain # mconcat :: [DepChain] -> DepChain #
Semigroup DepChain #
Instance details Defined in Napkin.Spec.Types.Runtime Methods (<>) :: DepChain -> DepChain -> DepChain # sconcat :: NonEmpty DepChain -> DepChain # stimes :: Integral b => b -> DepChain -> DepChain #
Show DepChain #
Instance details Defined in Napkin.Spec.Types.Runtime Methods showsPrec :: Int -> DepChain -> ShowS # show :: DepChain -> String # showList :: [DepChain] -> ShowS #
Eq DepChain #
Instance details Defined in Napkin.Spec.Types.Runtime Methods (==) :: DepChain -> DepChain -> Bool # (/=) :: DepChain -> DepChain -> Bool #
(BeamMigrateSqlBackend bk, FromBackendRow bk Text) => FromBackendRow bk DepChain #
Instance details Defined in Napkin.Metadata.Instances Methods fromBackendRow :: FromBackendRowM bk DepChain # valuesNeeded :: Proxy bk -> Proxy DepChain -> Int #
HasSqlValueSyntax bk Text => HasSqlValueSyntax bk DepChain #
Instance details Defined in Napkin.Metadata.Instances Methods sqlValueSyntax :: DepChain -> bk #
BeamMigrateSqlBackend bk => HasDefaultSqlDataType bk DepChain #
Instance details Defined in Napkin.Metadata.Instances Methods defaultSqlDataType :: Proxy DepChain -> Proxy bk -> Bool -> BeamSqlBackendDataTypeSyntax bk # defaultSqlDataTypeConstraints :: Proxy DepChain -> Proxy bk -> Bool -> [FieldCheck] #

newtype BkStatistics #

Constructors

BkStatistics Value

Instances

Instances details

FromJSON BkStatistics #
Instance details Defined in Napkin.Spec.Types.Runtime Methods parseJSON :: Value -> Parser BkStatistics # parseJSONList :: Value -> Parser [BkStatistics] #
ToJSON BkStatistics #
Instance details Defined in Napkin.Spec.Types.Runtime Methods toJSON :: BkStatistics -> Value # toEncoding :: BkStatistics -> Encoding # toJSONList :: [BkStatistics] -> Value # toEncodingList :: [BkStatistics] -> Encoding #
Show BkStatistics #
Instance details Defined in Napkin.Spec.Types.Runtime Methods showsPrec :: Int -> BkStatistics -> ShowS # show :: BkStatistics -> String # showList :: [BkStatistics] -> ShowS #
Eq BkStatistics #
Instance details Defined in Napkin.Spec.Types.Runtime Methods (==) :: BkStatistics -> BkStatistics -> Bool # (/=) :: BkStatistics -> BkStatistics -> Bool #
(BeamMigrateSqlBackend bk, FromBackendRow bk Text) => FromBackendRow bk BkStatistics #
Instance details Defined in Napkin.Metadata.Instances Methods fromBackendRow :: FromBackendRowM bk BkStatistics # valuesNeeded :: Proxy bk -> Proxy BkStatistics -> Int #
HasSqlValueSyntax bk Text => HasSqlValueSyntax bk BkStatistics #
Instance details Defined in Napkin.Metadata.Instances Methods sqlValueSyntax :: BkStatistics -> bk #
BeamMigrateSqlBackend bk => HasDefaultSqlDataType bk BkStatistics #
Instance details Defined in Napkin.Metadata.Instances Methods defaultSqlDataType :: Proxy BkStatistics -> Proxy bk -> Bool -> BeamSqlBackendDataTypeSyntax bk # defaultSqlDataTypeConstraints :: Proxy BkStatistics -> Proxy bk -> Bool -> [FieldCheck] #

type SpecMetaArgs = Map Text Value #

data SpecRuntime b #

Constructors

SpecRuntime
Fields pipeline :: Pipeline connection :: BackendConn b

Instances

Instances details

Generic (SpecRuntime b) #
Instance details Defined in Napkin.Spec.Types.Runtime Associated Types type Rep (SpecRuntime b) :: Type -> Type # Methods from :: SpecRuntime b -> Rep (SpecRuntime b) x # to :: Rep (SpecRuntime b) x -> SpecRuntime b #
type Rep (SpecRuntime b) #
Instance details Defined in Napkin.Spec.Types.Runtime type Rep (SpecRuntime b) = D1 ('MetaData "SpecRuntime" "Napkin.Spec.Types.Runtime" "napkin-1.0.0-B79azc00rn1K8mj00hwhwG" 'False) (C1 ('MetaCons "SpecRuntime" 'PrefixI 'True) (S1 ('MetaSel ('Just "pipeline") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pipeline) :*: S1 ('MetaSel ('Just "connection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BackendConn b))))