{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TemplateHaskell #-}
module Faker.Provider.University 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.Address (stateProvider, cityProvider, resolveAddressText, resolveAddressField)
import Faker.Provider.Name (nameLastNameProvider)
import Faker.Provider.TH
import Language.Haskell.TH
parseUniversity :: FromJSON a => FakerSettings -> Value -> Parser a
parseUniversity :: FakerSettings -> Value -> Parser a
parseUniversity 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
university <- Object
faker Object -> Text -> Parser a
forall a. FromJSON a => Object -> Text -> Parser a
.: Text
"university"
a -> Parser a
forall (f :: * -> *) a. Applicative f => a -> f a
pure a
university
parseUniversity 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)
parseUniversityField ::
(FromJSON a, Monoid a) => FakerSettings -> Text -> Value -> Parser a
parseUniversityField :: FakerSettings -> Text -> Value -> Parser a
parseUniversityField FakerSettings
settings Text
txt Value
val = do
Object
university <- FakerSettings -> Value -> Parser Object
forall a. FromJSON a => FakerSettings -> Value -> Parser a
parseUniversity FakerSettings
settings Value
val
a
field <- Object
university 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
parseUniversityFields ::
(FromJSON a, Monoid a) => FakerSettings -> [Text] -> Value -> Parser a
parseUniversityFields :: FakerSettings -> [Text] -> Value -> Parser a
parseUniversityFields FakerSettings
settings [Text]
txts Value
val = do
Value
university <- FakerSettings -> Value -> Parser Value
forall a. FromJSON a => FakerSettings -> Value -> Parser a
parseUniversity FakerSettings
settings Value
val
Value -> [Text] -> Parser a
forall a. FromJSON a => Value -> [Text] -> Parser a
helper Value
university [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)
parseUnresolvedUniversityField ::
(FromJSON a, Monoid a)
=> FakerSettings
-> Text
-> Value
-> Parser (Unresolved a)
parseUnresolvedUniversityField :: FakerSettings -> Text -> Value -> Parser (Unresolved a)
parseUnresolvedUniversityField FakerSettings
settings Text
txt Value
val = do
Object
university <- FakerSettings -> Value -> Parser Object
forall a. FromJSON a => FakerSettings -> Value -> Parser a
parseUniversity FakerSettings
settings Value
val
a
field <- Object
university 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
$(genParser "university" "prefix")
$(genProvider "university" "prefix")
$(genParser "university" "suffix")
$(genProvider "university" "suffix")
$(genParserUnresolved "university" "name")
$(genProviderUnresolved "university" "name")
$(genParser "university" "region")
$(genProvider "university" "region")
resolveUniversityText ::
(MonadIO m, MonadThrow m) => FakerSettings -> Text -> m Text
resolveUniversityText :: FakerSettings -> Text -> m Text
resolveUniversityText = (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
resolveUniversityField
resolveUniversityField ::
(MonadThrow m, MonadIO m) => FakerSettings -> Text -> m Text
resolveUniversityField :: FakerSettings -> Text -> m Text
resolveUniversityField FakerSettings
settings Text
"University.prefix" =
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
"university" Text
"prefix" FakerSettings -> m (Vector Text)
forall (m :: * -> *).
(MonadThrow m, MonadIO m) =>
FakerSettings -> m (Vector Text)
universityPrefixProvider FakerSettings
settings
resolveUniversityField FakerSettings
settings Text
"University.suffix" =
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
"university" Text
"suffix" FakerSettings -> m (Vector Text)
forall (m :: * -> *).
(MonadThrow m, MonadIO m) =>
FakerSettings -> m (Vector Text)
universitySuffixProvider FakerSettings
settings
resolveUniversityField FakerSettings
settings Text
"University.region" =
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
"university" Text
"region" FakerSettings -> m (Vector Text)
forall (m :: * -> *).
(MonadThrow m, MonadIO m) =>
FakerSettings -> m (Vector Text)
universityRegionProvider FakerSettings
settings
resolveUniversityField FakerSettings
settings Text
"Name.last_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
"name" Text
"last_name" FakerSettings -> m (Vector Text)
forall (m :: * -> *).
(MonadThrow m, MonadIO m) =>
FakerSettings -> m (Vector Text)
nameLastNameProvider FakerSettings
settings
resolveUniversityField FakerSettings
settings Text
"Address.state" =
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
"address" Text
"state" FakerSettings -> m (Vector Text)
forall (m :: * -> *).
(MonadThrow m, MonadIO m) =>
FakerSettings -> m (Vector Text)
stateProvider FakerSettings
settings
resolveUniversityField FakerSettings
settings Text
"Address.city_prefix" =
FakerSettings -> Text -> m Text
forall (m :: * -> *).
(MonadThrow m, MonadIO m) =>
FakerSettings -> Text -> m Text
resolveAddressField FakerSettings
settings Text
"city_prefix"
resolveUniversityField FakerSettings
settings field :: Text
field@Text
"Address.city" =
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
"address"
Text
field
FakerSettings -> m (Unresolved (Vector Text))
forall (m :: * -> *).
(MonadThrow m, MonadIO m) =>
FakerSettings -> m (Unresolved (Vector Text))
cityProvider
FakerSettings -> Text -> m Text
forall (m :: * -> *).
(MonadIO m, MonadThrow m) =>
FakerSettings -> Text -> m Text
resolveAddressText
FakerSettings
settings
resolveUniversityField 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
"university" Text
str