formatting

src/Component/ApplyInputs/Machine.purs

@@ -67,7 +67,6 @@ data InputChoices
   | SpecificNotifyInput NotifyInput
   | AdvanceContract V1.Contract
 
-
 newtype AutoRun = AutoRun Boolean
 
 data State

src/Component/CreateContract/Machine.purs

@@ -133,7 +133,7 @@ step state action = do
       DefineRoleTokensSucceeded rolesConfig -> FetchingRequiredWalletContext { contract, tags, rolesConfig: Just rolesConfig, errors: Nothing }
       _ -> state
     FetchingRequiredWalletContext r@{ errors: Just _ } -> case action of
-      FetchRequiredWalletContext -> FetchingRequiredWalletContext $ r{ errors = Nothing }
+      FetchRequiredWalletContext -> FetchingRequiredWalletContext $ r { errors = Nothing }
       _ -> state
     FetchingRequiredWalletContext r -> case action of
       FetchRequiredWalletContextFailed error -> FetchingRequiredWalletContext $ r { errors = Just error }

src/Component/Types/ContractInfo.purs

@@ -83,8 +83,8 @@ fetchAppliedInputs serverURL transactionEndpoints = do
     Runtime.getResource' serverURL transactionEndpoint {} {}
 
   pure $ results `foldMapFlipped` case _ of
-    Left err -> V (Left [err])
-    Right ({ payload: { resource: Runtime.Tx { inputs, invalidBefore, invalidHereafter }}}) -> do
+    Left err -> V (Left [ err ])
+    Right ({ payload: { resource: Runtime.Tx { inputs, invalidBefore, invalidHereafter } } }) -> do
       let
         -- = NormalInput InputContent
         -- | MerkleizedInput InputContent String Contract
@@ -94,5 +94,5 @@ fetchAppliedInputs serverURL transactionEndpoints = do
         timeInterval = V1.TimeInterval (Instant.fromDateTime invalidBefore) (Instant.fromDateTime invalidHereafter)
       V $ Right $ case Array.uncons inputs of
         Just _ -> inputs <#> \input -> Just (inputToInputContent input) /\ timeInterval
-        Nothing -> [Nothing /\ timeInterval]
+        Nothing -> [ Nothing /\ timeInterval ]
 

src/Component/Widgets/Form.purs

@@ -212,7 +212,7 @@ addressInput
    . Monad builderM
   => MonadEffect validatorM
   => Row.Lacks "validator" props
-  => Row.Cons "validator" (AddressInputValidator validatorM) props ( validator :: AddressInputValidator validatorM | props)
+  => Row.Cons "validator" (AddressInputValidator validatorM) props (validator :: AddressInputValidator validatorM | props)
   => Defaults TextInputOptionalProps { validator :: AddressInputValidator validatorM | props } (TextInputProps validatorM (Maybe Bech32))
   => CardanoMultiplatformLib.Lib
   -> { | props }
@@ -224,6 +224,7 @@ addressInput cardanoMultiplatformLib props = do
       Just value -> liftEffect $ bech32FromString cardanoMultiplatformLib value >>= case _ of
         Nothing -> pure $ Left [ "Invalid bech32 address" ]
         Just bech32 -> pure $ Right $ Just bech32
+
     props' :: { validator :: AddressInputValidator validatorM | props }
     props' = Record.insert (Proxy :: Proxy "validator") validator props
   textInput props'

src/Component/Widgets/Modal.purs

@@ -95,8 +95,8 @@ mkModal = do
       -- other handler.
       onModalDialogClicked = handler stopPropagation (const $ pure unit)
 
-      modalClassName = "modal-dialog" <> if fullscreen
-        then " modal-fullscreen"
+      modalClassName = "modal-dialog" <>
+        if fullscreen then " modal-fullscreen"
         else case size of
           Small -> " modal-sm"
           Medium -> " modal-md"

src/Contrib/Data/DateTime/Instant.purs

@@ -15,8 +15,8 @@ import Partial.Unsafe (unsafeCrashWith)
 
 unsafeInstant :: Milliseconds -> Instant
 unsafeInstant t = case instant t of
