{-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE TemplateHaskell #-} module Faker.Provider.Cosmere where import Config 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 parseCosmere :: FromJSON a => FakerSettings -> Value -> Parser a parseCosmere :: FakerSettings -> Value -> Parser a parseCosmere 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 cosmere <- Object faker Object -> Text -> Parser a forall a. FromJSON a => Object -> Text -> Parser a .: Text "cosmere" a -> Parser a forall (f :: * -> *) a. Applicative f => a -> f a pure a cosmere parseCosmere 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) parseCosmereField :: (FromJSON a, Monoid a) => FakerSettings -> Text -> Value -> Parser a parseCosmereField :: FakerSettings -> Text -> Value -> Parser a parseCosmereField FakerSettings settings Text txt Value val = do Object cosmere <- FakerSettings -> Value -> Parser Object forall a. FromJSON a => FakerSettings -> Value -> Parser a parseCosmere FakerSettings settings Value val a field <- Object cosmere 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 $(genParser "cosmere" "aons") $(genProvider "cosmere" "aons") $(genParser "cosmere" "shard_worlds") $(genProvider "cosmere" "shard_worlds") $(genParser "cosmere" "shards") $(genProvider "cosmere" "shards") $(genParser "cosmere" "surges") $(genProvider "cosmere" "surges") $(genParser "cosmere" "knights_radiant") $(genProvider "cosmere" "knights_radiant") $(genParser "cosmere" "metals") $(genProvider "cosmere" "metals") $(genParser "cosmere" "allomancers") $(genProvider "cosmere" "allomancers") $(genParser "cosmere" "feruchemists") $(genProvider "cosmere" "feruchemists") $(genParser "cosmere" "heralds") $(genProvider "cosmere" "heralds") $(genParser "cosmere" "sprens") $(genProvider "cosmere" "sprens")