@@ -6,6 +6,7 @@ module VerifyUsingMockInput where
66import Verify
77
88import Graphics.Vty
9+import Graphics.Vty.Input.Data
910
1011import Control.Concurrent
1112import Control.Monad
@@ -33,6 +34,16 @@ assert_events_from_IO_reads input events = undefined
3334assert_events_from_input_block :: InputSpec -> ExpectedSpec -> Result
3435assert_events_from_input_block input events = undefined
3536
37+verify_ansi_table_input_block_to_event :: Gen Result
38+verify_ansi_table_input_block_to_event = do
39+ Positive block_length <- arbitrary
40+ block_event_pairs <- vectorOf block_length $ elements $ concat ansi_classify_table
41+ let input = [Bytes $ concatMap fst block_event_pairs]
42+ events = map (\(k,ms) -> EvKey k ms) $ map snd block_event_pairs
43+ return $ assert_events_from_input_block input events
44+
3645tests :: IO [Test]
37−tests = return []
46+tests = return
47+ [ verify "basic input block to event translation" verify_ansi_table_input_block_to_event
48+ ]
3849