mirror of
https://github.com/ilyakooo0/vty.git
synced 2024-10-04 19:27:08 +03:00
82fd9c4538
Ignore-this: 69cf0259898de9ab296861ab26630460 darcs-hash:20091109053436-f0a0d-0e2ae084dd91d09216d494a2aa84958ac71ef2f7.gz
51 lines
1.6 KiB
Haskell
51 lines
1.6 KiB
Haskell
{-# LANGUAGE DisambiguateRecordFields #-}
|
|
module Verify.Graphics.Vty.Picture ( module Verify.Graphics.Vty.Picture
|
|
, module Graphics.Vty.Picture
|
|
)
|
|
where
|
|
|
|
import Graphics.Vty.Picture
|
|
import Graphics.Vty.Debug
|
|
|
|
import Verify.Graphics.Vty.Attributes
|
|
import Verify.Graphics.Vty.Image
|
|
import Verify.Graphics.Vty.DisplayRegion
|
|
|
|
import Verify
|
|
|
|
data DefaultPic = DefaultPic
|
|
{ default_pic :: Picture
|
|
, default_win :: DebugWindow
|
|
, default_construct_log :: ImageConstructLog
|
|
}
|
|
|
|
instance Show DefaultPic where
|
|
show (DefaultPic pic win image_log)
|
|
= "DefaultPic\n\t( " ++ show pic ++ ")\n\t" ++ show win ++ "\n\t" ++ show image_log ++ "\n"
|
|
|
|
instance Arbitrary DefaultPic where
|
|
arbitrary = do
|
|
DefaultImage image image_construct_events <- arbitrary
|
|
let win = DebugWindow (image_width image) (image_height image)
|
|
return $ DefaultPic (pic_for_image image)
|
|
win
|
|
image_construct_events
|
|
|
|
data PicWithBGAttr = PicWithBGAttr
|
|
{ with_attr_pic :: Picture
|
|
, with_attr_win :: DebugWindow
|
|
, with_attr_construct_log :: ImageConstructLog
|
|
, with_attr_specified_attr :: Attr
|
|
} deriving ( Show )
|
|
|
|
instance Arbitrary PicWithBGAttr where
|
|
arbitrary = do
|
|
DefaultImage image image_construct_events <- arbitrary
|
|
let win = DebugWindow (image_width image) (image_height image)
|
|
attr <- arbitrary
|
|
return $ PicWithBGAttr (pic_for_image image)
|
|
win
|
|
image_construct_events
|
|
attr
|
|
|