-- SPDX-FileCopyrightText: 2022 Oxhead Alpha
-- SPDX-License-Identifier: LicenseRef-MIT-OA

module Morley.Tezos.Address.Alias
  ( AddressOrAlias(..)
  , Alias(..)
  )
  where

import Data.Aeson (FromJSON, ToJSON)
import Fmt (Buildable(..))
import Options.Applicative qualified as Opt

import Morley.Tezos.Address (Address, parseAddress)
import Morley.Util.CLI (HasCLReader(..))

-- | @tezos-client@ can associate addresses with textual aliases.
-- This type denotes such an alias.
newtype Alias = Alias
  { Alias -> Text
unAlias :: Text
    -- ^ Extract 'Text' from 'Alias'.
  }
  deriving stock (Int -> Alias -> ShowS
[Alias] -> ShowS
Alias -> String
(Int -> Alias -> ShowS)
-> (Alias -> String) -> ([Alias] -> ShowS) -> Show Alias
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Alias] -> ShowS
$cshowList :: [Alias] -> ShowS
show :: Alias -> String
$cshow :: Alias -> String
showsPrec :: Int -> Alias -> ShowS
$cshowsPrec :: Int -> Alias -> ShowS
Show, Alias -> Alias -> Bool
(Alias -> Alias -> Bool) -> (Alias -> Alias -> Bool) -> Eq Alias
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Alias -> Alias -> Bool
$c/= :: Alias -> Alias -> Bool
== :: Alias -> Alias -> Bool
$c== :: Alias -> Alias -> Bool
Eq, Eq Alias
Eq Alias
-> (Alias -> Alias -> Ordering)
-> (Alias -> Alias -> Bool)
-> (Alias -> Alias -> Bool)
-> (Alias -> Alias -> Bool)
-> (Alias -> Alias -> Bool)
-> (Alias -> Alias -> Alias)
-> (Alias -> Alias -> Alias)
-> Ord Alias
Alias -> Alias -> Bool
Alias -> Alias -> Ordering
Alias -> Alias -> Alias
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: Alias -> Alias -> Alias
$cmin :: Alias -> Alias -> Alias
max :: Alias -> Alias -> Alias
$cmax :: Alias -> Alias -> Alias
>= :: Alias -> Alias -> Bool
$c>= :: Alias -> Alias -> Bool
> :: Alias -> Alias -> Bool
$c> :: Alias -> Alias -> Bool
<= :: Alias -> Alias -> Bool
$c<= :: Alias -> Alias -> Bool
< :: Alias -> Alias -> Bool
$c< :: Alias -> Alias -> Bool
compare :: Alias -> Alias -> Ordering
$ccompare :: Alias -> Alias -> Ordering
Ord)
  deriving newtype (Alias -> Builder
(Alias -> Builder) -> Buildable Alias
forall p. (p -> Builder) -> Buildable p
build :: Alias -> Builder
$cbuild :: Alias -> Builder
Buildable, [Alias] -> Encoding
[Alias] -> Value
Alias -> Encoding
Alias -> Value
(Alias -> Value)
-> (Alias -> Encoding)
-> ([Alias] -> Value)
-> ([Alias] -> Encoding)
-> ToJSON Alias
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> ToJSON a
toEncodingList :: [Alias] -> Encoding
$ctoEncodingList :: [Alias] -> Encoding
toJSONList :: [Alias] -> Value
$ctoJSONList :: [Alias] -> Value
toEncoding :: Alias -> Encoding
$ctoEncoding :: Alias -> Encoding
toJSON :: Alias -> Value
$ctoJSON :: Alias -> Value
ToJSON, Value -> Parser [Alias]
Value -> Parser Alias
(Value -> Parser Alias)
-> (Value -> Parser [Alias]) -> FromJSON Alias
forall a.
(Value -> Parser a) -> (Value -> Parser [a]) -> FromJSON a
parseJSONList :: Value -> Parser [Alias]
$cparseJSONList :: Value -> Parser [Alias]
parseJSON :: Value -> Parser Alias
$cparseJSON :: Value -> Parser Alias
FromJSON)

