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

Napkin.Spec.Types.Runtime

Description

Synopsis

newtype AppName = AppName {
- _unAppName :: Text
}
newtype Pipeline = Pipeline {
- _unPipeline :: Text
}
data SpecPaths = SpecPaths {
- specRoot :: FilePath
- sqlDir :: FilePath
}
type DepChain = Map (Ref Table) UTCTime
newtype Showing a = Showing {
- _unShowing :: a
}
type SpecMetaArgs = Map Text Value
data SpecRuntime b = SpecRuntime {
- _spPipeline :: Pipeline
- _spConn :: BackendConn b
}
unShowing :: forall a a. Iso (Showing a) (Showing a) a a

Documentation

newtype AppName #

Constructors

AppName
Fields _unAppName :: Text

Instances

Instances details

Eq AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods (==) :: AppName -> AppName -> Bool # (/=) :: AppName -> AppName -> Bool #
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 #
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 #
Show AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods showsPrec :: Int -> AppName -> ShowS # show :: AppName -> String # showList :: [AppName] -> ShowS #
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 #
Semigroup AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods (<>) :: AppName -> AppName -> AppName # sconcat :: NonEmpty AppName -> AppName # stimes :: Integral b => b -> AppName -> AppName #
ToJSON AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods toJSON :: AppName -> Value # toEncoding :: AppName -> Encoding # toJSONList :: [AppName] -> Value # toEncodingList :: [AppName] -> Encoding #
FromJSON AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods parseJSON :: Value -> Parser AppName # parseJSONList :: Value -> Parser [AppName] #
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 #
HasSqlValueSyntax bk Text => HasSqlValueSyntax bk AppName #
Instance details Defined in Napkin.Metadata.Instances Methods sqlValueSyntax :: AppName -> bk #
(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 #
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 (Maybe AppName) #
Instance details Defined in Napkin.Auth.Types Methods appName :: Lens' OAuth2CorrelatedKey (Maybe 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.13-8705pBGlgyp7AIaYGNE2fM" '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

Eq Pipeline #
Instance details Defined in Napkin.Spec.Types.Runtime Methods (==) :: Pipeline -> Pipeline -> Bool # (/=) :: Pipeline -> Pipeline -> Bool #
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 #
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 #
Show Pipeline #
Instance details Defined in Napkin.Spec.Types.Runtime Methods showsPrec :: Int -> Pipeline -> ShowS # show :: Pipeline -> String # showList :: [Pipeline] -> ShowS #
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 #
ToJSON Pipeline #
Instance details Defined in Napkin.Spec.Types.Runtime Methods toJSON :: Pipeline -> Value # toEncoding :: Pipeline -> Encoding # toJSONList :: [Pipeline] -> Value # toEncodingList :: [Pipeline] -> Encoding #
FromJSON Pipeline #
Instance details Defined in Napkin.Spec.Types.Runtime Methods parseJSON :: Value -> Parser Pipeline # parseJSONList :: Value -> Parser [Pipeline] #
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 #
HasSqlValueSyntax bk Text => HasSqlValueSyntax bk Pipeline #
Instance details Defined in Napkin.Metadata.Instances Methods sqlValueSyntax :: Pipeline -> bk #
(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 #
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.13-8705pBGlgyp7AIaYGNE2fM" 'True) (C1 ('MetaCons "Pipeline" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unPipeline") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data SpecPaths #

Constructors

SpecPaths
Fields specRoot :: FilePath sqlDir :: FilePath

type DepChain = Map (Ref Table) UTCTime #

newtype Showing a #

Constructors

Showing
Fields _unShowing :: a

Instances

Instances details

(Show a, HasSqlValueSyntax bk Text) => HasSqlValueSyntax bk (Showing a) #
Instance details Defined in Napkin.Metadata.Instances Methods sqlValueSyntax :: Showing a -> bk #
(Read a, BeamMigrateSqlBackend bk, FromBackendRow bk Text) => FromBackendRow bk (Showing a) #
Instance details Defined in Napkin.Metadata.Instances Methods fromBackendRow :: FromBackendRowM bk (Showing a) # valuesNeeded :: Proxy bk -> Proxy (Showing a) -> Int #
BeamMigrateSqlBackend bk => HasDefaultSqlDataType bk (Showing a) #
Instance details Defined in Napkin.Metadata.Instances Methods defaultSqlDataType :: Proxy (Showing a) -> Proxy bk -> Bool -> BeamSqlBackendDataTypeSyntax bk # defaultSqlDataTypeConstraints :: Proxy (Showing a) -> Proxy bk -> Bool -> [FieldCheck] #
Eq a => Eq (Showing a) #
Instance details Defined in Napkin.Spec.Types.Runtime Methods (==) :: Showing a -> Showing a -> Bool # (/=) :: Showing a -> Showing a -> Bool #
Data a => Data (Showing a) #
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) -> Showing a -> c (Showing a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Showing a) # toConstr :: Showing a -> Constr # dataTypeOf :: Showing a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Showing a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Showing a)) # gmapT :: (forall b. Data b => b -> b) -> Showing a -> Showing a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Showing a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Showing a -> r # gmapQ :: (forall d. Data d => d -> u) -> Showing a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Showing a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Showing a -> m (Showing a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Showing a -> m (Showing a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Showing a -> m (Showing a) #
Ord a => Ord (Showing a) #
Instance details Defined in Napkin.Spec.Types.Runtime Methods compare :: Showing a -> Showing a -> Ordering # (<) :: Showing a -> Showing a -> Bool # (<=) :: Showing a -> Showing a -> Bool # (>) :: Showing a -> Showing a -> Bool # (>=) :: Showing a -> Showing a -> Bool # max :: Showing a -> Showing a -> Showing a # min :: Showing a -> Showing a -> Showing a #
Read a => Read (Showing a) #
Instance details Defined in Napkin.Spec.Types.Runtime Methods readsPrec :: Int -> ReadS (Showing a) # readList :: ReadS [Showing a] # readPrec :: ReadPrec (Showing a) # readListPrec :: ReadPrec [Showing a] #
Show a => Show (Showing a) #
Instance details Defined in Napkin.Spec.Types.Runtime Methods showsPrec :: Int -> Showing a -> ShowS # show :: Showing a -> String # showList :: [Showing a] -> ShowS #
Show a => ToJSON (Showing a) #
Instance details Defined in Napkin.Spec.Types.Runtime Methods toJSON :: Showing a -> Value # toEncoding :: Showing a -> Encoding # toJSONList :: [Showing a] -> Value # toEncodingList :: [Showing a] -> Encoding #

type SpecMetaArgs = Map Text Value #

data SpecRuntime b #

Constructors

SpecRuntime
Fields _spPipeline :: Pipeline _spConn :: BackendConn b

unShowing :: forall a a. Iso (Showing a) (Showing a) a a #