{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TemplateHaskell #-}

module Faker.Provider.Finance where

import Config
import Control.Monad.Catch
import Control.Monad.IO.Class
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


parseFinance :: FromJSON a => FakerSettings -> Value -> Parser a
parseFinance :: FakerSettings -> Value -> Parser a
parseFinance 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"
  Object
finance <- Object
faker Object -> Key -> Parser Object
forall a. FromJSON a => Object -> Key -> Parser a
.: Key
"finance"
  a
creditCard <- Object
finance Object -> Key -> Parser a
forall a. FromJSON a => Object -> Key -> Parser a
.: Key
"credit_card"
  a -> Parser a
forall (f :: * -> *) a. Applicative f => a -> f a
pure a
creditCard
parseFinance 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)

parseFinanceField ::
     (FromJSON a, Monoid a) => FakerSettings -> AesonKey -> Value -> Parser a
parseFinanceField :: FakerSettings -> Key -> Value -> Parser a
parseFinanceField FakerSettings
settings Key
txt Value
val = do
  Object
finance <- FakerSettings -> Value -> Parser Object
forall a. FromJSON a => FakerSettings -> Value -> Parser a
parseFinance FakerSettings
settings Value
val
  a
field <- Object
finance 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

parseFinanceFields ::
     (FromJSON a, Monoid a) => FakerSettings -> [AesonKey] -> Value -> Parser a
parseFinanceFields :: FakerSettings -> [Key] -> Value -> Parser a
parseFinanceFields FakerSettings
settings [Key]
txts Value
val = do
  Value
finance <- FakerSettings -> Value -> Parser Value
forall a. FromJSON a => FakerSettings -> Value -> Parser a
parseFinance FakerSettings
settings Value
val
  Value -> [Key] -> Parser a
forall a. FromJSON a => Value -> [Key] -> Parser a
helper Value
finance [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)

parseUnresolvedFinanceField ::
     (FromJSON a, Monoid a)
  => FakerSettings
  -> AesonKey
  -> Value
  -> Parser (Unresolved a)
parseUnresolvedFinanceField :: FakerSettings -> Key -> Value -> Parser (Unresolved a)
parseUnresolvedFinanceField FakerSettings
settings Key
txt Value
val = do
  Object
finance <- FakerSettings -> Value -> Parser Object
forall a. FromJSON a => FakerSettings -> Value -> Parser a
parseFinance FakerSettings
settings Value
val
  a
field <- Object
finance 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

$(genParserUnresolved "finance" "visa")

$(genProviderUnresolved "finance" "visa")

$(genParserUnresolved "finance" "mastercard")

$(genProviderUnresolved "finance" "mastercard")

$(genParserUnresolved "finance" "discover")

$(genProviderUnresolved "finance" "discover")

$(genParserUnresolved "finance" "american_express")

$(genProviderUnresolved "finance" "american_express")

$(genParserUnresolved "finance" "diners_club")

$(genProviderUnresolved "finance" "diners_club")

$(genParserUnresolved "finance" "jcb")

$(genProviderUnresolved "finance" "jcb")

$(genParserUnresolved "finance" "switch")

$(genProviderUnresolved "finance" "switch")

$(genParserUnresolved "finance" "solo")

$(genProviderUnresolved "finance" "solo")

$(genParserUnresolved "finance" "dankort")

$(genProviderUnresolved "finance" "dankort")

$(genParserUnresolved "finance" "maestro")

$(genProviderUnresolved "finance" "maestro")

$(genParserUnresolved "finance" "forbrugsforeningen")

$(genProviderUnresolved "finance" "forbrugsforeningen")

$(genParserUnresolved "finance" "laser")

$(genProviderUnresolved "finance" "laser")

$(genParsers "finance" ["ticker", "nasdaq"])

$(genProviders "finance" ["ticker", "nasdaq"])

$(genParsers "finance" ["ticker", "nyse"])

$(genProviders "finance" ["ticker", "nyse"])

resolveFinanceText ::
     (MonadIO m, MonadThrow m) => FakerSettings -> AesonKey -> m Text
resolveFinanceText :: FakerSettings -> Key -> m Text
resolveFinanceText = (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
resolveFinanceField

resolveFinanceField ::
     (MonadThrow m, MonadIO m) => FakerSettings -> AesonKey -> m Text
resolveFinanceField :: FakerSettings -> Key -> m Text
resolveFinanceField FakerSettings
settings field :: Key
field@Key
"visa" =
  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
"finance"
    Key
field
    FakerSettings -> m (Unresolved (Vector Text))
forall (m :: * -> *).
(MonadThrow m, MonadIO m) =>
FakerSettings -> m (Unresolved (Vector Text))
financeVisaProvider
    FakerSettings -> Key -> m Text
forall (m :: * -> *).
(MonadThrow m, MonadIO m) =>
FakerSettings -> Key -> m Text
resolveFinanceField
    FakerSettings
settings
resolveFinanceField FakerSettings
settings field :: Key
field@Key
"mastercard" =
  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
"finance"
    Key
field
    FakerSettings -> m (Unresolved (Vector Text))
forall (m :: * -> *).
(MonadThrow m, MonadIO m) =>
FakerSettings -> m (Unresolved (Vector Text))
financeMastercardProvider
    FakerSettings -> Key -> m Text
forall (m :: * -> *).
(MonadThrow m, MonadIO m) =>
FakerSettings -> Key -> m Text
resolveFinanceField
    FakerSettings
settings
resolveFinanceField FakerSettings
settings field :: Key
field@Key
"discover" =
  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
"finance"
    Key
field
    FakerSettings -> m (Unresolved (Vector Text))
forall (m :: * -> *).
(MonadThrow m, MonadIO m) =>
FakerSettings -> m (Unresolved (Vector Text))
financeDiscoverProvider
    FakerSettings -> Key -> m Text
forall (m :: * -> *).
(MonadThrow m, MonadIO m) =>
FakerSettings -> Key -> m Text
resolveFinanceField
    FakerSettings
settings
resolveFinanceField 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
"finance" Key
str