{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE NoImplicitPrelude #-}
module Data.Morpheus.Error.Input
( typeViolation,
)
where
import Data.Morpheus.Types.Internal.AST
( TypeRef (..),
ValidationError,
Value,
msgValidation,
)
import Data.Semigroup ((<>))
typeViolation :: TypeRef -> Value s -> ValidationError
typeViolation :: TypeRef -> Value s -> ValidationError
typeViolation TypeRef
expected Value s
found =
ValidationError
"Expected type "
ValidationError -> ValidationError -> ValidationError
forall a. Semigroup a => a -> a -> a
<> TypeRef -> ValidationError
forall a. Msg a => a -> ValidationError
msgValidation TypeRef
expected
ValidationError -> ValidationError -> ValidationError
forall a. Semigroup a => a -> a -> a
<> ValidationError
" found "
ValidationError -> ValidationError -> ValidationError
forall a. Semigroup a => a -> a -> a
<> Value s -> ValidationError
forall a. Msg a => a -> ValidationError
msgValidation Value s
found
ValidationError -> ValidationError -> ValidationError
forall a. Semigroup a => a -> a -> a
<> ValidationError
"."