-    Just i -> i
-    Nothing -> unsafeCrashWith $ "Contrib.Data.DateTime.Instant.unsafeInstant: invalid instant value:" <> unsafeStringify t
+  Just i -> i
+  Nothing -> unsafeCrashWith $ "Contrib.Data.DateTime.Instant.unsafeInstant: invalid instant value:" <> unsafeStringify t
 
 unsafeInstantFromInt :: Int -> Instant
 unsafeInstantFromInt = unsafeInstant <<< Milliseconds <<< Int.toNumber

src/Contrib/Polyform/FormSpecs/StatefulFormSpec.purs

@@ -45,7 +45,6 @@ type FormState st err =
   | st
   }
 
-
 type FieldInitialsRow r =
   ( name :: FieldId
   , initial :: Array String
@@ -147,7 +146,6 @@ toFormValidator name fieldValidator = do
       Array.head value
   UrlEncoded.fromValidator name validator'
 
-
 input
   :: forall a doc err m st
    . Monad m
@@ -202,4 +200,3 @@ multiSelect name initial err render touched validator = StatefulFormSpec
   , render
   }
 
-

src/Contrib/React/Basic/Hooks/UseMealyMachine.purs

@@ -40,7 +40,8 @@ useMealyMachine
   :: forall output state action
    . MealyMachineSpec state action output
   -> React.Hook
-      (UseMealyMachine state action output) (state /\ Maybe output /\ (action -> Effect Unit))
+       (UseMealyMachine state action output)
+       (state /\ Maybe output /\ (action -> Effect Unit))
 useMealyMachine { driver, initialState, step } = React.coerceHook React.do
   { state: { state, output }, version } /\ setState <- useVersionedState' { state: initialState, output: Nothing }
   stateRef <- useStateRef version state

src/Contrib/React/Basic/Hooks/UseMooreMachine.purs

@@ -46,14 +46,14 @@ useMooreMachine
   :: forall output state action
    . MooreMachineSpec state action output
   -> React.Hook
-      (UseMooreMachine state action output)
-      { state :: state
-      , output :: output
-      , applyAction :: action -> Effect Unit
-      -- If just after the reset in the handler you have to use `applyAction` then
-      -- you can use the returned value to do it.
-      , reset :: Maybe (MooreMachineSpec state action output) -> Effect (action -> Effect Unit)
-      }
+       (UseMooreMachine state action output)
+       { state :: state
+       , output :: output
+       , applyAction :: action -> Effect Unit
+       -- If just after the reset in the handler you have to use `applyAction` then
+       -- you can use the returned value to do it.
+       , reset :: Maybe (MooreMachineSpec state action output) -> Effect (action -> Effect Unit)
+       }
 useMooreMachine initialSpec = React.coerceHook React.do
   { state: spec, version: specVersion } /\ setSpec <- useVersionedState' initialSpec
   specRef <- useStateRef specVersion spec

src/Contrib/React/Basic/Hooks/UseStatefulFormSpec.purs

