git.iko.soy/vty
on ffe6de2 help sign in
vty/test/VerifyImageTrans.hs
34 lines 1.6 kB history raw
1{-# LANGUAGE NamedFieldPuns #-}
2module VerifyImageTrans where
4import Verify.Graphics.Vty.Image
6import Graphics.Vty.Image.Internal
8import Verify
10import Data.Word
12is_horiz_text_of_columns :: Image -> Int -> Bool
13is_horiz_text_of_columns (HorizText { output_width = in_w }) expected_w = in_w == expected_w
14is_horiz_text_of_columns (BGFill { output_width = in_w }) expected_w = in_w == expected_w
15is_horiz_text_of_columns _image _expected_w = False
17verify_horiz_contat_wo_attr_change_simplifies :: SingleRowSingleAttrImage -> Bool
18verify_horiz_contat_wo_attr_change_simplifies (SingleRowSingleAttrImage _attr char_count image) =
19 is_horiz_text_of_columns image char_count
21verify_horiz_contat_w_attr_change_simplifies :: SingleRowTwoAttrImage -> Bool
22verify_horiz_contat_w_attr_change_simplifies ( SingleRowTwoAttrImage (SingleRowSingleAttrImage attr0 char_count0 _image0)
23 (SingleRowSingleAttrImage attr1 char_count1 _image1)
24 i
25 )
26 | char_count0 == 0 || char_count1 == 0 || attr0 == attr1 = is_horiz_text_of_columns i (char_count0 + char_count1)
27 | otherwise = False == is_horiz_text_of_columns i (char_count0 + char_count1)
29tests :: IO [Test]
30tests = return
31 [ verify "verify_horiz_contat_wo_attr_change_simplifies" verify_horiz_contat_wo_attr_change_simplifies
32 , verify "verify_horiz_contat_w_attr_change_simplifies" verify_horiz_contat_w_attr_change_simplifies
33 ]