View on GitHub
File Changes
    , DecodeAddress
    , EncodeAddress
    , Iso8601Time (..)
-
    , ManyNatVal (..)
    , PostExternalTransactionData (..)
    , PostTransactionData (..)
    , PostTransactionFeeData (..)
import Cardano.Wallet.Primitive.AddressDerivation
    ( FromMnemonic (..)
    , FromMnemonicError (..)
+
    , NatVals (..)
    , Passphrase (..)
    , PassphraseMaxLength
    , PassphraseMinLength
        left getFromMnemonicError . fromMnemonic @(AllowedMnemonics s)

                      
    allowedLengths
-
        :: forall (s :: ByronWalletStyle). ( ManyNatVal (AllowedMnemonics s))
+
        :: forall (s :: ByronWalletStyle). ( NatVals (AllowedMnemonics s))
        => Proxy s
        -> [Int]
    allowedLengths _ =
-
         (map fromIntegral (manyNatVal $ Proxy @(AllowedMnemonics s)))
+
         (map fromIntegral (natVals $ Proxy @(AllowedMnemonics s)))

                      
    icarusKeyFromSeed :: SomeMnemonic -> XPrv
    icarusKeyFromSeed m = Icarus.getKey $ Icarus.generateKeyFromSeed m pass
    , ByronWalletStyle (..)
    , StyleSymbol
    , AllowedMnemonics
-
    , ManyNatVal (..)

                      
    -- * API Types
    , ApiAddress (..)
import GHC.Generics
    ( Generic )
import GHC.TypeLits
-
    ( KnownNat, Nat, Symbol, natVal )
+
    ( Nat, Symbol )
import Numeric.Natural
    ( Natural )
import Servant.API
type instance AllowedMnemonics 'Shelley   = '[15,18,21,24]
type instance AllowedMnemonics 'SndFactor = '[9,12]

                      
-

                      
-
-- | Machinery to demote type level [Nat] to a normal [Integer] list
-
--
-
-- Needed to get the result of @[email protected] as a value.
-
class ManyNatVal (xs :: [Nat]) where
-
  manyNatVal :: proxy xs -> [Integer]
-

                      
-
instance ManyNatVal '[] where
-
  manyNatVal _ = []
-

                      
-
instance (KnownNat a, ManyNatVal as) => ManyNatVal (a ': as) where
-
  manyNatVal _ =
-
    natVal (Proxy :: Proxy a) : manyNatVal (Proxy :: Proxy as)
-

                      
{-------------------------------------------------------------------------------
                                  API Types
-------------------------------------------------------------------------------}
    , hex
    , fromHex
    , unXPrvStripPub
+
    , NatVals (..)

                      
    -- * Network Discrimination
    , NetworkDiscriminant (..)