Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type Run = ARunWith Genesis
- data AnalysisCmdError
- type RunPartial = ARunWith ()
- data ARunWith a = Run {}
- summaryMetaJson :: Summary f -> Value
- readRun :: JsonInputFile Genesis -> JsonInputFile RunPartial -> ExceptT AnalysisCmdError IO Run
Documentation
data AnalysisCmdError Source #
Instances
Show AnalysisCmdError Source # | |
Defined in Cardano.Analysis.API.Run |
type RunPartial = ARunWith () Source #
Run | |
|
Instances
FromJSON RunPartial Source # | |
Defined in Cardano.Analysis.API.Run parseJSON :: Value -> Parser RunPartial # parseJSONList :: Value -> Parser [RunPartial] # | |
ToJSON a => ToJSON (ARunWith a) Source # | |
Defined in Cardano.Analysis.API.Run | |
Generic (ARunWith a) Source # | |
Show a => Show (ARunWith a) Source # | |
type Rep (ARunWith a) Source # | |
Defined in Cardano.Analysis.API.Run type Rep (ARunWith a) = D1 ('MetaData "ARunWith" "Cardano.Analysis.API.Run" "locli-1.34-inplace" 'False) (C1 ('MetaCons "Run" 'PrefixI 'True) ((S1 ('MetaSel ('Just "genesisSpec") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 GenesisSpec) :*: S1 ('MetaSel ('Just "generatorProfile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 GeneratorProfile)) :*: (S1 ('MetaSel ('Just "metadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Metadata) :*: S1 ('MetaSel ('Just "genesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))) |
summaryMetaJson :: Summary f -> Value Source #
Given a Summary object, produce a JSON file readable by the above RunPartial FromJSON instance. Keep in sync. Better still, automate it so it's not necessary.