Safe Haskell	None
Language	GHC2024

Napkin.Spec.Types.Runtime

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] # omittedField :: Maybe AppName #
ToJSON AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods toJSON :: AppName -> Value # toEncoding :: AppName -> Encoding # toJSONList :: [AppName] -> Value # toEncodingList :: [AppName] -> Encoding # omitField :: AppName -> Bool #
Buildable AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods build :: AppName -> Builder #
Semigroup AppName #
Instance details Defined in Napkin.Spec.Types.Runtime Methods (<>) :: AppName -> AppName -> AppName # sconcat :: NonEmpty AppName -> AppName # stimes :: Integral b => b -> AppName -> AppName #
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 #
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 #

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 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] # omittedField :: Maybe BkStatistics #
ToJSON BkStatistics #
Instance details Defined in Napkin.Spec.Types.Runtime Methods toJSON :: BkStatistics -> Value # toEncoding :: BkStatistics -> Encoding # toJSONList :: [BkStatistics] -> Value # toEncodingList :: [BkStatistics] -> Encoding # omitField :: BkStatistics -> Bool #
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 #

type SpecMetaArgs = Map Text Value #

data SpecRuntime b #

Constructors

SpecRuntime
Fields connection :: BackendConn b

Instances

Instances details

Generic (SpecRuntime b) #

Instance details

Defined in Napkin.Spec.Types.Runtime

Associated Types

type Rep (SpecRuntime b)
Instance details Defined in Napkin.Spec.Types.Runtime type Rep (SpecRuntime b) = D1 ('MetaData "SpecRuntime" "Napkin.Spec.Types.Runtime" "napkin-spec-2.0.0-7NH5JHRFo7V8BQP5NCfMo1" 'False) (C1 ('MetaCons "SpecRuntime" 'PrefixI 'True) (S1 ('MetaSel ('Just "connection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BackendConn b))))

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-spec-2.0.0-7NH5JHRFo7V8BQP5NCfMo1" 'False) (C1 ('MetaCons "SpecRuntime" 'PrefixI 'True) (S1 ('MetaSel ('Just "connection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BackendConn b))))

newtype AuthSpecFile #

Constructors

AuthSpecFile
Fields unAuthSpecFile :: FilePath

Instances

Instances details

Semigroup AuthSpecFile #

Instance details

Defined in Napkin.Spec.Types.Runtime

Methods

(<>) :: AuthSpecFile -> AuthSpecFile -> AuthSpecFile #

sconcat :: NonEmpty AuthSpecFile -> AuthSpecFile #

stimes :: Integral b => b -> AuthSpecFile -> AuthSpecFile #

Generic AuthSpecFile #

Instance details

Defined in Napkin.Spec.Types.Runtime

Associated Types

type Rep AuthSpecFile
Instance details Defined in Napkin.Spec.Types.Runtime type Rep AuthSpecFile = D1 ('MetaData "AuthSpecFile" "Napkin.Spec.Types.Runtime" "napkin-spec-2.0.0-7NH5JHRFo7V8BQP5NCfMo1" 'True) (C1 ('MetaCons "AuthSpecFile" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAuthSpecFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)))