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

Napkin.Spec.Types.Runtime

Description

Synopsis

newtype AppName = AppName {
- _unAppName :: Text
}
newtype Pipeline = Pipeline {
- _unPipeline :: Text
}
data SpecPaths = SpecPaths {
- specRoot :: FilePath
- sqlDir :: FilePath
}
newtype DepChain = DepChain {
- _unDepChain :: Map SpecTableName UTCTime
}
newtype BkStatistics = BkStatistics {
- _unBkStatistics :: Value
}
type SpecMetaArgs = Map Text Value
data SpecRuntime b = SpecRuntime {
- _spPipeline :: Pipeline
- _spConn :: BackendConn b
}

Documentation

newtype AppName #

Constructors

AppName
Fields _unAppName :: 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 #
Semigroup AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods (<>) :: AppName -> AppName -> AppName # sconcat :: NonEmpty AppName -> AppName # stimes :: Integral b => b -> AppName -> AppName #
Generic AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Associated Types type Rep AppName :: Type -> Type # Methods from :: AppName -> Rep AppName x # to :: Rep AppName x -> AppName #
Show AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods showsPrec :: Int -> AppName -> ShowS # show :: AppName -> String # showList :: [AppName] -> ShowS #
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] #
HasAppName OAuth2CorrelatedKey AppName #
Instance details Defined in Napkin.Auth.Types Methods appName :: Lens' OAuth2CorrelatedKey AppName #
type Rep AppName #
Instance details Defined in Napkin.Spec.Types.Runtime type Rep AppName = D1 ('MetaData "AppName" "Napkin.Spec.Types.Runtime" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'True) (C1 ('MetaCons "AppName" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unAppName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

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 #
Generic Pipeline #
Instance details Defined in Napkin.Spec.Types.Runtime Associated Types type Rep Pipeline :: Type -> Type # Methods from :: Pipeline -> Rep Pipeline x # to :: Rep Pipeline x -> 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] #
type Rep Pipeline #
Instance details Defined in Napkin.Spec.Types.Runtime type Rep Pipeline = D1 ('MetaData "Pipeline" "Napkin.Spec.Types.Runtime" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'True) (C1 ('MetaCons "Pipeline" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unPipeline") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

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
Fields _unDepChain :: 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 #
Generic DepChain #
Instance details Defined in Napkin.Spec.Types.Runtime Associated Types type Rep DepChain :: Type -> Type # Methods from :: DepChain -> Rep DepChain x # to :: Rep DepChain x -> 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] #
type Rep DepChain #
Instance details Defined in Napkin.Spec.Types.Runtime type Rep DepChain = D1 ('MetaData "DepChain" "Napkin.Spec.Types.Runtime" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'True) (C1 ('MetaCons "DepChain" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unDepChain") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map SpecTableName UTCTime))))

newtype BkStatistics #

Constructors

BkStatistics
Fields _unBkStatistics :: 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 #
Generic BkStatistics #
Instance details Defined in Napkin.Spec.Types.Runtime Associated Types type Rep BkStatistics :: Type -> Type # Methods from :: BkStatistics -> Rep BkStatistics x # to :: Rep BkStatistics x -> BkStatistics #
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 Rep BkStatistics #
Instance details Defined in Napkin.Spec.Types.Runtime type Rep BkStatistics = D1 ('MetaData "BkStatistics" "Napkin.Spec.Types.Runtime" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'True) (C1 ('MetaCons "BkStatistics" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unBkStatistics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

type SpecMetaArgs = Map Text Value #

data SpecRuntime b #

Constructors

SpecRuntime
Fields _spPipeline :: Pipeline _spConn :: BackendConn b