Language.Fortran.Extras.JSON.Helpers

Helpers for defining Aeson instances for fortran-src types.

To work around dependency awkwardness, we have to write an unusual concrete context ToJSON SrcSpan. It seems to work fine.

Documentation

toJSONAnnoMerge :: (ToJSON a, ToJSON SrcSpan) => Text -> a -> SrcSpan -> [Pair] -> Value

Shortcut for writing a toJSON definition for a fortran-src AST node type, intended to be used for sum types.

Flat/concise version which merges all keys into the same object.

toJSONAnnoTaggedObj :: (ToJSON a, ToJSON SrcSpan) => Text -> a -> SrcSpan -> [Pair] -> Value

Shortcut for writing a toJSON definition for a fortran-src AST node type, intended to be used for sum types.

Safe version which approximates Aeson's default TaggedObject sum encoding strategy, but with two extra fields extracted out.

jcProd :: (String -> String) -> Options

Base Aeson generic deriver config for product types.

jcProdDrop :: String -> Options

jcSum :: (String -> String) -> String -> String -> Options

Base Aeson generic deriver config for sum types.

jcSumDrop :: String -> Options

jcEnum :: (String -> String) -> Options

Base Aeson generic deriver config for enum types (no fields in any cons).

jcEnumDrop :: String -> Options

tja :: (ToJSON a, ToJSON SrcSpan) => Text -> a -> SrcSpan -> [Pair] -> Value

Shortcut for selected fortran-src AST node type toJSON strategy.

gtj :: (Generic a, GToJSON' Value Zero (Rep a)) => Options -> a -> Value

Shortcut for common function genericToJSON

gte :: (Generic a, GToJSON' Encoding Zero (Rep a)) => Options -> a -> Encoding

Shortcut for common function genericToEncoding