Skip to content

Commit

Permalink
Fix typo
Browse files Browse the repository at this point in the history
  • Loading branch information
jhbertra committed Jun 2, 2023
1 parent 6123132 commit 625cf4f
Showing 1 changed file with 15 additions and 15 deletions.
30 changes: 15 additions & 15 deletions marlowe-runtime/contract/Language/Marlowe/Runtime/Contract/Store.hs
Expand Up @@ -10,27 +10,27 @@ import Data.Set (Set)
import Data.Void (Void)
import Language.Marlowe.Core.V1.Semantics.Types (Contract, Input, InputContent, State, TimeInterval)
import Language.Marlowe.Runtime.ChainSync.Api (DatumHash)
import Language.Marlowe.Runtime.Contract.Api (ContractWithAdjacency, MerkleizedInputsError)
import Language.Marlowe.Runtime.Contract.Api (ContractWithAdjacency, MerkleizeInputsError)
import Observe.Event (InjectSelector, addField, injectSelector, reference)
import Observe.Event.Backend (setInitialCauseEventBackend)

data ContractStoreSelector f where
CreateContractStagingArea :: ContractStoreSelector Void
ContractStagingAreaSelector :: ContractStagingAreaSelector f -> ContractStoreSelector f
GetContract :: DatumHash -> ContractStoreSelector ContractWithAdjacency
MerkleizedInputs :: ContractStoreSelector MerkleizedInputsField
MerkleizeInputs :: ContractStoreSelector MerkleizeInputsField

data MerkleizedInputsField
= MerkleizedInputsContractHash DatumHash
| MerkleizedInputsState State
| MerkleizedInputsInterval TimeInterval
| MerkleizedInputsInputs [InputContent]
| MerkleizedInputsResult (Either MerkleizedInputsError [Input])
data MerkleizeInputsField
= MerkleizeInputsContractHash DatumHash
| MerkleizeInputsState State
| MerkleizeInputsInterval TimeInterval
| MerkleizeInputsInputs [InputContent]
| MerkleizeInputsResult (Either MerkleizeInputsError [Input])

data ContractStore m = ContractStore
{ createContractStagingArea :: m (ContractStagingArea m)
, getContract :: DatumHash -> m (Maybe ContractWithAdjacency)
, merkleizeInputs :: DatumHash -> State -> TimeInterval -> [InputContent] -> m (Either MerkleizedInputsError [Input])
, merkleizeInputs :: DatumHash -> State -> TimeInterval -> [InputContent] -> m (Either MerkleizeInputsError [Input])
}

hoistContractStore
Expand Down Expand Up @@ -58,13 +58,13 @@ traceContractStore inj ContractStore{..} = ContractStore
result <- getContract hash
traverse_ (addField ev) result
pure result
, merkleizeInputs = \hash state interval inputs -> withInjectEvent inj MerkleizedInputs \ev -> do
addField ev $ MerkleizedInputsContractHash hash
addField ev $ MerkleizedInputsState state
addField ev $ MerkleizedInputsInterval interval
addField ev $ MerkleizedInputsInputs inputs
, merkleizeInputs = \hash state interval inputs -> withInjectEvent inj MerkleizeInputs \ev -> do
addField ev $ MerkleizeInputsContractHash hash
addField ev $ MerkleizeInputsState state
addField ev $ MerkleizeInputsInterval interval
addField ev $ MerkleizeInputsInputs inputs
result <- merkleizeInputs hash state interval inputs
addField ev $ MerkleizedInputsResult result
addField ev $ MerkleizeInputsResult result
pure result
}

Expand Down

0 comments on commit 625cf4f

Please sign in to comment.