{-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE TemplateHaskell #-} module Faker.Provider.App 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.Company (companyNameProvider, resolveCompanyText) import Faker.Provider.Name (nameNameProvider, resolveNameText) import Faker.Provider.TH import Language.Haskell.TH parseApp :: FromJSON a => FakerSettings -> Value -> Parser a parseApp :: FakerSettings -> Value -> Parser a parseApp 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 app <- Object faker Object -> Key -> Parser a forall a. FromJSON a => Object -> Key -> Parser a .: Key "app" a -> Parser a forall (f :: * -> *) a. Applicative f => a -> f a pure a app parseApp 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) parseAppField :: (FromJSON a, Monoid a) => FakerSettings -> AesonKey -> Value -> Parser a parseAppField :: FakerSettings -> Key -> Value -> Parser a parseAppField FakerSettings settings Key txt Value val = do Object app <- FakerSettings -> Value -> Parser Object forall a. FromJSON a => FakerSettings -> Value -> Parser a parseApp FakerSettings settings Value val a field <- Object app 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 parseUnresolvedAppField :: (FromJSON a, Monoid a) => FakerSettings -> AesonKey -> Value -> Parser (Unresolved a) parseUnresolvedAppField :: FakerSettings -> Key -> Value -> Parser (Unresolved a) parseUnresolvedAppField FakerSettings settings Key txt Value val = do Object app <- FakerSettings -> Value -> Parser Object forall a. FromJSON a => FakerSettings -> Value -> Parser a parseApp FakerSettings settings Value val a field <- Object app 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 $(genAppParser "name") $(genAppProvider "name") $(genAppParserUnresolved "version") $(genAppParserUnresolved "author") $(genAppProviderUnresolved "version") $(genAppProviderUnresolved "author") resolveAppText :: (MonadIO m, MonadThrow m) => FakerSettings -> AesonKey -> m Text resolveAppText :: FakerSettings -> Key -> m Text resolveAppText = (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 resolveAppField resolveAppField :: (MonadThrow m, MonadIO m) => FakerSettings -> AesonKey -> m Text resolveAppField :: FakerSettings -> Key -> m Text resolveAppField FakerSettings settings Key "Name.name" = 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 "name" Key "name" FakerSettings -> m (Unresolved (Vector Text)) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Unresolved (Vector Text)) nameNameProvider FakerSettings -> Key -> m Text forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> Key -> m Text resolveNameText FakerSettings settings resolveAppField FakerSettings settings Key "Company.name" = 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 "company" Key "name" FakerSettings -> m (Unresolved (Vector Text)) forall (m :: * -> *). (MonadThrow m, MonadIO m) => FakerSettings -> m (Unresolved (Vector Text)) companyNameProvider FakerSettings -> Key -> m Text forall (m :: * -> *). (MonadIO m, MonadThrow m) => FakerSettings -> Key -> m Text resolveCompanyText FakerSettings settings resolveAppField 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 "app" Key str