{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Cardano.CLI.Type.Error.AddressCmdError
  ( AddressCmdError (..)
  , renderAddressCmdError
  )
where

import Cardano.Api

newtype AddressCmdError
  = AddressCmdExpectedPaymentVerificationKey SomeAddressVerificationKey
  deriving Int -> AddressCmdError -> ShowS
[AddressCmdError] -> ShowS
AddressCmdError -> String
(Int -> AddressCmdError -> ShowS)
-> (AddressCmdError -> String)
-> ([AddressCmdError] -> ShowS)
-> Show AddressCmdError
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> AddressCmdError -> ShowS
showsPrec :: Int -> AddressCmdError -> ShowS
$cshow :: AddressCmdError -> String
show :: AddressCmdError -> String
$cshowList :: [AddressCmdError] -> ShowS
showList :: [AddressCmdError] -> ShowS
Show

instance Error AddressCmdError where
  prettyError :: forall ann. AddressCmdError -> Doc ann
prettyError = AddressCmdError -> Doc ann
forall ann. AddressCmdError -> Doc ann
renderAddressCmdError

renderAddressCmdError :: AddressCmdError -> Doc ann
renderAddressCmdError :: forall ann. AddressCmdError -> Doc ann
renderAddressCmdError = \case
  AddressCmdExpectedPaymentVerificationKey SomeAddressVerificationKey
someAddress ->
    Doc ann
"Expected payment verification key but got: "
      Doc ann -> Doc ann -> Doc ann
forall a. Semigroup a => a -> a -> a
<> Text -> Doc ann
forall a ann. Pretty a => a -> Doc ann
forall ann. Text -> Doc ann
pretty (SomeAddressVerificationKey -> Text
renderSomeAddressVerificationKey SomeAddressVerificationKey
someAddress)