{-# LANGUAGE DeriveAnyClass #-}
module Toml.Codec.Error
( TomlDecodeError (..)
, prettyTomlDecodeErrors
, prettyTomlDecodeError
, LoadTomlException (..)
) where
import Control.DeepSeq (NFData)
import Control.Exception (Exception)
import Data.Text (Text)
import GHC.Generics (Generic)
import Toml.Codec.BiMap (TomlBiMapError, prettyBiMapError)
import Toml.Parser (TomlParseError (..))
import Toml.Type.Key (Key (..))
import Toml.Type.TOML (TOML)
import Toml.Type.Printer (prettyKey, pretty)
import qualified Data.Text as Text
data TomlDecodeError
= BiMapError !Key !TomlBiMapError
| KeyNotFound !Key
| TableNotFound !Key
| TableArrayNotFound !Key
| ParseError !TomlParseError
| NotExactDecode !TOML
deriving stock (Int -> TomlDecodeError -> ShowS
[TomlDecodeError] -> ShowS
TomlDecodeError -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [TomlDecodeError] -> ShowS
$cshowList :: [TomlDecodeError] -> ShowS
show :: TomlDecodeError -> String
$cshow :: TomlDecodeError -> String
showsPrec :: Int -> TomlDecodeError -> ShowS
$cshowsPrec :: Int -> TomlDecodeError -> ShowS
Show, TomlDecodeError -> TomlDecodeError -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: TomlDecodeError -> TomlDecodeError -> Bool
$c/= :: TomlDecodeError -> TomlDecodeError -> Bool
== :: TomlDecodeError -> TomlDecodeError -> Bool
$c== :: TomlDecodeError -> TomlDecodeError -> Bool
Eq, forall x. Rep TomlDecodeError x -> TomlDecodeError
forall x. TomlDecodeError -> Rep TomlDecodeError x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep TomlDecodeError x -> TomlDecodeError
$cfrom :: forall x. TomlDecodeError -> Rep TomlDecodeError x
Generic)
deriving anyclass (TomlDecodeError -> ()
forall a. (a -> ()) -> NFData a
rnf :: TomlDecodeError -> ()
$crnf :: TomlDecodeError -> ()
NFData)
prettyTomlDecodeErrors :: [TomlDecodeError] -> Text
prettyTomlDecodeErrors :: [TomlDecodeError] -> Text
prettyTomlDecodeErrors [TomlDecodeError]
errs = [Text] -> Text
Text.unlines forall a b. (a -> b) -> a -> b
$
(Text
"tomland errors number: " forall a. Semigroup a => a -> a -> a
<> String -> Text
Text.pack (forall a. Show a => a -> String
show forall a b. (a -> b) -> a -> b
$ forall (t :: * -> *) a. Foldable t => t a -> Int
length [TomlDecodeError]
errs))
forall a. a -> [a] -> [a]
: forall a b. (a -> b) -> [a] -> [b]
map TomlDecodeError -> Text
prettyTomlDecodeError [TomlDecodeError]
errs
prettyTomlDecodeError :: TomlDecodeError -> Text
prettyTomlDecodeError :: TomlDecodeError -> Text
prettyTomlDecodeError TomlDecodeError
de = Text
"tomland decode error: " forall a. Semigroup a => a -> a -> a
<> case TomlDecodeError
de of
BiMapError Key
name TomlBiMapError
biError -> Text
"BiMap error in key '" forall a. Semigroup a => a -> a -> a
<> Key -> Text
prettyKey Key
name forall a. Semigroup a => a -> a -> a
<> Text
"' : "
forall a. Semigroup a => a -> a -> a
<> TomlBiMapError -> Text
prettyBiMapError TomlBiMapError
biError
KeyNotFound Key
name -> Text
"Key " forall a. Semigroup a => a -> a -> a
<> Key -> Text
prettyKey Key
name forall a. Semigroup a => a -> a -> a
<> Text
" is not found"
TableNotFound Key
name -> Text
"Table [" forall a. Semigroup a => a -> a -> a
<> Key -> Text
prettyKey Key
name forall a. Semigroup a => a -> a -> a
<> Text
"] is not found"
TableArrayNotFound Key
name -> Text
"Table array [[" forall a. Semigroup a => a -> a -> a
<> Key -> Text
prettyKey Key
name forall a. Semigroup a => a -> a -> a
<> Text
"]] is not found"
ParseError (TomlParseError Text
msg) ->
Text
"Parse error during conversion from TOML to custom user type:\n " forall a. Semigroup a => a -> a -> a
<> Text
msg
NotExactDecode TOML
toml ->
Text
"The following fields are present in TOML but not used:\n"
forall a. Semigroup a => a -> a -> a
<> TOML -> Text
pretty TOML
toml
data LoadTomlException = LoadTomlException !FilePath !Text
instance Show LoadTomlException where
show :: LoadTomlException -> String
show (LoadTomlException String
filePath Text
msg) = String
"Couldnt parse file " forall a. [a] -> [a] -> [a]
++ String
filePath forall a. [a] -> [a] -> [a]
++ String
": " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> String
show Text
msg
instance Exception LoadTomlException