{-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE TemplateHaskell #-} module Faker.Provider.Music where import Config import Control.Monad.Catch import Data.Text (Text) import Data.Vector (Vector) import Data.Monoid ((<>)) import Data.Yaml import Faker import Faker.Internal import Faker.Provider.TH import Language.Haskell.TH parseMusic :: FromJSON a => FakerSettings -> Value -> Parser a parseMusic :: FakerSettings -> Value -> Parser a parseMusic FakerSettings settings (Object Object obj) = do Object en <- Object obj Object -> Text -> Parser Object forall a. FromJSON a => Object -> Text -> Parser a .: (FakerSettings -> Text getLocale FakerSettings settings) Object faker <- Object en Object -> Text -> Parser Object forall a. FromJSON a => Object -> Text -> Parser a .: Text "faker" a music <- Object faker Object -> Text -> Parser a forall a. FromJSON a => Object -> Text -> Parser a .: Text "music" a -> Parser a forall (f :: * -> *) a. Applicative f => a -> f a pure a music parseMusic FakerSettings settings Value val = 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) parseMusicField :: (FromJSON a, Monoid a) => FakerSettings -> Text -> Value -> Parser a parseMusicField :: FakerSettings -> Text -> Value -> Parser a parseMusicField FakerSettings settings Text txt Value val = do Object music <- FakerSettings -> Value -> Parser Object forall a. FromJSON a => FakerSettings -> Value -> Parser a parseMusic FakerSettings settings Value val a field <- Object music Object -> Text -> Parser (Maybe a) forall a. FromJSON a => Object -> Text -> Parser (Maybe a) .:? Text 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 (f :: * -> *) a. Applicative f => a -> f a pure a field parseMusicFields :: (FromJSON a, Monoid a) => FakerSettings -> [Text] -> Value -> Parser a parseMusicFields :: FakerSettings -> [Text] -> Value -> Parser a parseMusicFields FakerSettings settings [Text] txts Value val = do Value music <- FakerSettings -> Value -> Parser Value forall a. FromJSON a => FakerSettings -> Value -> Parser a parseMusic FakerSettings settings Value val Value -> [Text] -> Parser a forall a. FromJSON a => Value -> [Text] -> Parser a helper Value music [Text] txts where helper :: (FromJSON a) => Value -> [Text] -> Parser a helper :: Value -> [Text] -> Parser a helper Value a [] = Value -> Parser a forall a. FromJSON a => Value -> Parser a parseJSON Value a helper (Object Object a) (Text x:[Text] xs) = do Value field <- Object a Object -> Text -> Parser Value forall a. FromJSON a => Object -> Text -> Parser a .: Text x Value -> [Text] -> Parser a forall a. FromJSON a => Value -> [Text] -> Parser a helper Value field [Text] xs helper Value a (Text x:[Text] xs) = 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) parseUnresolvedMusicFields :: (FromJSON a, Monoid a) => FakerSettings -> [Text] -> Value -> Parser (Unresolved a) parseUnresolvedMusicFields :: FakerSettings -> [Text] -> Value -> Parser (Unresolved a) parseUnresolvedMusicFields FakerSettings settings [Text] txts Value val = do Value music <- FakerSettings -> Value -> Parser Value forall a. FromJSON a => FakerSettings -> Value -> Parser a parseMusic FakerSettings settings Value val Value -> [Text] -> Parser (Unresolved a) forall a. FromJSON a => Value -> [Text] -> Parser (Unresolved a) helper Value music [Text] txts where helper :: (FromJSON a) => Value -> [Text] -> Parser (Unresolved a) helper :: Value -> [Text] -> Parser (Unresolved a) helper Value a [] = do a v <- Value -> Parser a forall a. FromJSON a => Value -> Parser a parseJSON Value a Unresolved a -> Parser (Unresolved a) forall (f :: * -> *) a. Applicative f => a -> f a pure (Unresolved a -> Parser (Unresolved a)) -> Unresolved a -> Parser (Unresolved a) forall a b. (a -> b) -> a -> b $ a -> Unresolved a forall (f :: * -> *) a. Applicative f => a -> f a pure a v helper (Object Object a) (Text x:[Text] xs) = do Value field <- Object a Object -> Text -> Parser Value forall a. FromJSON a => Object -> Text -> Parser a .: Text x Value -> [Text] -> Parser (Unresolved a) forall a. FromJSON a => Value -> [Text] -> Parser (Unresolved a) helper Value field [Text] xs helper Value a [Text] _ = String -> Parser (Unresolved a) forall (m :: * -> *) a. MonadFail m => String -> m a fail (String -> Parser (Unresolved a)) -> String -> Parser (Unresolved 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) $(genParser "music" "instruments") $(genProvider "music" "instruments") $(genParser "music" "bands") $(genProvider "music" "bands") $(genParser "music" "albums") $(genProvider "music" "albums") $(genParser "music" "genres") $(genProvider "music" "genres") $(genParser "music" "mambo_no_5") $(genProvider "music" "mambo_no_5") $(genParsers "music" ["hiphop","subgenres"]) $(genProviders "music" ["hiphop","subgenres"]) $(genParsers "music" ["hiphop","groups"]) $(genProviders "music" ["hiphop","groups"]) $(genParsers "music" ["hiphop","artist"]) $(genProviders "music" ["hiphop","artist"])