Add stub cardano-wallet-jormungandr

lib/jormungandr/LICENSE

@@ -0,0 +1 @@
+../../LICENSE

lib/jormungandr/README.md

@@ -0,0 +1 @@
+# Jörmungandr

lib/jormungandr/cardano-wallet-jormungandr.cabal

@@ -0,0 +1,107 @@
+name:                cardano-wallet-jormungandr
+version:             2019.5.8
+synopsis:            Wallet backend protocol-specific bits implemented using Jörmungandr
+description:         Please see README.md
+homepage:            https://github.com/input-output-hk/cardano-wallet
+author:              IOHK Engineering Team
+maintainer:          [email protected]
+copyright:           2019 IOHK
+license:             MIT
+license-file:        LICENSE
+category:            Web
+build-type:          Simple
+extra-source-files:  README.md
+cabal-version:       >=1.10
+
+flag development
+    description: Disable `-Werror`
+    default: False
+    manual: True
+
+library
+  default-language:
+      Haskell2010
+  default-extensions:
+      NoImplicitPrelude
+      OverloadedStrings
+  ghc-options:
+      -Wall
+      -Wcompat
+      -fwarn-redundant-constraints
+  if (!flag(development))
+    ghc-options:
+      -Werror
+  build-depends:
+      aeson
+    , base
+    , cardano-wallet-core
+    , binary
+    , bytestring
+    , cardano-crypto
+    , cborg
+    , cryptonite
+    , digest
+    , exceptions
+    , fmt
+    , http-api-data
+    , http-client
+    , http-media
+    , http-types
+    , memory
+    , servant
+    , servant-client
+    , servant-client-core
+    , text
+    , text-class
+    , transformers
+  hs-source-dirs:
+      src
+  exposed-modules:
+      Cardano.Environment
+      Cardano.Wallet.Binary.Jormungandr
+      Cardano.Wallet.Compatibility.Jormungandr
+      Cardano.Wallet.Transaction.Jormungandr
+      Data.Packfile
+      Servant.Extra.ContentTypes
+
+test-suite unit
+  default-language:
+      Haskell2010
+  default-extensions:
+      NoImplicitPrelude
+      OverloadedStrings
+  ghc-options:
+      -threaded -rtsopts
+      -Wall
+      -O2
+  if (!flag(development))
+    ghc-options:
+      -Werror
+  build-depends:
+      base
+    , aeson
+    , base58-bytestring
+    , bytestring
+    , cardano-crypto
+    , cardano-wallet-core
+    , cardano-wallet-jormungandr
+    , cborg
+    , containers
+    , digest
+    , fmt
+    , generic-arbitrary
+    , hspec
+    , hspec-golden-aeson
+    , memory
+    , QuickCheck
+    , text-class
+    , transformers
+  type:
+     exitcode-stdio-1.0
+  hs-source-dirs:
+      test/unit
+  main-is:
+      Main.hs
+  other-modules:
+      Cardano.Wallet.Binary.JormungandrSpec
+      Spec

lib/jormungandr/src/Cardano/Environment.hs

