{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE UndecidableInstances #-}
module Elm.Aeson
( elmStreetParseJson
, elmStreetParseJsonWith
, elmStreetToJson
, elmStreetToJsonWith
, elmStreetJsonOptions
, ElmStreet (..)
) where
import Data.Aeson (FromJSON (..), GFromJSON, GToJSON, Options (..), ToJSON (..), Value, Zero,
defaultOptions, genericParseJSON, genericToJSON)
import Data.Aeson.Types (Parser)
import GHC.Generics (Generic, Rep)
import Type.Reflection (Typeable)
import Elm.Generic (Elm (..), CodeGenOptions (..), GenericElmDefinition (..), ElmStreetGenericConstraints, defaultCodeGenOptions)
import qualified Data.Text as T
import qualified GHC.Generics as Generic (from)
elmStreetParseJson
:: forall a .
(Typeable a, Generic a, GFromJSON Zero (Rep a))
=> Value
-> Parser a
elmStreetParseJson :: forall a.
(Typeable a, Generic a, GFromJSON Zero (Rep a)) =>
Value -> Parser a
elmStreetParseJson = forall a.
(Generic a, GFromJSON Zero (Rep a)) =>
CodeGenOptions -> Value -> Parser a
elmStreetParseJsonWith (forall {k} (a :: k). Typeable a => CodeGenOptions
defaultCodeGenOptions @a)
elmStreetParseJsonWith
:: forall a .
(Generic a, GFromJSON Zero (Rep a))
=> CodeGenOptions
-> Value
-> Parser a
elmStreetParseJsonWith :: forall a.
(Generic a, GFromJSON Zero (Rep a)) =>
CodeGenOptions -> Value -> Parser a
elmStreetParseJsonWith CodeGenOptions
options = forall a.
(Generic a, GFromJSON Zero (Rep a)) =>
Options -> Value -> Parser a
genericParseJSON (CodeGenOptions -> Options
elmStreetJsonOptions CodeGenOptions
options)
elmStreetToJson
:: forall a .
(Typeable a, Generic a, GToJSON Zero (Rep a))
=> a
-> Value
elmStreetToJson :: forall a.
(Typeable a, Generic a, GToJSON Zero (Rep a)) =>
a -> Value
elmStreetToJson = forall a.
(Generic a, GToJSON Zero (Rep a)) =>
CodeGenOptions -> a -> Value
elmStreetToJsonWith (forall {k} (a :: k). Typeable a => CodeGenOptions
defaultCodeGenOptions @a)
elmStreetToJsonWith
:: forall a .
(Generic a, GToJSON Zero (Rep a))
=> CodeGenOptions
-> a
-> Value
elmStreetToJsonWith :: forall a.
(Generic a, GToJSON Zero (Rep a)) =>
CodeGenOptions -> a -> Value
elmStreetToJsonWith CodeGenOptions
options = forall a.
(Generic a, GToJSON' Value Zero (Rep a)) =>
Options -> a -> Value
genericToJSON (CodeGenOptions -> Options
elmStreetJsonOptions CodeGenOptions
options)
elmStreetJsonOptions :: CodeGenOptions -> Options
elmStreetJsonOptions :: CodeGenOptions -> Options
elmStreetJsonOptions CodeGenOptions
options = Options
defaultOptions
{ fieldLabelModifier :: String -> String
fieldLabelModifier = Text -> String
T.unpack forall b c a. (b -> c) -> (a -> b) -> a -> c
. CodeGenOptions -> Text -> Text
cgoFieldLabelModifier CodeGenOptions
options forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> Text
T.pack
, tagSingleConstructors :: Bool
tagSingleConstructors = Bool
True
}
newtype ElmStreet a = ElmStreet
{ forall a. ElmStreet a -> a
unElmStreet :: a
}
instance (ElmStreetGenericConstraints a, Typeable a) => Elm (ElmStreet a) where
toElmDefinition :: Proxy (ElmStreet a) -> ElmDefinition
toElmDefinition Proxy (ElmStreet a)
_ = forall k (f :: k -> *) (a :: k).
GenericElmDefinition f =>
CodeGenOptions -> f a -> ElmDefinition
genericToElmDefinition (forall {k} (a :: k). Typeable a => CodeGenOptions
defaultCodeGenOptions @a)
forall a b. (a -> b) -> a -> b
$ forall a x. Generic a => a -> Rep a x
Generic.from (forall a. HasCallStack => String -> a
error String
"Proxy for generic elm was evaluated" :: a)
instance (Typeable a, Generic a, GToJSON Zero (Rep a)) => ToJSON (ElmStreet a) where
toJSON :: ElmStreet a -> Value
toJSON = forall a.
(Typeable a, Generic a, GToJSON Zero (Rep a)) =>
a -> Value
elmStreetToJson forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. ElmStreet a -> a
unElmStreet
instance (Typeable a, Generic a, GFromJSON Zero (Rep a)) => FromJSON (ElmStreet a) where
parseJSON :: Value -> Parser (ElmStreet a)
parseJSON = forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap forall a. a -> ElmStreet a
ElmStreet forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a.
(Typeable a, Generic a, GFromJSON Zero (Rep a)) =>
Value -> Parser a
elmStreetParseJson