Test.hs

-- | Test something with an in-memory acid-state
acidTest :: forall state event query result.
         (IsAcidic state, UpdateEvent event, MethodState event ~ state,
          QueryEvent query, MethodState query ~ state,
          MethodResult query ~ result)
         => String           -- ^ Test description
         -> state            -- ^ Initial state for test
         -> event            -- ^ Event to test
         -> query            -- ^ Query to check
         -> (result -> Bool) -- ^ Function to test query result
         -> Assertion
acidTest desc initialState event query' checker = do
    state <- openMemoryState initialState
    update state event
    result <- query state query'
    assertBool desc $ checker result