@@ -0,0 +1,166 @@
+{-# LANGUAGE DeriveGeneric #-}
+{-# LANGUAGE LambdaCase #-}
+{-# LANGUAGE TypeApplications #-}
+
+-- |
+-- Copyright: © 2018-2019 IOHK
+-- License: MIT
+--
+-- This module contains static configuration parameters. Rather than providing
+-- and carrying around a configuration file through the application, we resolve
+-- configuration data at runtime using the available environment.
+--
+-- This gives us a flexible and portable approach to software configuration, and
+-- remove some pain from the development perspective. Prior to starting, the
+-- wallet is expected to have a few configuration parameter available. One may
+-- rely on a `.env` file to bundle configuration settings together for a given
+-- target environment.
+
+module Cardano.Environment
+    (
+    -- * Networking
+      Network(..)
+    , network
+    , ProtocolMagic(..)
+    , protocolMagic
+
+    -- * Internals
+    , ErrMissingOrInvalidEnvVar(..)
+    , unsafeLookupEnv
+    ) where
+
+import Prelude
+
+import Control.Exception
+    ( Exception (..), throwIO )
+import Data.Int
+    ( Int32 )
+import Data.Text
+    ( Text )
+import Data.Text.Class
+    ( FromText (..), TextDecodingError (..), ToText (..) )
+import Fmt
+    ( Buildable (..), nameF, padLeftF, pretty )
+import GHC.Generics
+    ( Generic )
+import System.Environment
+    ( getProgName, lookupEnv )
+import System.IO.Unsafe
+    ( unsafePerformIO )
+
+import qualified Data.Text as T
+
+
+-- | Fatal exception thrown when a required ENV var is missing upon start-up.
+data ErrMissingOrInvalidEnvVar = ErrMissingOrInvalidEnvVar
+    { name :: String
+    , command :: String
+    , additionalContext :: Maybe (String, TextDecodingError)
+    }
+
+instance Show ErrMissingOrInvalidEnvVar where
+    show = displayException
+
+-- | Produces a nice terminal output so that the error is very readable.
+--
+-- @
+-- $ NETWORK=patate cardano-wallet-launcher
+-- Starting...
+-- cardano-wallet-launcher: Missing or invalid ENV var:
+--
+--     ENV[NETWORK] = patate
+--                     |
+--                     |
+--                     *--> patate is neither "mainnet", "testnet" nor "staging"
+--
+-- @
+--
+-- @
+-- $ cardano-wallet-launcher
+-- Starting...
+-- cardano-wallet-launcher: Missing or invalid ENV var:
+--
+--     ENV[NETWORK] = ?
+--
+-- What about trying to provide a valid ENV var `NETWORK=value cardano-wallet-launcher` ?
+-- @
+instance Exception ErrMissingOrInvalidEnvVar where
+    displayException (ErrMissingOrInvalidEnvVar n cmd ctx) = pretty $ mempty
+        <> nameF "Missing or invalid ENV var"
+            ( "\n  ENV[" <> build n <> "] = " <> ctxF )
+      where
+        ctxF = case ctx of
+            Nothing -> "?"
+                <> "\n\nWhat about trying to provide a valid ENV var "
+                <> "`" <> build n <> "=value " <> build cmd <> "` ?"
+            Just (v, err) ->
+                let
+                    pad = length n + (length v `div` 2) + 11
+                in
+                    build v
+                        <> "\n  " <> padLeftF @Text pad ' ' "|    "
+                        <> "\n  " <> padLeftF @Text pad ' ' "|    "
+                        <> "\n  " <> padLeftF @Text pad ' ' "*--> "
+                        <> build err
+
+-- | Lookup the environment for a given variable
+unsafeLookupEnv
+    :: FromText a
+    => String
+    -> a
+unsafeLookupEnv k = unsafePerformIO $ do
+    cmd <- getProgName
+    v <- lookupEnv k >>= \case
+        Just v -> return v
+        Nothing -> throwIO $ ErrMissingOrInvalidEnvVar
+            { name = k
+            , command =  cmd
+            , additionalContext = Nothing
+            }
+    case fromText (T.pack v) of
+        Right a -> return a
+        Left err -> throwIO $ ErrMissingOrInvalidEnvVar
+            { name = k
+            , command = cmd
+            , additionalContext = Just (v, err)
+            }
+
+{-------------------------------------------------------------------------------
+                                 Environment
+-------------------------------------------------------------------------------}
+
+-- | Available network options.
+data Network = Mainnet | Testnet | Staging
+    deriving (Generic, Show, Eq, Enum)
+
+instance FromText Network where
+    fromText = \case
+        "mainnet" -> Right Mainnet
+        "testnet" -> Right Testnet
+        "staging" -> Right Staging
+        s -> Left $ TextDecodingError $ T.unpack s
+            <> " is neither \"mainnet\", \"testnet\" nor \"staging\"."
+
+instance ToText Network where
+    toText = \case
+        Mainnet -> "mainnet"
+        Testnet -> "testnet"
+        Staging -> "staging"
+
+-- | Get the current target 'Network' from the Environment.
+--
+-- Throws a runtime exception is the ENV var isn't set or, is invalid.
+network :: Network
+network =
+    unsafeLookupEnv "NETWORK"
+{-# NOINLINE network #-}
+
+newtype ProtocolMagic = ProtocolMagic Int32
+    deriving (Generic, Show)
+
+-- | Get the 'ProtocolMagic' corresponding to a given 'Network'.
+protocolMagic :: Network -> ProtocolMagic
+protocolMagic = \case
+    Mainnet -> ProtocolMagic 764824073
+    Staging -> ProtocolMagic 633343913
+    Testnet -> ProtocolMagic 1097911063

lib/jormungandr/src/Cardano/Wallet/Binary/Jormungandr.hs

@@ -0,0 +1,14 @@
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE RankNTypes #-}
+
+-- |
+-- Copyright: © 2018-2019 IOHK
+-- License: MIT
+--
+-- The format is for the Shelley era as implemented by the Jörmungandr node.
+
+module Cardano.Wallet.Binary.Jormungandr
+    (
+    ) where
+
+

lib/jormungandr/src/Cardano/Wallet/Compatibility/Jormungandr.hs

@@ -0,0 +1,30 @@
+-- |
+-- Copyright: © 2018-2019 IOHK
+-- License: MIT
+--
+-- Contains various implementation decision that are specific to a particular
+-- network / protocol. This allows us to easily select a particular backend
+-- (Byron, Shelley-Rust, Shelley-Haskell) and isolate the bits that vary between
+-- those backends.
+
+module Cardano.Wallet.Compatibility.Jormungandr
+    ( -- * Target
+      Jormungandr
+    ) where
+
+import Prelude
+
+import Cardano.Wallet.Primitive.AddressDerivation
+    ( KeyToAddress (..) )
+import Cardano.Wallet.Primitive.Types
+    ( TxId (..) )
+
+-- | A type representing the Jormungandr as a network target. This has an
+-- influence on binary serializer & network primitives. See also 'TxId'
+data Jormungandr
+
+instance TxId Jormungandr where
+    txId = undefined
+
+instance KeyToAddress Jormungandr where
+    keyToAddress = undefined

lib/jormungandr/src/Cardano/Wallet/Transaction/Jormungandr.hs

@@ -0,0 +1,19 @@
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE RankNTypes #-}
+
+module Cardano.Wallet.Transaction.Jormungandr
+    ( newTransactionLayer
+    ) where
+
+import Prelude
+
+import Cardano.Wallet.Transaction
+    ( TransactionLayer (..) )
+
+
+-- | Construct a 'TransactionLayer' compatible with Shelley and 'Jörmungandr'
+newTransactionLayer :: TransactionLayer
+newTransactionLayer = TransactionLayer
+    { mkStdTx = error "TODO: See http-bridge as starting point"
+    , estimateSize = error "TODO: See http-bridge as starting point"
+    }