mirror of
https://github.com/ilyakooo0/vty.git
synced 2024-11-30 02:13:36 +03:00
28 lines
580 B
Haskell
28 lines
580 B
Haskell
module Verify.Graphics.Vty.Prelude
|
|
( module Verify.Graphics.Vty.Prelude
|
|
, module Graphics.Vty.Prelude
|
|
, MockWindow(..)
|
|
)
|
|
where
|
|
|
|
import Graphics.Vty.Prelude
|
|
|
|
import Graphics.Vty.Debug
|
|
|
|
import Verify
|
|
|
|
data EmptyWindow = EmptyWindow MockWindow
|
|
|
|
instance Arbitrary EmptyWindow where
|
|
arbitrary = return $ EmptyWindow (MockWindow (0 :: Int) (0 :: Int))
|
|
|
|
instance Show EmptyWindow where
|
|
show (EmptyWindow _) = "EmptyWindow"
|
|
|
|
instance Arbitrary MockWindow where
|
|
arbitrary = do
|
|
w <- choose (1,1024)
|
|
h <- choose (1,1024)
|
|
return $ MockWindow w h
|
|
|