{-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE TemplateHaskell #-} module Faker.Provider.Phish where import Config import Control.Monad.Catch import Control.Monad.IO.Class import Data.Map.Strict (Map) 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 parsePhish :: FromJSON a => FakerSettings -> Value -> Parser a parsePhish :: forall a. FromJSON a => FakerSettings -> Value -> Parser a parsePhish 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 phish <- Object faker Object -> Key -> Parser a forall a. FromJSON a => Object -> Key -> Parser a .: Key "phish" a -> Parser a forall a. a -> Parser a forall (f :: * -> *) a. Applicative f => a -> f a pure a phish parsePhish 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) parsePhishField :: (FromJSON a, Monoid a) => FakerSettings -> AesonKey -> Value -> Parser a parsePhishField :: forall a. (FromJSON a, Monoid a) => FakerSettings -> Key -> Value -> Parser a parsePhishField FakerSettings settings Key txt Value val = do Object phish <- FakerSettings -> Value -> Parser Object forall a. FromJSON a => FakerSettings -> Value -> Parser a parsePhish FakerSettings settings Value val a field <- Object phish 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 parsePhishFields :: (FromJSON a, Monoid a) => FakerSettings -> [AesonKey] -> Value -> Parser a parsePhishFields :: forall a. (FromJSON a, Monoid a) => FakerSettings -> [Key] -> Value -> Parser a parsePhishFields FakerSettings settings [Key] txts Value val = do Value phish <- FakerSettings -> Value -> Parser Value forall a. FromJSON a => FakerSettings -> Value -> Parser a parsePhish FakerSettings settings Value val Value -> [Key] -> Parser a forall a. FromJSON a => Value -> [Key] -> Parser a helper Value phish [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) $(genParser "phish" "songs") $(genProvider "phish" "songs") $(genParser "phish" "musicians") $(genProvider "phish" "musicians") $(genParser "phish" "albums") $(genProvider "phish" "albums")