-- | Representation of an address that @tezos-client@ uses. It can be
-- an address itself or a textual alias.
data AddressOrAlias
  = AddressResolved Address
  -- ^ Address itself, can be used as is.
  | AddressAlias Alias
  -- ^ Address alias, should be resolved by @tezos-client@.
  deriving stock (Int -> AddressOrAlias -> ShowS
[AddressOrAlias] -> ShowS
AddressOrAlias -> String
(Int -> AddressOrAlias -> ShowS)
-> (AddressOrAlias -> String)
-> ([AddressOrAlias] -> ShowS)
-> Show AddressOrAlias
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [AddressOrAlias] -> ShowS
$cshowList :: [AddressOrAlias] -> ShowS
show :: AddressOrAlias -> String
$cshow :: AddressOrAlias -> String
showsPrec :: Int -> AddressOrAlias -> ShowS
$cshowsPrec :: Int -> AddressOrAlias -> ShowS
Show, AddressOrAlias -> AddressOrAlias -> Bool
(AddressOrAlias -> AddressOrAlias -> Bool)
-> (AddressOrAlias -> AddressOrAlias -> Bool) -> Eq AddressOrAlias
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: AddressOrAlias -> AddressOrAlias -> Bool
$c/= :: AddressOrAlias -> AddressOrAlias -> Bool
== :: AddressOrAlias -> AddressOrAlias -> Bool
$c== :: AddressOrAlias -> AddressOrAlias -> Bool
Eq, Eq AddressOrAlias
Eq AddressOrAlias
-> (AddressOrAlias -> AddressOrAlias -> Ordering)
-> (AddressOrAlias -> AddressOrAlias -> Bool)
-> (AddressOrAlias -> AddressOrAlias -> Bool)
-> (AddressOrAlias -> AddressOrAlias -> Bool)
-> (AddressOrAlias -> AddressOrAlias -> Bool)
-> (AddressOrAlias -> AddressOrAlias -> AddressOrAlias)
-> (AddressOrAlias -> AddressOrAlias -> AddressOrAlias)
-> Ord AddressOrAlias
AddressOrAlias -> AddressOrAlias -> Bool
AddressOrAlias -> AddressOrAlias -> Ordering
AddressOrAlias -> AddressOrAlias -> AddressOrAlias
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: AddressOrAlias -> AddressOrAlias -> AddressOrAlias
$cmin :: AddressOrAlias -> AddressOrAlias -> AddressOrAlias
max :: AddressOrAlias -> AddressOrAlias -> AddressOrAlias
$cmax :: AddressOrAlias -> AddressOrAlias -> AddressOrAlias
>= :: AddressOrAlias -> AddressOrAlias -> Bool
$c>= :: AddressOrAlias -> AddressOrAlias -> Bool
> :: AddressOrAlias -> AddressOrAlias -> Bool
$c> :: AddressOrAlias -> AddressOrAlias -> Bool
<= :: AddressOrAlias -> AddressOrAlias -> Bool
$c<= :: AddressOrAlias -> AddressOrAlias -> Bool
< :: AddressOrAlias -> AddressOrAlias -> Bool
$c< :: AddressOrAlias -> AddressOrAlias -> Bool
compare :: AddressOrAlias -> AddressOrAlias -> Ordering
$ccompare :: AddressOrAlias -> AddressOrAlias -> Ordering
Ord)

instance HasCLReader AddressOrAlias where
  getReader :: ReadM AddressOrAlias
getReader =
    ReadM Text
forall s. IsString s => ReadM s
Opt.str ReadM Text -> (Text -> AddressOrAlias) -> ReadM AddressOrAlias
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \Text
addrOrAlias ->
      case Text -> Either ParseAddressError Address
parseAddress Text
addrOrAlias of
        Right Address
addr -> Address -> AddressOrAlias
AddressResolved Address
addr
        Left ParseAddressError
_ -> Alias -> AddressOrAlias
AddressAlias (Text -> Alias
Alias Text
addrOrAlias)
  getMetavar :: String
getMetavar = String
"ADDRESS OR ALIAS"

instance Buildable AddressOrAlias where
  build :: AddressOrAlias -> Builder
build = \case
    AddressResolved Address
addr -> Address -> Builder
forall p. Buildable p => p -> Builder
build Address
addr
    AddressAlias Alias
alias -> Alias -> Builder
forall p. Buildable p => p -> Builder
build Alias
alias