| Copyright | (c) Soostone Inc 2020 |
|---|---|
| License | AllRightsReserved |
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | None |
| Language | Haskell2010 |
Napkin.Spec.ComboTypes
Description
Synopsis
- data AppConfig = AppConfig {
- _acAppName :: Text
- _acLog :: Severity
- _acInteractive :: Bool
- data RuntimeEventType
- data RuntimeEvent
- type RuntimeEventQueue = TBQueue RuntimeEvent
- data ComboEnv = ComboEnv {}
- newtype ComboT m a = ComboT {
- getComboT :: RWST ComboEnv () TrackingQueryStats m a
- type Combo = ComboT IO
- withObject' :: forall a. Typeable a => (Object -> Parser a) -> Value -> Parser a
- (.:?!) :: FromJSON a => Object -> Text -> Parser (Maybe a)
- class HasAppConfig c where
- ceLog :: Lens' ComboEnv LogEnv
- ceEventQueue :: Lens' ComboEnv (Maybe RuntimeEventQueue)
- ceAppConfig :: Lens' ComboEnv AppConfig
Documentation
Constructors
| AppConfig | |
Fields
| |
data RuntimeEventType #
Maintains some basic, human-reportable state over the run of the Spec in order to show progress.
Constructors
| RuntimeEventStart | generated when a Spec starts to run |
| RuntimeEventDone TrackingQueryStats | generated when a Spec successfully completes |
| RuntimeEventFailed String | generated when a Spec throws an error |
| RuntimeEventSkipped | generated when a Spec update is skipped |
Instances
| Eq RuntimeEventType # | |
Defined in Napkin.Spec.ComboTypes Methods (==) :: RuntimeEventType -> RuntimeEventType -> Bool # (/=) :: RuntimeEventType -> RuntimeEventType -> Bool # | |
| Show RuntimeEventType # | |
Defined in Napkin.Spec.ComboTypes Methods showsPrec :: Int -> RuntimeEventType -> ShowS # show :: RuntimeEventType -> String # showList :: [RuntimeEventType] -> ShowS # | |
data RuntimeEvent #
Constructors
| RuntimeEvent (Ref Table) RuntimeEventType | |
| RuntimeEventComplete TrackingQueryStats | generated when napkin is done running |
| RuntimeEventFatal | generated from the napkin backend for fatal events (such as failed validation) |
Instances
| Eq RuntimeEvent # | |
Defined in Napkin.Spec.ComboTypes | |
| Show RuntimeEvent # | |
Defined in Napkin.Spec.ComboTypes Methods showsPrec :: Int -> RuntimeEvent -> ShowS # show :: RuntimeEvent -> String # showList :: [RuntimeEvent] -> ShowS # | |
type RuntimeEventQueue = TBQueue RuntimeEvent #
Constructors
| ComboEnv | |
Fields | |
Instances
| HasAppConfig ComboEnv # | |
| Monad m => MonadReader ComboEnv (ComboT m) # | |
Constructors
| ComboT | |
Fields
| |
Instances
Versions of the FromJSON helpers that use Typeable to cut down boilerplate
withObject' :: forall a. Typeable a => (Object -> Parser a) -> Value -> Parser a #
Functions like withObject can be used to provide nice type error messages rather than a non-exhaustive pattern match on Value:
> instance FromJSON Foo where > parseJSON = withObject' parseFoo > where > parseFoo v = Foo <$> v .: "bar" <*> v .: "baz"
(.:?!) :: FromJSON a => Object -> Text -> Parser (Maybe a) #
Restores previous behavior of .:? from aeson < 0.10: the field can either be null or completely omitted. This works by turning your parser into a Maybe a which is itself optional, thus (Parser (Maybe (Maybe a)) and then flattens the result into 1 level.
class HasAppConfig c where #
Minimal complete definition