Add generated files to git

marlowe-dashboard-client/generated/Auth.purs

@@ -0,0 +1,98 @@
+-- File auto generated by purescript-bridge! --
+module Auth where
+
+import Prelude
+
+import Control.Lazy (defer)
+import Data.Argonaut.Core (jsonNull)
+import Data.Argonaut.Decode (class DecodeJson)
+import Data.Argonaut.Decode.Aeson ((</$\>), (</*\>), (</\>))
+import Data.Argonaut.Decode.Aeson as D
+import Data.Argonaut.Encode (class EncodeJson, encodeJson)
+import Data.Argonaut.Encode.Aeson ((>$<), (>/\<))
+import Data.Argonaut.Encode.Aeson as E
+import Data.Bounded.Generic (genericBottom, genericTop)
+import Data.Enum (class Enum)
+import Data.Enum.Generic (genericPred, genericSucc)
+import Data.Generic.Rep (class Generic)
+import Data.Lens (Iso', Lens', Prism', iso, prism')
+import Data.Lens.Iso.Newtype (_Newtype)
+import Data.Lens.Record (prop)
+import Data.Map as Map
+import Data.Maybe (Maybe(..))
+import Data.Newtype (class Newtype, unwrap)
+import Data.Show.Generic (genericShow)
+import Data.Tuple.Nested ((/\))
+import Type.Proxy (Proxy(Proxy))
+
+newtype AuthStatus = AuthStatus { _authStatusAuthRole :: AuthRole }
+
+derive instance eqAuthStatus :: Eq AuthStatus
+
+instance showAuthStatus :: Show AuthStatus where
+  show a = genericShow a
+
+instance encodeJsonAuthStatus :: EncodeJson AuthStatus where
+  encodeJson = defer \_ -> E.encode $ unwrap >$<
+    ( E.record
+        { _authStatusAuthRole: E.value :: _ AuthRole }
+    )
+
+instance decodeJsonAuthStatus :: DecodeJson AuthStatus where
+  decodeJson = defer \_ -> D.decode $
+    ( AuthStatus <$> D.record "AuthStatus"
+        { _authStatusAuthRole: D.value :: _ AuthRole }
+    )
+
+derive instance genericAuthStatus :: Generic AuthStatus _
+
+derive instance newtypeAuthStatus :: Newtype AuthStatus _
+
+--------------------------------------------------------------------------------
+
+_AuthStatus :: Iso' AuthStatus { _authStatusAuthRole :: AuthRole }
+_AuthStatus = _Newtype
+
+authStatusAuthRole :: Lens' AuthStatus AuthRole
+authStatusAuthRole = _Newtype <<< prop (Proxy :: _ "_authStatusAuthRole")
+
+--------------------------------------------------------------------------------
+
+data AuthRole
+  = Anonymous
+  | GithubUser
+
+derive instance eqAuthRole :: Eq AuthRole
+
+derive instance ordAuthRole :: Ord AuthRole
+
+instance showAuthRole :: Show AuthRole where
+  show a = genericShow a
+
+instance encodeJsonAuthRole :: EncodeJson AuthRole where
+  encodeJson = defer \_ -> E.encode E.enum
+
+instance decodeJsonAuthRole :: DecodeJson AuthRole where
+  decodeJson = defer \_ -> D.decode D.enum
+
+derive instance genericAuthRole :: Generic AuthRole _
+
+instance enumAuthRole :: Enum AuthRole where
+  succ = genericSucc
+  pred = genericPred
+
+instance boundedAuthRole :: Bounded AuthRole where
+  bottom = genericBottom
+  top = genericTop
+
+--------------------------------------------------------------------------------
+
+_Anonymous :: Prism' AuthRole Unit
+_Anonymous = prism' (const Anonymous) case _ of
+  Anonymous -> Just unit
+  _ -> Nothing
+
+_GithubUser :: Prism' AuthRole Unit
+_GithubUser = prism' (const GithubUser) case _ of
+  GithubUser -> Just unit
+  _ -> Nothing

marlowe-dashboard-client/generated/Cardano/Wallet/Mock/Types.purs

@@ -0,0 +1,59 @@
+-- File auto generated by purescript-bridge! --
+module Cardano.Wallet.Mock.Types where
+
+import Prelude
+
+import Control.Lazy (defer)
+import Data.Argonaut.Core (jsonNull)
+import Data.Argonaut.Decode (class DecodeJson)
+import Data.Argonaut.Decode.Aeson ((</$\>), (</*\>), (</\>))
+import Data.Argonaut.Decode.Aeson as D
+import Data.Argonaut.Encode (class EncodeJson, encodeJson)
+import Data.Argonaut.Encode.Aeson ((>$<), (>/\<))
+import Data.Argonaut.Encode.Aeson as E
+import Data.Generic.Rep (class Generic)
+import Data.Lens (Iso', Lens', Prism', iso, prism')
+import Data.Lens.Iso.Newtype (_Newtype)
+import Data.Lens.Record (prop)
+import Data.Map as Map
+import Data.Maybe (Maybe(..))
+import Data.Newtype (class Newtype, unwrap)
+import Data.Show.Generic (genericShow)
+import Data.Tuple.Nested ((/\))
+import Plutus.V1.Ledger.Crypto (PubKeyHash)
+import Type.Proxy (Proxy(Proxy))
+import Wallet.Emulator.Wallet (Wallet)
+
+newtype WalletInfo = WalletInfo
+  { wiWallet :: Wallet
+  , wiPubKeyHash :: PubKeyHash
+  }
+
+instance showWalletInfo :: Show WalletInfo where
+  show a = genericShow a
+
+instance encodeJsonWalletInfo :: EncodeJson WalletInfo where
+  encodeJson = defer \_ -> E.encode $ unwrap >$<
+    ( E.record
+        { wiWallet: E.value :: _ Wallet
+        , wiPubKeyHash: E.value :: _ PubKeyHash
+        }
+    )
+
+instance decodeJsonWalletInfo :: DecodeJson WalletInfo where
+  decodeJson = defer \_ -> D.decode $
+    ( WalletInfo <$> D.record "WalletInfo"
+        { wiWallet: D.value :: _ Wallet
+        , wiPubKeyHash: D.value :: _ PubKeyHash
+        }
+    )
+
+derive instance genericWalletInfo :: Generic WalletInfo _
+
+derive instance newtypeWalletInfo :: Newtype WalletInfo _
+
+--------------------------------------------------------------------------------
+
+_WalletInfo :: Iso' WalletInfo
+  { wiWallet :: Wallet, wiPubKeyHash :: PubKeyHash }
+_WalletInfo = _Newtype

marlowe-dashboard-client/generated/Control/Monad/Freer/Extras/Beam.purs

@@ -0,0 +1,69 @@
+-- File auto generated by purescript-bridge! --
+module Control.Monad.Freer.Extras.Beam where
+
+import Prelude
+
+import Control.Lazy (defer)
+import Data.Argonaut.Core (jsonNull)
+import Data.Argonaut.Decode (class DecodeJson)
+import Data.Argonaut.Decode.Aeson ((</$\>), (</*\>), (</\>))
+import Data.Argonaut.Decode.Aeson as D
+import Data.Argonaut.Encode (class EncodeJson, encodeJson)
+import Data.Argonaut.Encode.Aeson ((>$<), (>/\<))
+import Data.Argonaut.Encode.Aeson as E
+import Data.Generic.Rep (class Generic)
+import Data.Lens (Iso', Lens', Prism', iso, prism')
+import Data.Lens.Iso.Newtype (_Newtype)
+import Data.Lens.Record (prop)
+import Data.Map as Map
+import Data.Maybe (Maybe(..))
+import Data.Newtype (class Newtype, unwrap)
+import Data.Show.Generic (genericShow)
+import Data.Tuple.Nested ((/\))
+import Type.Proxy (Proxy(Proxy))
+
+newtype BeamError = SqlError String
+
+derive instance eqBeamError :: Eq BeamError
+
+instance showBeamError :: Show BeamError where
+  show a = genericShow a
+
+instance encodeJsonBeamError :: EncodeJson BeamError where
+  encodeJson = defer \_ -> E.encode $ unwrap >$< E.value
+
+instance decodeJsonBeamError :: DecodeJson BeamError where
+  decodeJson = defer \_ -> D.decode $ (SqlError <$> D.value)
+
+derive instance genericBeamError :: Generic BeamError _
+
+derive instance newtypeBeamError :: Newtype BeamError _
+
+--------------------------------------------------------------------------------
+
+_SqlError :: Iso' BeamError String
+_SqlError = _Newtype
+
+--------------------------------------------------------------------------------
+
+newtype BeamLog = SqlLog String
+
+derive instance eqBeamLog :: Eq BeamLog
+
+instance showBeamLog :: Show BeamLog where
+  show a = genericShow a
+
+instance encodeJsonBeamLog :: EncodeJson BeamLog where
+  encodeJson = defer \_ -> E.encode $ unwrap >$< E.value
+
+instance decodeJsonBeamLog :: DecodeJson BeamLog where
+  decodeJson = defer \_ -> D.decode $ (SqlLog <$> D.value)
+
+derive instance genericBeamLog :: Generic BeamLog _
+
+derive instance newtypeBeamLog :: Newtype BeamLog _
+
+--------------------------------------------------------------------------------
+
+_SqlLog :: Iso' BeamLog String
+_SqlLog = _Newtype

marlowe-dashboard-client/generated/Control/Monad/Freer/Extras/Log.purs

@@ -0,0 +1,146 @@
+-- File auto generated by purescript-bridge! --
+module Control.Monad.Freer.Extras.Log where
+
+import Prelude
+
+import Control.Lazy (defer)
+import Data.Argonaut.Core (jsonNull)
+import Data.Argonaut.Decode (class DecodeJson)
+import Data.Argonaut.Decode.Aeson ((</$\>), (</*\>), (</\>))
+import Data.Argonaut.Decode.Aeson as D
+import Data.Argonaut.Encode (class EncodeJson, encodeJson)
+import Data.Argonaut.Encode.Aeson ((>$<), (>/\<))
+import Data.Argonaut.Encode.Aeson as E
+import Data.Bounded.Generic (genericBottom, genericTop)
+import Data.Enum (class Enum)
+import Data.Enum.Generic (genericPred, genericSucc)
+import Data.Generic.Rep (class Generic)
+import Data.Lens (Iso', Lens', Prism', iso, prism')
+import Data.Lens.Iso.Newtype (_Newtype)
+import Data.Lens.Record (prop)
+import Data.Map as Map
+import Data.Maybe (Maybe(..))
+import Data.Newtype (class Newtype, unwrap)
+import Data.Show.Generic (genericShow)
+import Data.Tuple.Nested ((/\))
+import Type.Proxy (Proxy(Proxy))
+
+newtype LogMessage a = LogMessage
+  { _logLevel :: LogLevel
+  , _logMessageContent :: a
+  }
+
+derive instance eqLogMessage :: (Eq a) => Eq (LogMessage a)
+
+instance showLogMessage :: (Show a) => Show (LogMessage a) where
+  show a = genericShow a
+
+instance encodeJsonLogMessage :: (EncodeJson a) => EncodeJson (LogMessage a) where
+  encodeJson = defer \_ -> E.encode $ unwrap >$<
+    ( E.record
+        { _logLevel: E.value :: _ LogLevel
+        , _logMessageContent: E.value :: _ a
+        }
+    )
+
+instance decodeJsonLogMessage :: (DecodeJson a) => DecodeJson (LogMessage a) where
+  decodeJson = defer \_ -> D.decode $
+    ( LogMessage <$> D.record "LogMessage"
+        { _logLevel: D.value :: _ LogLevel
+        , _logMessageContent: D.value :: _ a
+        }
+    )
+
+derive instance genericLogMessage :: Generic (LogMessage a) _
+
+derive instance newtypeLogMessage :: Newtype (LogMessage a) _
+
+--------------------------------------------------------------------------------
+
+_LogMessage
+  :: forall a
+   . Iso' (LogMessage a) { _logLevel :: LogLevel, _logMessageContent :: a }
+_LogMessage = _Newtype
+
+logLevel :: forall a. Lens' (LogMessage a) LogLevel
+logLevel = _Newtype <<< prop (Proxy :: _ "_logLevel")
+
+logMessageContent :: forall a. Lens' (LogMessage a) a
+logMessageContent = _Newtype <<< prop (Proxy :: _ "_logMessageContent")
+
+--------------------------------------------------------------------------------
+
+data LogLevel
+  = Debug
+  | Info
+  | Notice
+  | Warning
+  | Error
+  | Critical
+  | Alert
+  | Emergency
+
+derive instance eqLogLevel :: Eq LogLevel
+
+derive instance ordLogLevel :: Ord LogLevel
+
+instance showLogLevel :: Show LogLevel where
+  show a = genericShow a
+
+instance encodeJsonLogLevel :: EncodeJson LogLevel where
+  encodeJson = defer \_ -> E.encode E.enum
+
+instance decodeJsonLogLevel :: DecodeJson LogLevel where
+  decodeJson = defer \_ -> D.decode D.enum
+
+derive instance genericLogLevel :: Generic LogLevel _
+
+instance enumLogLevel :: Enum LogLevel where
+  succ = genericSucc
+  pred = genericPred
+
+instance boundedLogLevel :: Bounded LogLevel where
+  bottom = genericBottom
+  top = genericTop
+
+--------------------------------------------------------------------------------
+
+_Debug :: Prism' LogLevel Unit
+_Debug = prism' (const Debug) case _ of
+  Debug -> Just unit
+  _ -> Nothing
+
+_Info :: Prism' LogLevel Unit
+_Info = prism' (const Info) case _ of
+  Info -> Just unit
+  _ -> Nothing
+
+_Notice :: Prism' LogLevel Unit
+_Notice = prism' (const Notice) case _ of
+  Notice -> Just unit
+  _ -> Nothing
+
+_Warning :: Prism' LogLevel Unit
+_Warning = prism' (const Warning) case _ of
+  Warning -> Just unit
+  _ -> Nothing
+
+_Error :: Prism' LogLevel Unit
+_Error = prism' (const Error) case _ of
+  Error -> Just unit
+  _ -> Nothing
+
+_Critical :: Prism' LogLevel Unit
+_Critical = prism' (const Critical) case _ of
+  Critical -> Just unit
+  _ -> Nothing
+
+_Alert :: Prism' LogLevel Unit
+_Alert = prism' (const Alert) case _ of
+  Alert -> Just unit
+  _ -> Nothing
+
+_Emergency :: Prism' LogLevel Unit
+_Emergency = prism' (const Emergency) case _ of
+  Emergency -> Just unit
+  _ -> Nothing