{-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE TemplateHaskell #-} module Faker.Provider.Opera where import Config import Control.Monad.Catch import Data.Monoid ((<>)) import Data.Text (Text) import Data.Vector (Vector) import Data.Yaml import Faker import Faker.Internal import Faker.Provider.TH import Language.Haskell.TH parseOpera :: FromJSON a => FakerSettings -> Value -> Parser a parseOpera :: forall a. FromJSON a => FakerSettings -> Value -> Parser a parseOpera FakerSettings settings (Object Object obj) = do Object en <- Object obj Object -> Key -> Parser Object forall a. FromJSON a => Object -> Key -> Parser a .: (FakerSettings -> Key getLocaleKey FakerSettings settings) Object faker <- Object en Object -> Key -> Parser Object forall a. FromJSON a => Object -> Key -> Parser a .: Key "faker" a opera <- Object faker Object -> Key -> Parser a forall a. FromJSON a => Object -> Key -> Parser a .: Key "opera" a -> Parser a forall a. a -> Parser a forall (f :: * -> *) a. Applicative f => a -> f a pure a opera parseOpera FakerSettings settings Value val = String -> Parser a forall a. String -> Parser a forall (m :: * -> *) a. MonadFail m => String -> m a fail (String -> Parser a) -> String -> Parser a forall a b. (a -> b) -> a -> b $ String "expected Object, but got " String -> String -> String forall a. Semigroup a => a -> a -> a <> (Value -> String forall a. Show a => a -> String show Value val) parseOperaField :: (FromJSON a, Monoid a) => FakerSettings -> AesonKey -> Value -> Parser a parseOperaField :: forall a. (FromJSON a, Monoid a) => FakerSettings -> Key -> Value -> Parser a parseOperaField FakerSettings settings Key txt Value val = do Object opera <- FakerSettings -> Value -> Parser Object forall a. FromJSON a => FakerSettings -> Value -> Parser a parseOpera FakerSettings settings Value val a field <- Object opera Object -> Key -> Parser (Maybe a) forall a. FromJSON a => Object -> Key -> Parser (Maybe a) .:? Key txt Parser (Maybe a) -> a -> Parser a forall a. Parser (Maybe a) -> a -> Parser a .!= a forall a. Monoid a => a mempty a -> Parser a forall a. a -> Parser a forall (f :: * -> *) a. Applicative f => a -> f a pure a field parseOperaFields :: (FromJSON a, Monoid a) => FakerSettings -> [AesonKey] -> Value -> Parser a parseOperaFields :: forall a. (FromJSON a, Monoid a) => FakerSettings -> [Key] -> Value -> Parser a parseOperaFields FakerSettings settings [Key] txts Value val = do Value opera <- FakerSettings -> Value -> Parser Value forall a. FromJSON a => FakerSettings -> Value -> Parser a parseOpera FakerSettings settings Value val Value -> [Key] -> Parser a forall a. FromJSON a => Value -> [Key] -> Parser a helper Value opera [Key] txts where helper :: (FromJSON a) => Value -> [AesonKey] -> Parser a helper :: forall a. FromJSON a => Value -> [Key] -> Parser a helper Value a [] = Value -> Parser a forall a. FromJSON a => Value -> Parser a parseJSON Value a helper (Object Object a) (Key x:[Key] xs) = do Value field <- Object a Object -> Key -> Parser Value forall a. FromJSON a => Object -> Key -> Parser a .: Key x Value -> [Key] -> Parser a forall a. FromJSON a => Value -> [Key] -> Parser a helper Value field [Key] xs helper Value a (Key x:[Key] xs) = String -> Parser a forall a. String -> Parser a forall (m :: * -> *) a. MonadFail m => String -> m a fail (String -> Parser a) -> String -> Parser a forall a b. (a -> b) -> a -> b $ String "expect Object, but got " String -> String -> String forall a. Semigroup a => a -> a -> a <> (Value -> String forall a. Show a => a -> String show Value a) $(genParsers "opera" ["italian", "by_giuseppe_verdi"]) $(genProviders "opera" ["italian", "by_giuseppe_verdi"]) $(genParsers "opera" ["italian", "by_gioacchino_rossini"]) $(genProviders "opera" ["italian", "by_gioacchino_rossini"]) $(genParsers "opera" ["italian", "by_gaetano_donizetti"]) $(genProviders "opera" ["italian", "by_gaetano_donizetti"]) $(genParsers "opera" ["italian", "by_vincenzo_bellini"]) $(genProviders "opera" ["italian", "by_vincenzo_bellini"]) $(genParsers "opera" ["italian", "by_christoph_willibald_gluck"]) $(genProviders "opera" ["italian", "by_christoph_willibald_gluck"]) $(genParsers "opera" ["italian", "by_wolfgang_amadeus_mozart"]) $(genProviders "opera" ["italian", "by_wolfgang_amadeus_mozart"]) $(genParsers "opera" ["german", "by_wolfgang_amadeus_mozart"]) $(genProviders "opera" ["german", "by_wolfgang_amadeus_mozart"]) $(genParsers "opera" ["german", "by_ludwig_van_beethoven"]) $(genProviders "opera" ["german", "by_ludwig_van_beethoven"]) $(genParsers "opera" ["german", "by_carl_maria_von_weber"]) $(genProviders "opera" ["german", "by_carl_maria_von_weber"]) $(genParsers "opera" ["german", "by_richard_strauss"]) $(genProviders "opera" ["german", "by_richard_strauss"]) $(genParsers "opera" ["german", "by_richard_wagner"]) $(genProviders "opera" ["german", "by_richard_wagner"]) $(genParsers "opera" ["german", "by_robert_schumann"]) $(genProviders "opera" ["german", "by_robert_schumann"]) $(genParsers "opera" ["german", "by_franz_schubert"]) $(genProviders "opera" ["german", "by_franz_schubert"]) $(genParsers "opera" ["german", "by_alban_berg"]) $(genProviders "opera" ["german", "by_alban_berg"]) $(genParsers "opera" ["french", "by_christoph_willibald_gluck"]) $(genProviders "opera" ["french", "by_christoph_willibald_gluck"]) $(genParsers "opera" ["french", "by_maurice_ravel"]) $(genProviders "opera" ["french", "by_maurice_ravel"]) $(genParsers "opera" ["french", "by_hector_berlioz"]) $(genProviders "opera" ["french", "by_hector_berlioz"]) $(genParsers "opera" ["french", "by_georges_bizet"]) $(genProviders "opera" ["french", "by_georges_bizet"]) $(genParsers "opera" ["french", "by_charles_gounod"]) $(genProviders "opera" ["french", "by_charles_gounod"]) $(genParsers "opera" ["french", "by_camille_saint_saëns"]) $(genProviders "opera" ["french", "by_camille_saint_saëns"])