{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -fno-warn-missed-specialisations #-}

module Cardano.Chain.Genesis.AvvmBalances (
  GenesisAvvmBalances (..),
) where

import Cardano.Chain.Common (Lovelace)
import Cardano.Crypto.Signing.Redeem (CompactRedeemVerificationKey)
import Cardano.Ledger.Binary (
  DecCBOR (..),
  EncCBOR (..),
  FromCBOR (..),
  ToCBOR (..),
  encodeListLen,
  enforceSize,
  fromByronCBOR,
  toByronCBOR,
 )
import Cardano.Prelude
import NoThunks.Class (NoThunks (..))
import Text.JSON.Canonical (FromJSON (..), ToJSON (..))

-- | Predefined balances of AVVM (Ada Voucher Vending Machine) entries.
-- People who purchased Ada at a pre-sale were issued a certificate during
-- the pre-sale period. These certificates allow customers to redeem ADA.
newtype GenesisAvvmBalances = GenesisAvvmBalances
  { GenesisAvvmBalances -> Map CompactRedeemVerificationKey Lovelace
unGenesisAvvmBalances :: Map CompactRedeemVerificationKey Lovelace
  }
  deriving (Int -> GenesisAvvmBalances -> ShowS
[GenesisAvvmBalances] -> ShowS
GenesisAvvmBalances -> String
(Int -> GenesisAvvmBalances -> ShowS)
-> (GenesisAvvmBalances -> String)
-> ([GenesisAvvmBalances] -> ShowS)
-> Show GenesisAvvmBalances
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> GenesisAvvmBalances -> ShowS
showsPrec :: Int -> GenesisAvvmBalances -> ShowS
$cshow :: GenesisAvvmBalances -> String
show :: GenesisAvvmBalances -> String
$cshowList :: [GenesisAvvmBalances] -> ShowS
showList :: [GenesisAvvmBalances] -> ShowS
Show, GenesisAvvmBalances -> GenesisAvvmBalances -> Bool
(GenesisAvvmBalances -> GenesisAvvmBalances -> Bool)
-> (GenesisAvvmBalances -> GenesisAvvmBalances -> Bool)
-> Eq GenesisAvvmBalances
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: GenesisAvvmBalances -> GenesisAvvmBalances -> Bool
== :: GenesisAvvmBalances -> GenesisAvvmBalances -> Bool
$c/= :: GenesisAvvmBalances -> GenesisAvvmBalances -> Bool
/= :: GenesisAvvmBalances -> GenesisAvvmBalances -> Bool
Eq, NonEmpty GenesisAvvmBalances -> GenesisAvvmBalances
GenesisAvvmBalances -> GenesisAvvmBalances -> GenesisAvvmBalances
(GenesisAvvmBalances -> GenesisAvvmBalances -> GenesisAvvmBalances)
-> (NonEmpty GenesisAvvmBalances -> GenesisAvvmBalances)
-> (forall b.
    Integral b =>
    b -> GenesisAvvmBalances -> GenesisAvvmBalances)
-> Semigroup GenesisAvvmBalances
forall b.
Integral b =>
b -> GenesisAvvmBalances -> GenesisAvvmBalances
forall a.
(a -> a -> a)
-> (NonEmpty a -> a)
-> (forall b. Integral b => b -> a -> a)
-> Semigroup a
$c<> :: GenesisAvvmBalances -> GenesisAvvmBalances -> GenesisAvvmBalances
<> :: GenesisAvvmBalances -> GenesisAvvmBalances -> GenesisAvvmBalances
$csconcat :: NonEmpty GenesisAvvmBalances -> GenesisAvvmBalances
sconcat :: NonEmpty GenesisAvvmBalances -> GenesisAvvmBalances
$cstimes :: forall b.
Integral b =>
b -> GenesisAvvmBalances -> GenesisAvvmBalances
stimes :: forall b.
Integral b =>
b -> GenesisAvvmBalances -> GenesisAvvmBalances
Semigroup, Context -> GenesisAvvmBalances -> IO (Maybe ThunkInfo)
Proxy GenesisAvvmBalances -> String
(Context -> GenesisAvvmBalances -> IO (Maybe ThunkInfo))
-> (Context -> GenesisAvvmBalances -> IO (Maybe ThunkInfo))
-> (Proxy GenesisAvvmBalances -> String)
-> NoThunks GenesisAvvmBalances
forall a.
(Context -> a -> IO (Maybe ThunkInfo))
-> (Context -> a -> IO (Maybe ThunkInfo))
-> (Proxy a -> String)
-> NoThunks a
$cnoThunks :: Context -> GenesisAvvmBalances -> IO (Maybe ThunkInfo)
noThunks :: Context -> GenesisAvvmBalances -> IO (Maybe ThunkInfo)
$cwNoThunks :: Context -> GenesisAvvmBalances -> IO (Maybe ThunkInfo)
wNoThunks :: Context -> GenesisAvvmBalances -> IO (Maybe ThunkInfo)
$cshowTypeOf :: Proxy GenesisAvvmBalances -> String
showTypeOf :: Proxy GenesisAvvmBalances -> String
NoThunks)

instance Monad m => ToJSON m GenesisAvvmBalances where
  toJSON :: GenesisAvvmBalances -> m JSValue
toJSON = Map CompactRedeemVerificationKey Lovelace -> m JSValue
forall (m :: * -> *) a. ToJSON m a => a -> m JSValue
toJSON (Map CompactRedeemVerificationKey Lovelace -> m JSValue)
-> (GenesisAvvmBalances
    -> Map CompactRedeemVerificationKey Lovelace)
-> GenesisAvvmBalances
-> m JSValue
forall b c a. (b -> c) -> (a -> b) -> a -> c
forall {k} (cat :: k -> k -> *) (b :: k) (c :: k) (a :: k).
Category cat =>
cat b c -> cat a b -> cat a c
. GenesisAvvmBalances -> Map CompactRedeemVerificationKey Lovelace
unGenesisAvvmBalances

instance MonadError SchemaError m => FromJSON m GenesisAvvmBalances where
  fromJSON :: JSValue -> m GenesisAvvmBalances
fromJSON = (Map CompactRedeemVerificationKey Lovelace -> GenesisAvvmBalances)
-> m (Map CompactRedeemVerificationKey Lovelace)
-> m GenesisAvvmBalances
forall a b. (a -> b) -> m a -> m b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (Map CompactRedeemVerificationKey Lovelace -> GenesisAvvmBalances
GenesisAvvmBalances (Map CompactRedeemVerificationKey Lovelace -> GenesisAvvmBalances)
-> (Map CompactRedeemVerificationKey Lovelace
    -> Map CompactRedeemVerificationKey Lovelace)
-> Map CompactRedeemVerificationKey Lovelace
-> GenesisAvvmBalances
forall b c a. (b -> c) -> (a -> b) -> a -> c
forall {k} (cat :: k -> k -> *) (b :: k) (c :: k) (a :: k).
Category cat =>
cat b c -> cat a b -> cat a c
. Map CompactRedeemVerificationKey Lovelace
-> Map CompactRedeemVerificationKey Lovelace
forall (t :: * -> *) a. Foldable t => t a -> t a
forceElemsToWHNF) (m (Map CompactRedeemVerificationKey Lovelace)
 -> m GenesisAvvmBalances)
-> (JSValue -> m (Map CompactRedeemVerificationKey Lovelace))
-> JSValue
-> m GenesisAvvmBalances
forall b c a. (b -> c) -> (a -> b) -> a -> c
forall {k} (cat :: k -> k -> *) (b :: k) (c :: k) (a :: k).
Category cat =>
cat b c -> cat a b -> cat a c
. JSValue -> m (Map CompactRedeemVerificationKey Lovelace)
forall (m :: * -> *) a. FromJSON m a => JSValue -> m a
fromJSON

instance ToCBOR GenesisAvvmBalances where
  toCBOR :: GenesisAvvmBalances -> Encoding
toCBOR = GenesisAvvmBalances -> Encoding
forall a. EncCBOR a => a -> Encoding
toByronCBOR

instance FromCBOR GenesisAvvmBalances where
  fromCBOR :: forall s. Decoder s GenesisAvvmBalances
fromCBOR = Decoder s GenesisAvvmBalances
forall a s. DecCBOR a => Decoder s a
fromByronCBOR

instance EncCBOR GenesisAvvmBalances where
  encCBOR :: GenesisAvvmBalances -> Encoding
encCBOR (GenesisAvvmBalances Map CompactRedeemVerificationKey Lovelace
gab) =
    Word -> Encoding
encodeListLen Word
1
      Encoding -> Encoding -> Encoding
forall a. Semigroup a => a -> a -> a
<> forall a. EncCBOR a => a -> Encoding
encCBOR @(Map CompactRedeemVerificationKey Lovelace) Map CompactRedeemVerificationKey Lovelace
gab

instance DecCBOR GenesisAvvmBalances where
  decCBOR :: forall s. Decoder s GenesisAvvmBalances
decCBOR = do
    Text -> Int -> Decoder s ()
forall s. Text -> Int -> Decoder s ()
enforceSize Text
"GenesisAvvmBalances" Int
1
    Map CompactRedeemVerificationKey Lovelace -> GenesisAvvmBalances
GenesisAvvmBalances (Map CompactRedeemVerificationKey Lovelace -> GenesisAvvmBalances)
-> Decoder s (Map CompactRedeemVerificationKey Lovelace)
-> Decoder s GenesisAvvmBalances
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> forall a s. DecCBOR a => Decoder s a
decCBOR @(Map CompactRedeemVerificationKey Lovelace)