{-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE TemplateHaskell #-} module Faker.Provider.Educator 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 parseEducator :: FromJSON a => FakerSettings -> Value -> Parser a parseEducator :: FakerSettings -> Value -> Parser a parseEducator 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 educator <- Object faker Object -> Text -> Parser a forall a. FromJSON a => Object -> Text -> Parser a .: Text "educator" a -> Parser a forall (f :: * -> *) a. Applicative f => a -> f a pure a educator parseEducator 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) parseEducatorField :: (FromJSON a, Monoid a) => FakerSettings -> Text -> Value -> Parser a parseEducatorField :: FakerSettings -> Text -> Value -> Parser a parseEducatorField FakerSettings settings Text txt Value val = do Object educator <- FakerSettings -> Value -> Parser Object forall a. FromJSON a => FakerSettings -> Value -> Parser a parseEducator FakerSettings settings Value val a field <- Object educator 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 parseEducatorFields :: (FromJSON a, Monoid a) => FakerSettings -> [Text] -> Value -> Parser a parseEducatorFields :: FakerSettings -> [Text] -> Value -> Parser a parseEducatorFields FakerSettings settings [Text] txts Value val = do Value educator <- FakerSettings -> Value -> Parser Value forall a. FromJSON a => FakerSettings -> Value -> Parser a parseEducator FakerSettings settings Value val Value -> [Text] -> Parser a forall a. FromJSON a => Value -> [Text] -> Parser a helper Value educator [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) parseUnresolvedEducatorField :: (FromJSON a, Monoid a) => FakerSettings -> Text -> Value -> Parser (Unresolved a) parseUnresolvedEducatorField :: FakerSettings -> Text -> Value -> Parser (Unresolved a) parseUnresolvedEducatorField FakerSettings settings Text txt Value val = do Object educator <- FakerSettings -> Value -> Parser Object forall a. FromJSON a => FakerSettings -> Value -> Parser a parseEducator FakerSettings settings Value val a field <- Object educator 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 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 parseUnresolvedEducatorFields :: (FromJSON a, Monoid a) => FakerSettings -> [Text] -> Value -> Parser (Unresolved a) parseUnresolvedEducatorFields :: FakerSettings -> [Text] -> Value -> Parser (Unresolved a) parseUnresolvedEducatorFields FakerSettings settings [Text] txts Value val = do Value educator <- FakerSettings -> Value -> Parser Value forall a. FromJSON a => FakerSettings -> Value -> Parser a parseEducator FakerSettings settings Value val Value -> [Text] -> Parser (Unresolved a) forall a. FromJSON a => Value -> [Text] -> Parser (Unresolved a) helper Value educator [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) parseEducatorTertiaryCourseNumber :: (FromJSON a, Monoid a) => FakerSettings -> Value -> Parser (Unresolved a) parseEducatorTertiaryCourseNumber :: FakerSettings -> Value -> Parser (Unresolved a) parseEducatorTertiaryCourseNumber FakerSettings settings = FakerSettings -> [Text] -> Value -> Parser (Unresolved a) forall a. (FromJSON a, Monoid a) => FakerSettings -> [Text] -> Value -> Parser (Unresolved a) parseUnresolvedEducatorFields FakerSettings settings [Text "tertiary", Text "degree", Text "course_number"] educatorTertiaryCourseNumberProvider :: (MonadThrow m, MonadIO m) => FakerSettings -> m (Unresolved (Vector Text)) educatorTertiaryCourseNumberProvider :: FakerSettings -> m (Unresolved (Vector Text)) educatorTertiaryCourseNumberProvider FakerSettings settings = FakerSettings -> SourceData -> (FakerSettings -> Value -> Parser (Unresolved (Vector Text))) -> m (Unresolved (Vector Text)) forall (m :: * -> *) a. (MonadThrow m, MonadIO m) => FakerSettings -> SourceData -> (FakerSettings -> Value -> Parser a) -> m a fetchData FakerSettings settings SourceData Educator FakerSettings -> Value -> Parser (Unresolved (Vector Text)) forall a. (FromJSON a, Monoid a) => FakerSettings -> Value -> Parser (Unresolved a) parseEducatorTertiaryCourseNumber $(genParser "educator" "school_name") $(genProvider "educator" "school_name") $(genParser "educator" "secondary") $(genProvider "educator" "secondary") $(genParserUnresolved "educator" "university") $(genProviderUnresolved "educator" "university") $(genParserUnresolved "educator" "primary_school") $(genProviderUnresolved "educator" "primary_school") $(genParserUnresolved "educator" "secondary_school") $(genProviderUnresolved "educator" "secondary_school") $(genParserUnresolved "educator" "campus") $(genProviderUnresolved "educator" "campus") $(genParser "educator" "subject") $(genProvider "educator" "subject") $(genParser "educator" "primary") $(genProvider "educator" "primary") $(genParserUnresolved "educator" "degree") $(genProviderUnresolved "educator" "degree") $(genParserUnresolved "educator" "course_name") $(genProviderUnresolved "educator" "course_name") $(genParsers "educator" ["tertiary", "university_type"]) $(genProviders "educator" ["tertiary", "university_type"]) $(genParsers "educator" ["tertiary", "degree", "type"]) $(genProviders "educator" ["tertiary", "degree", "type"]) $(genParserUnresolveds "educator" ["tertiary", "degree", "course_number"]) $(genProviderUnresolveds "educator" ["tertiary", "degree", "course_number"]) resolveEducatorText :: (MonadIO m, MonadThrow m) => FakerSettings -> Text -> m Text resolveEducatorText :: FakerSettings -> Text -> m Text resolveEducatorText = (FakerSettings -> Text -> m Text) -> FakerSettings -> Text -> m Text forall (m :: * -> *). (MonadIO m, MonadThrow m) => (FakerSettings -> Text -> m Text) -> FakerSettings -> Text -> m Text genericResolver' FakerSettings -> Text -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> Text -> m Text resolveEducatorField resolveEducatorField :: (MonadThrow m, MonadIO m) => FakerSettings -> Text -> m Text resolveEducatorField :: FakerSettings -> Text -> m Text resolveEducatorField FakerSettings settings field :: Text field@Text "course_number" = Text -> Text -> (FakerSettings -> m (Unresolved (Vector Text))) -> (FakerSettings -> Text -> m Text) -> FakerSettings -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => Text -> Text -> (FakerSettings -> m (Unresolved (Vector Text))) -> (FakerSettings -> Text -> m Text) -> FakerSettings -> m Text cachedRandomUnresolvedVec Text "educator" Text field FakerSettings -> m (Unresolved (Vector Text)) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Unresolved (Vector Text)) educatorTertiaryCourseNumberProvider FakerSettings -> Text -> m Text forall (m :: * -> *). (MonadIO m, MonadThrow m) => FakerSettings -> Text -> m Text resolveEducatorText FakerSettings settings resolveEducatorField FakerSettings settings field :: Text field@Text "Educator.school_name" = Text -> Text -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => Text -> Text -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text cachedRandomVec Text "educator" Text "school_name" FakerSettings -> m (Vector Text) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Vector Text) educatorSchoolNameProvider FakerSettings settings resolveEducatorField FakerSettings settings field :: Text field@Text "Educator.tertiary.university_type" = Text -> Text -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => Text -> Text -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text cachedRandomVec Text "educator" Text "university_type" FakerSettings -> m (Vector Text) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Vector Text) educatorTertiaryUniversityTypeProvider FakerSettings settings resolveEducatorField FakerSettings settings field :: Text field@Text "secondary" = Text -> Text -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => Text -> Text -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text cachedRandomVec Text "educator" Text field FakerSettings -> m (Vector Text) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Vector Text) educatorSecondaryProvider FakerSettings settings resolveEducatorField FakerSettings settings field :: Text field@Text "Educator.tertiary.degree.type" = Text -> Text -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => Text -> Text -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text cachedRandomVec Text "educator" Text "type" FakerSettings -> m (Vector Text) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Vector Text) educatorTertiaryDegreeTypeProvider FakerSettings settings resolveEducatorField FakerSettings settings field :: Text field@Text "subject" = Text -> Text -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => Text -> Text -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text cachedRandomVec Text "educator" Text field FakerSettings -> m (Vector Text) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Vector Text) educatorSubjectProvider FakerSettings settings resolveEducatorField FakerSettings settings field :: Text field@Text "Educator.tertiary.degree.course_number" = Text -> Text -> (FakerSettings -> m (Unresolved (Vector Text))) -> (FakerSettings -> Text -> m Text) -> FakerSettings -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => Text -> Text -> (FakerSettings -> m (Unresolved (Vector Text))) -> (FakerSettings -> Text -> m Text) -> FakerSettings -> m Text cachedRandomUnresolvedVec Text "educator" Text "course_number" FakerSettings -> m (Unresolved (Vector Text)) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Unresolved (Vector Text)) educatorTertiaryDegreeCourseNumberProvider FakerSettings -> Text -> m Text forall (m :: * -> *). (MonadIO m, MonadThrow m) => FakerSettings -> Text -> m Text resolveEducatorText FakerSettings settings resolveEducatorField FakerSettings settings field :: Text field@Text "primary" = Text -> Text -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => Text -> Text -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text cachedRandomVec Text "educator" Text field FakerSettings -> m (Vector Text) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Vector Text) educatorPrimaryProvider FakerSettings settings resolveEducatorField FakerSettings settings field :: Text field@Text "school_name" = Text -> Text -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => Text -> Text -> (FakerSettings -> m (Vector Text)) -> FakerSettings -> m Text cachedRandomVec Text "educator" Text "school_name" FakerSettings -> m (Vector Text) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Vector Text) educatorSchoolNameProvider FakerSettings settings resolveEducatorField FakerSettings settings Text 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 -> Text -> FakerException InvalidField String "educator" Text str