@@ -113,7 +113,7 @@ useStatefulFormSpec ({ spec: StatefulFormSpec { fields, validator }, onSubmit, v
 
   useEffect debouncedQuery do
     when (not <<< null $ touched) do
-      result /\ state' <- flip runStateT state $ (runValidator  validator) debouncedQuery
+      result /\ state' <- flip runStateT state $ (runValidator validator) debouncedQuery
       setInternalStatefulFormState state'
       setValidationResult $ Just (result /\ debouncedQuery)
     pure $ pure unit

src/Contrib/React/MarloweGraph.purs

@@ -38,7 +38,6 @@ executionPathIndicies = foldMap \(_ /\ path) -> do
     arr = Array.NonEmpty.toArray path <#> fst
   map branchIndex arr
 
-
 type Props = { contract :: V1.Contract, executionPath :: Opt ExecutionPath }
 
 -- { contract :: V1.Contract, path :: ExecutionPath }

src/Contrib/ReactBootstrap/DropdownButton.purs

@@ -25,44 +25,45 @@ import Unsafe.Coerce (unsafeCoerce)
 --     flip?: boolean;
 -- }
 
-
 -- Some not implemented placeholders
 
 type PropsFromToggle :: forall k. k -> k
 
-type PropsFromToggle r = ( | r)
+type PropsFromToggle r = (| r)
 
 foreign import data DropdownMenuVariant :: Type
 
 foreign import data RootCloseEvent :: Type
 
-rootCloseEvent ::
-  { click :: RootCloseEvent
-  , mousedown :: RootCloseEvent
-  }
+rootCloseEvent
+  :: { click :: RootCloseEvent
+     , mousedown :: RootCloseEvent
+     }
 rootCloseEvent =
   { click: unsafeCoerce "click"
   , mousedown: unsafeCoerce "mousedown"
   }
 
 type DropdownButtonProps r =
-  DropdownProps +
-    PropsFromToggle +
-    ( title :: JSX -- ReactNode
-    , menuRole :: Opt String
-    , renderMenuOnMount :: Opt Boolean
-    , rootCloseEvent :: Opt RootCloseEvent
-    , menuVariant :: Opt DropdownMenuVariant
-    , flip :: Opt Boolean
-    | r
-    )
+  DropdownProps
+    + PropsFromToggle
+    +
+      ( title :: JSX -- ReactNode
+      , menuRole :: Opt String
+      , renderMenuOnMount :: Opt Boolean
+      , rootCloseEvent :: Opt RootCloseEvent
+      , menuVariant :: Opt DropdownMenuVariant
+      , flip :: Opt Boolean
+      | r
+      )
 
 foreign import _DropdownButton :: ReactComponent { | DropdownButtonProps () }
 
 _internalDropdownButton
   :: forall props
    . NoProblem.Coerce { | props } { | DropdownButtonProps () }
-  => { | props } -> JSX
+  => { | props }
+  -> JSX
 _internalDropdownButton props = do
   let
     props' = NoProblem.coerce props
@@ -84,4 +85,3 @@ dropdownButton props children = do
     props' = Record.insert (Proxy :: Proxy "children") (toJSX children) props
   _internalDropdownButton props'
 
-

src/Contrib/ReactBootstrap/DropdownItem.purs

@@ -55,7 +55,8 @@ foreign import _DropdownItem :: ReactComponent { | DropdownItemProps () }
 _internalDropdownItem
   :: forall props
    . NoProblem.Coerce { | props } { | DropdownItemProps () }
-  => { | props } -> JSX
+  => { | props }
+  -> JSX
 _internalDropdownItem props = do
   let
     props' = NoProblem.coerce props

src/Contrib/ReactBootstrap/FormSpecBuilders/StatefulFormSpecBuilders.purs

@@ -73,7 +73,6 @@ import ReactBootstrap.Form.Control as Form.Control
 import Record as Record
 import Type.Prelude (Proxy(..))
 
-
 type StatefulBootstrapFormSpec validatorM st = StatefulFormSpec validatorM st (Array JSX) String
 
 fromStatlessFormSpec = FormSpecBuilder.hoistFormSpec liftStatelessFormSpec
@@ -121,7 +120,6 @@ dateTimeField
 dateTimeField possibleLabel possibleHelpText dateTimeValidator = do
   FormSpecBuilder.hoistFormSpec liftStatelessFormSpec $ StatelessFormSpecBuilders.dateTimeField possibleLabel possibleHelpText dateTimeValidator
 
-
 type MultiFieldIds = { multi :: FieldId, sub :: Array FieldId }
 
 -- multiField

src/Contrib/ReactBootstrap/FormSpecBuilders/StatlessFormSpecBuilders.purs

@@ -102,7 +102,6 @@ fieldValidity touched value errors = do
     isValid = Just [] == map fst errors
   { errors: errors', isInvalid, isValid }
 
-
 data FormControlSizing = FormControlSm | FormControlLg
 
 data LabelSpacing
@@ -336,7 +335,6 @@ textInput props = formSpecBuilderT do
       props'.validator
   pure form
 
-
 _validator = (Proxy :: Proxy "validator")
 _type = (Proxy :: Proxy "type")
 
@@ -667,7 +665,7 @@ textArea
 textArea props = formSpecBuilderT do
   name <- _genFieldId props'
   let
-    form ::StatelessBootstrapFormSpec validatorM Query a
+    form :: StatelessBootstrapFormSpec validatorM Query a
     form = StatelessFormSpec.input
       name
       props'.initial
@@ -966,8 +964,8 @@ booleanField props = do
       validator = liftFnEither case _ of
         "on" -> Right true
         _ -> Right false
-      booleanAsValue = if _
-        then "on"
+      booleanAsValue =
+        if _ then "on"
         else "off"
 
       initial = fromOpt false props'.initial
@@ -1012,10 +1010,10 @@ renderBooleanField { disabled, label: possibleLabel, layout, possibleHelpText, n
       MultiColumn spacing -> labelSpacingsToClasses spacing
       Inline -> { labelColClass: "", inputColClass: "" }
     label' = case NoProblem.toMaybe possibleLabel of
-        Nothing -> mempty
-        Just label -> if isInline layout
-          then DOM.label {} [ label ]
-          else DOM.label { className: "col-form-label-sm " <> labelColClass, htmlFor: nameStr } [ label ]
+      Nothing -> mempty
+      Just label ->
+        if isInline layout then DOM.label {} [ label ]
+        else DOM.label { className: "col-form-label-sm " <> labelColClass, htmlFor: nameStr } [ label ]
 
     body = do
       let
@@ -1027,21 +1025,21 @@ renderBooleanField { disabled, label: possibleLabel, layout, possibleHelpText, n
 
       DOM.div { className } $
         [ Form.check
-          { className: "min-h-1_2rem"
-          , disabled
-          , id: nameStr
-          , isValid
-          , isInvalid
-          , name: nameStr
-          , "type":
-              if switch then Check.checkType.switch
-              else Check.checkType.radio
-          , value: "on"
-          , checked
-          , onChange: handler_ do
-              onChange $ if checked then "off" else "on"
-          }
-          -- We should probably render this as `feedback` above when in `inline`
+            { className: "min-h-1_2rem"
+            , disabled
+            , id: nameStr
+            , isValid
+            , isInvalid
+            , name: nameStr
+            , "type":
+                if switch then Check.checkType.switch
+                else Check.checkType.radio
+            , value: "on"
+            , checked
+            , onChange: handler_ do
+                onChange $ if checked then "off" else "on"
+            }
+        -- We should probably render this as `feedback` above when in `inline`
         , helpText
         ]
 

src/Contrib/ReactBootstrap/Types.purs

@@ -29,7 +29,6 @@ dropDirection =
   , "down": unsafeCoerce "down"
   }
 
-
 -- export type AlignDirection = 'start' | 'end';
 -- export type ResponsiveAlignProp = {
 --     sm: AlignDirection;

src/Main.purs

@@ -67,8 +67,8 @@ main configJson = do
     -- FIXME: Slotting numbers have to be provided by Marlowe Runtime
     slotting =
       case config.network of
-        "mainnet" -> Slotting { slotLength: BigInt.fromInt 1000 , slotZeroTime: unsafePartial $ fromJust $ BigInt.fromString "1591566291000" }
-        _ -> Slotting { slotLength: BigInt.fromInt 1000 , slotZeroTime: unsafePartial $ fromJust $ BigInt.fromString "1666656000000" }
+        "mainnet" -> Slotting { slotLength: BigInt.fromInt 1000, slotZeroTime: unsafePartial $ fromJust $ BigInt.fromString "1591566291000" }
+        _ -> Slotting { slotLength: BigInt.fromInt 1000, slotZeroTime: unsafePartial $ fromJust $ BigInt.fromString "1666656000000" }
 
   doc :: HTMLDocument <- document =<< window
   container :: Element <- maybe (throw "Could not find element with id 'app-root'") pure =<<