{-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE TemplateHaskell #-} module Faker.Provider.Job 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 parseJob :: FromJSON a => FakerSettings -> Value -> Parser a parseJob :: FakerSettings -> Value -> Parser a parseJob 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 job <- Object faker Object -> Key -> Parser a forall a. FromJSON a => Object -> Key -> Parser a .: Key "job" a -> Parser a forall (f :: * -> *) a. Applicative f => a -> f a pure a job parseJob 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) parseJobField :: (FromJSON a, Monoid a) => FakerSettings -> AesonKey -> Value -> Parser a parseJobField :: FakerSettings -> Key -> Value -> Parser a parseJobField FakerSettings settings Key txt Value val = do Object job <- FakerSettings -> Value -> Parser Object forall a. FromJSON a => FakerSettings -> Value -> Parser a parseJob FakerSettings settings Value val a field <- Object job 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 (f :: * -> *) a. Applicative f => a -> f a pure a field parseJobFields :: (FromJSON a, Monoid a) => FakerSettings -> [AesonKey] -> Value -> Parser a parseJobFields :: FakerSettings -> [Key] -> Value -> Parser a parseJobFields FakerSettings settings [Key] txts Value val = do Value job <- FakerSettings -> Value -> Parser Value forall a. FromJSON a => FakerSettings -> Value -> Parser a parseJob FakerSettings settings Value val Value -> [Key] -> Parser a forall a. FromJSON a => Value -> [Key] -> Parser a helper Value job [Key] txts where helper :: (FromJSON a) => Value -> [AesonKey] -> Parser a helper :: 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 (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) parseUnresolvedJobField :: (FromJSON a, Monoid a) => FakerSettings -> AesonKey -> Value -> Parser (Unresolved a) parseUnresolvedJobField :: FakerSettings -> Key -> Value -> Parser (Unresolved a) parseUnresolvedJobField FakerSettings settings Key txt Value val = do Object job <- FakerSettings -> Value -> Parser Object forall a. FromJSON a => FakerSettings -> Value -> Parser a parseJob FakerSettings settings Value val a field <- Object job 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 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 field parseJobField2 :: (FromJSON a, Monoid a) => FakerSettings -> Value -> Parser a parseJobField2 :: FakerSettings -> Value -> Parser a parseJobField2 FakerSettings settings = FakerSettings -> Key -> Value -> Parser a forall a. (FromJSON a, Monoid a) => FakerSettings -> Key -> Value -> Parser a parseJobField FakerSettings settings Key "field" jobField2Provider :: (MonadThrow m, MonadIO m) => FakerSettings -> m (Vector Text) jobField2Provider :: FakerSettings -> m (Vector Text) jobField2Provider FakerSettings settings = FakerSettings -> SourceData -> (FakerSettings -> Value -> Parser (Vector Text)) -> m (Vector Text) forall (m :: * -> *) a. (MonadThrow m, MonadIO m) => FakerSettings -> SourceData -> (FakerSettings -> Value -> Parser a) -> m a fetchData FakerSettings settings SourceData Job FakerSettings -> Value -> Parser (Vector Text) forall a. (FromJSON a, Monoid a) => FakerSettings -> Value -> Parser a parseJobField2 $(genParser "job" "seniority") $(genProvider "job" "seniority") $(genParser "job" "field_of") $(genProvider "job" "field_of") $(genParser "job" "position") $(genProvider "job" "position") $(genParser "job" "key_skills") $(genProvider "job" "key_skills") $(genParser "job" "employment_type") $(genProvider "job" "employment_type") $(genParser "job" "education_level") $(genProvider "job" "education_level") $(genParserUnresolved "job" "title") $(genProviderUnresolved "job" "title") resolveJobText :: (MonadIO m, MonadThrow m) => FakerSettings -> AesonKey -> m Text resolveJobText :: FakerSettings -> Key -> m Text resolveJobText = (FakerSettings -> Key -> m Text) -> FakerSettings -> Key -> m Text forall (m :: * -> *). (MonadIO m, MonadThrow m) => (FakerSettings -> Key -> m Text) -> FakerSettings -> Key -> m Text genericResolver' FakerSettings -> Key -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> Key -> m Text resolveJobField resolveJobField :: (MonadThrow m, MonadIO m) => FakerSettings -> AesonKey -> m Text resolveJobField :: FakerSettings -> Key -> m Text resolveJobField FakerSettings settings field :: Key field@Key "seniority" = Text -> Key -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => Text -> Key -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text cachedRandomVec Text "job" Key field FakerSettings -> m (Vector Text) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Vector Text) jobSeniorityProvider FakerSettings settings resolveJobField FakerSettings settings field :: Key field@Key "field" = Text -> Key -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => Text -> Key -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text cachedRandomVec Text "job" Key field FakerSettings -> m (Vector Text) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Vector Text) jobField2Provider FakerSettings settings resolveJobField FakerSettings settings field :: Key field@Key "position" = Text -> Key -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => Text -> Key -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text cachedRandomVec Text "job" Key field FakerSettings -> m (Vector Text) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Vector Text) jobPositionProvider FakerSettings settings resolveJobField FakerSettings settings field :: Key field@Key "field_of" = Text -> Key -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => Text -> Key -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text cachedRandomVec Text "job" Key field FakerSettings -> m (Vector Text) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Vector Text) jobFieldOfProvider FakerSettings settings resolveJobField FakerSettings settings field :: Key field@Key "title" = Text -> Key -> (FakerSettings -> m (Unresolved (Vector Text))) -> (FakerSettings -> Key -> m Text) -> FakerSettings -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => Text -> Key -> (FakerSettings -> m (Unresolved (Vector Text))) -> (FakerSettings -> Key -> m Text) -> FakerSettings -> m Text cachedRandomUnresolvedVec Text "job" Key field FakerSettings -> m (Unresolved (Vector Text)) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Unresolved (Vector Text)) jobTitleProvider FakerSettings -> Key -> m Text forall (m :: * -> *). (MonadIO m, MonadThrow m) => FakerSettings -> Key -> m Text resolveJobText FakerSettings settings resolveJobField FakerSettings settings Key str = FakerException -> m Text forall (m :: * -> *) e a. (MonadThrow m, Exception e) => e -> m a throwM (FakerException -> m Text) -> FakerException -> m Text forall a b. (a -> b) -> a -> b $ String -> Key -> FakerException InvalidField String "job" Key str