1fcdf94 · vty · git.iko.soy

demos/Demo.hs−1

compare with master

unifiedsplit

@@ -1,5 +1,4 @@

1{-# LANGUAGE FlexibleContexts #-}

2−

3module Main where

2module Main where

4

3

5import Graphics.Vty

4import Graphics.Vty

src/Codec/Binary/UTF8/Debug.hs+1−2

@@ -1,7 +1,6 @@

1{-# OPTIONS_HADDOCK hide #-}

3−module Codec.Binary.UTF8.Debug

3+module Codec.Binary.UTF8.Debug where

4− where

5

4

6import Codec.Binary.UTF8.String ( encode )

5import Codec.Binary.UTF8.String ( encode )

7

6

src/Data/Terminfo/Eval.hs+6−6

@@ -8,12 +8,12 @@

8#defined MIN_VERSION_base(x,y,z) 1

9#endif

10

11−{- Evaluates the paramaterized terminfo string capability with the given

11+-- | Evaluates the paramaterized terminfo string capability with the

12− - parameters.

12+-- given parameters.

13− -

14− -}

15−module Data.Terminfo.Eval (writeCapExpr)

13+module Data.Terminfo.Eval

14+ ( writeCapExpr

15+ )

16− where

16+where

17

18import Blaze.ByteString.Builder.Word

19import Blaze.ByteString.Builder

src/Data/Terminfo/Parse.hs+5−4

@@ -9,10 +9,11 @@

9#defined MIN_VERSION_base(x,y,z) 1

10#endif

11

12−module Data.Terminfo.Parse ( module Data.Terminfo.Parse

12+module Data.Terminfo.Parse

13+ ( module Data.Terminfo.Parse

13− , Text.Parsec.ParseError

14+ , Text.Parsec.ParseError

14− )

15+ )

15− where

16+where

16

17

17import Control.Monad ( liftM )

18import Control.Monad ( liftM )

18import Control.DeepSeq

19import Control.DeepSeq

src/Graphics/Text/Width.hs+7−6

@@ -1,12 +1,13 @@

2{-# OPTIONS_GHC -D_XOPEN_SOURCE #-}

3{-# LANGUAGE ForeignFunctionInterface #-}

4−module Graphics.Text.Width ( wcwidth

4+module Graphics.Text.Width

5+ ( wcwidth

5− , wcswidth

6+ , wcswidth

6− , safeWcwidth

7+ , safeWcwidth

7− , safeWcswidth

8+ , safeWcswidth

8− )

9+ )

9− where

10+where

10

11

11foreign import ccall unsafe "vty_mk_wcwidth" wcwidth :: Char -> Int

12foreign import ccall unsafe "vty_mk_wcwidth" wcwidth :: Char -> Int

12

13

src/Graphics/Vty.hs+11−10

@@ -48,16 +48,17 @@

48-- - <http://www.unixwiz.net/techtips/termios-vmin-vtime.html>

49--

50-- - <http://vt100.net/docs/vt100-ug/chapter3.html vt100 control sequences>

51−module Graphics.Vty ( Vty(..)

51+module Graphics.Vty

52+ ( Vty(..)

52− , mkVty

53+ , mkVty

53− , module Graphics.Vty.Config

54+ , module Graphics.Vty.Config

54− , module Graphics.Vty.Input

55+ , module Graphics.Vty.Input

55− , module Graphics.Vty.Output

56+ , module Graphics.Vty.Output

56− , module Graphics.Vty.Picture

57+ , module Graphics.Vty.Picture

57− , DisplayRegion

58+ , DisplayRegion

58− , Mode(..)

59+ , Mode(..)

59− )

60+ )

60− where

61+where

61

62

62import Graphics.Vty.Prelude

63import Graphics.Vty.Prelude

63

64

src/Graphics/Vty/Attributes.hs+6−5

@@ -35,11 +35,12 @@

35-- output previously.

36--

37-- \todo This API is very verbose IMO. I'd like something more succinct.

38−module Graphics.Vty.Attributes ( module Graphics.Vty.Attributes

38+module Graphics.Vty.Attributes

39+ ( module Graphics.Vty.Attributes

39− , module Graphics.Vty.Attributes.Color

40+ , module Graphics.Vty.Attributes.Color

40− , module Graphics.Vty.Attributes.Color240

41+ , module Graphics.Vty.Attributes.Color240

41− )

42+ )

42− where

43+where

43

44

44import Data.Bits

45import Data.Bits

45import Data.Default

46import Data.Default

src/Graphics/Vty/Attributes/Color.hs+1

@@ -1,4 +1,5 @@

1module Graphics.Vty.Attributes.Color where

2+

2import Data.Word

3import Data.Word

3

4

4-- | Abstract data type representing a color.

5-- | Abstract data type representing a color.

src/Graphics/Vty/Attributes/Color240.hs+1−3

@@ -1,6 +1,4 @@

1−{-

2− - This header file was generated by ./256colres.pl

1+-- This header file was generated by ./256colres.pl

3− -}

4module Graphics.Vty.Attributes.Color240 where

2module Graphics.Vty.Attributes.Color240 where

5

3

6import Graphics.Vty.Attributes.Color

4import Graphics.Vty.Attributes.Color

src/Graphics/Vty/Config.hs+2−1

@@ -77,7 +77,8 @@ module Graphics.Vty.Config

77 , standardIOConfig

78 , runParseConfig

79 , parseConfigFile

80+ )

80− ) where

81+where

81

82

82#if __GLASGOW_HASKELL__ > 704

83#if __GLASGOW_HASKELL__ > 704

83import Prelude

84import Prelude

src/Graphics/Vty/Debug.hs+4−3

@@ -1,7 +1,8 @@

2−module Graphics.Vty.Debug ( module Graphics.Vty.Debug

2+module Graphics.Vty.Debug

3+ ( module Graphics.Vty.Debug

3− , module Graphics.Vty.Debug.Image

4+ , module Graphics.Vty.Debug.Image

4− )

5+ )

5where

6where

6

7

7import Graphics.Vty.Prelude

8import Graphics.Vty.Prelude

src/Graphics/Vty/DisplayAttributes.hs+1−2

@@ -6,8 +6,7 @@

6#defined MIN_VERSION_base(x,y,z) 1

7#endif

8

9−module Graphics.Vty.DisplayAttributes

9+module Graphics.Vty.DisplayAttributes where

10− where

11

10

12import Graphics.Vty.Attributes

11import Graphics.Vty.Attributes

13

12

src/Graphics/Vty/Error.hs+1−2

@@ -1,5 +1,4 @@

1−module Graphics.Vty.Error

1+module Graphics.Vty.Error where

2− where

3

2

4-- | The type of exceptions specific to vty.

3-- | The type of exceptions specific to vty.

5--

4--

src/Graphics/Vty/Image.hs+43−42

@@ -2,48 +2,49 @@

2{-# LANGUAGE BangPatterns #-}

3{-# LANGUAGE NamedFieldPuns #-}

4{-# LANGUAGE DisambiguateRecordFields #-}

5−module Graphics.Vty.Image ( DisplayText

5+module Graphics.Vty.Image

6+ ( DisplayText

6− , Image

7+ , Image

7− , imageWidth

8+ , imageWidth

8− , imageHeight

9+ , imageHeight

9− , horizJoin

10+ , horizJoin

10− , (<|>)

11+ , (<|>)

11− , vertJoin

12+ , vertJoin

12− , (<->)

13+ , (<->)

13− , horizCat

14+ , horizCat

14− , vertCat

15+ , vertCat

15− , backgroundFill

16+ , backgroundFill

16− , text

17+ , text

17− , text'

18+ , text'

18− , char

19+ , char

19− , string

20+ , string

20− , iso10646String

21+ , iso10646String

21− , utf8String

22+ , utf8String

22− , utf8Bytestring

23+ , utf8Bytestring

23− , utf8Bytestring'

24+ , utf8Bytestring'

24− , charFill

25+ , charFill

25− , emptyImage

26+ , emptyImage

26− , safeWcwidth

27+ , safeWcwidth

27− , safeWcswidth

28+ , safeWcswidth

28− , wcwidth

29+ , wcwidth

29− , wcswidth

30+ , wcswidth

30− , crop

31+ , crop

31− , cropRight

32+ , cropRight

32− , cropLeft

33+ , cropLeft

33− , cropBottom

34+ , cropBottom

34− , cropTop

35+ , cropTop

35− , pad

36+ , pad

36− , resize

37+ , resize

37− , resizeWidth

38+ , resizeWidth

38− , resizeHeight

39+ , resizeHeight

39− , translate

40+ , translate

40− , translateX

41+ , translateX

41− , translateY

42+ , translateY

42− -- | The possible display attributes used in

43+ -- | The possible display attributes used in

43− -- constructing an `Image`.

44+ -- constructing an `Image`.

44− , module Graphics.Vty.Attributes

45+ , module Graphics.Vty.Attributes

45− )

46+ )

46− where

47+where

47

48

48import Graphics.Vty.Attributes

49import Graphics.Vty.Attributes

49import Graphics.Vty.Image.Internal

50import Graphics.Vty.Image.Internal

src/Graphics/Vty/Inline.hs+12−11

@@ -1,3 +1,10 @@

1+{-# LANGUAGE CPP #-}

2+{-# LANGUAGE BangPatterns #-}

3+

4+#ifndef MIN_VERSION_base

5+#defined MIN_VERSION_base(x,y,z) 1

6+#endif

7+

1-- | The inline module provides a limited interface to changing the

8-- | The inline module provides a limited interface to changing the

2-- style of terminal output. The intention is for this interface to be

9-- style of terminal output. The intention is for this interface to be

3-- used inline with other output systems.

10-- used inline with other output systems.

@@ -27,17 +34,11 @@

27-- different 'Handle' than 'putAttrChange'

34-- different 'Handle' than 'putAttrChange'

28--

35--

30−{-# LANGUAGE CPP #-}

31−{-# LANGUAGE BangPatterns #-}

32−

33−#ifndef MIN_VERSION_base

34−#defined MIN_VERSION_base(x,y,z) 1

35−#endif

36−

37−module Graphics.Vty.Inline ( module Graphics.Vty.Inline

37+module Graphics.Vty.Inline

38+ ( module Graphics.Vty.Inline

38− , withVty

39+ , withVty

39− )

40+ )

40− where

41+where

41

42

42import Graphics.Vty

43import Graphics.Vty

43import Graphics.Vty.DisplayAttributes

44import Graphics.Vty.DisplayAttributes

src/Graphics/Vty/Input.hs+9−8

@@ -142,14 +142,15 @@

142--

143-- In my experience this cannot resolve the issues without changes to

144-- the terminal emulator and device.

145−module Graphics.Vty.Input ( Key(..)

145+module Graphics.Vty.Input

146+ ( Key(..)

146− , Modifier(..)

147+ , Modifier(..)

147− , Button(..)

148+ , Button(..)

148− , Event(..)

149+ , Event(..)

149− , Input(..)

150+ , Input(..)

150− , inputForConfig

151+ , inputForConfig

151− )

152+ )

152− where

153+where

153

154

154import Graphics.Vty.Config

155import Graphics.Vty.Config

155import Graphics.Vty.Input.Events

156import Graphics.Vty.Input.Events

src/Graphics/Vty/Input/Classify.hs+4−3

@@ -5,9 +5,10 @@

5-- TODO: The ClassifyMap interface requires this code to always assure

6-- later entries override earlier.

7module Graphics.Vty.Input.Classify

8− ( classify

8+ ( classify

9− , KClass(..)

9+ , KClass(..)

10+ )

10− ) where

11+where

11

12

12import Graphics.Vty.Input.Events

13import Graphics.Vty.Input.Events

13import Graphics.Vty.Input.Mouse

14import Graphics.Vty.Input.Mouse

src/Graphics/Vty/Input/Classify/Parse.hs+8−7

@@ -1,13 +1,14 @@

1-- | This module provides a simple parser for parsing input event

2-- control sequences.

3module Graphics.Vty.Input.Classify.Parse

4− ( Parser

4+ ( Parser

5− , runParser

5+ , runParser

6− , failParse

6+ , failParse

7− , readInt

7+ , readInt

8− , readChar

8+ , readChar

9− , expectChar

9+ , expectChar

10+ )

10− ) where

11+where

11

12

12import Graphics.Vty.Input.Events

13import Graphics.Vty.Input.Events

13import Graphics.Vty.Input.Classify.Types

14import Graphics.Vty.Input.Classify.Types

src/Graphics/Vty/Input/Classify/Types.hs+3−2

@@ -1,8 +1,9 @@

1-- | This module exports the input classification type to avoid import

2-- cycles between other modules that need this.

3module Graphics.Vty.Input.Classify.Types

4− ( KClass(..)

4+ ( KClass(..)

5+ )

5− ) where

6+where

6

7

7import Graphics.Vty.Input.Events

8import Graphics.Vty.Input.Events

8

9

src/Graphics/Vty/Input/Mouse.hs+6−5

@@ -3,11 +3,12 @@

3--

4-- http://invisible-island.net/xterm/ctlseqs/ctlseqs.html#h2-Mouse-Tracking

5module Graphics.Vty.Input.Mouse

6− ( requestMouseEvents

6+ ( requestMouseEvents

7− , disableMouseEvents

7+ , disableMouseEvents

8− , isMouseEvent

8+ , isMouseEvent

9− , classifyMouseEvent

9+ , classifyMouseEvent

10+ )

10− ) where

11+where

11

12

12import Graphics.Vty.Input.Events

13import Graphics.Vty.Input.Events

13import Graphics.Vty.Input.Classify.Types

14import Graphics.Vty.Input.Classify.Types

src/Graphics/Vty/Input/Paste.hs+5−4

@@ -2,10 +2,11 @@

2--

3-- http://cirw.in/blog/bracketed-paste

4module Graphics.Vty.Input.Paste

5− ( parseBracketedPaste

5+ ( parseBracketedPaste

6− , bracketedPasteStarted

6+ , bracketedPasteStarted

7− , bracketedPasteFinished

7+ , bracketedPasteFinished

8+ )

8− ) where

9+where

9

10

10import qualified Data.ByteString.Char8 as BS8

11import qualified Data.ByteString.Char8 as BS8

11

12

src/Graphics/Vty/Output.hs+9−8

@@ -22,14 +22,15 @@

22-- interface suitable for xterm-like terminals. These are the terminals

23-- where TERM == xterm. This does use terminfo for as many control codes

24-- as possible.

25−module Graphics.Vty.Output ( module Graphics.Vty.Output

25+module Graphics.Vty.Output

26+ ( module Graphics.Vty.Output

26− , Output(..) -- \todo hide constructors

27+ , Output(..) -- \todo hide constructors

27− , AssumedState(..)

28+ , AssumedState(..)

28− , DisplayContext(..) -- \todo hide constructors

29+ , DisplayContext(..) -- \todo hide constructors

29− , outputPicture

30+ , outputPicture

30− , displayContext

31+ , displayContext

31− )

32+ )

32− where

33+where

33

34

34import Graphics.Vty.Prelude

35import Graphics.Vty.Prelude

35

36

src/Graphics/Vty/Output/Interface.hs+1−2

@@ -11,8 +11,7 @@

11#defined MIN_VERSION_base(x,y,z) 1

12#endif

13

14−module Graphics.Vty.Output.Interface

14+module Graphics.Vty.Output.Interface where

15−where

16

15

17import Graphics.Vty.Prelude

16import Graphics.Vty.Prelude

18

17

src/Graphics/Vty/Output/Mock.hs+5−2

@@ -4,8 +4,11 @@

4-- | This provides a mock terminal implementation that is nice for

5-- testing. This transforms the output operations to visible characters.

6-- Which is nice for some tests.

7−module Graphics.Vty.Output.Mock ( MockData, mockTerminal )

7+module Graphics.Vty.Output.Mock

8+ ( MockData

9+ , mockTerminal

10+ )

8− where

11+where

9

12

10import Graphics.Vty.Prelude

13import Graphics.Vty.Prelude

11

14

src/Graphics/Vty/Output/TerminfoBased.hs+4−2

@@ -15,8 +15,10 @@

15-- entirely based of the docs. Probably with some assumptions mixed in.

16--

17-- Copyright Corey O'Connor (coreyoconnor@gmail.com)

18−module Graphics.Vty.Output.TerminfoBased ( reserveTerminal )

18+module Graphics.Vty.Output.TerminfoBased

19+ ( reserveTerminal

20+ )

19− where

21+where

20

22

21import Graphics.Vty.Prelude

23import Graphics.Vty.Prelude

22

24

src/Graphics/Vty/Output/XTermColor.hs+4−2

@@ -5,8 +5,10 @@

5#endif

6

8−module Graphics.Vty.Output.XTermColor ( reserveTerminal )

8+module Graphics.Vty.Output.XTermColor

9+ ( reserveTerminal

10+ )

9− where

11+where

10

12

11import Graphics.Vty.Output.Interface

13import Graphics.Vty.Output.Interface

12import Graphics.Vty.Input.Mouse

14import Graphics.Vty.Input.Mouse

src/Graphics/Vty/Picture.hs+5−4

@@ -3,10 +3,11 @@

3-- terminal view.

4--

5-- A 'Picture' is a background paired with a layer of 'Image's.

6−module Graphics.Vty.Picture ( module Graphics.Vty.Picture

6+module Graphics.Vty.Picture

7+ ( module Graphics.Vty.Picture

7− , module Graphics.Vty.Image

8+ , module Graphics.Vty.Image

8− )

9+ )

9− where

10+where

10

11

11import Graphics.Vty.Image

12import Graphics.Vty.Image

12

13

src/Graphics/Vty/PictureToSpans.hs+1−2

@@ -10,8 +10,7 @@

10#defined MIN_VERSION_base(x,y,z) 1

11#endif

12

13−{- | Transforms an image into rows of operations.

13+-- | Transforms an image into rows of operations.

14− -}

15module Graphics.Vty.PictureToSpans where

14module Graphics.Vty.PictureToSpans where

16

15

17import Graphics.Vty.Prelude

16import Graphics.Vty.Prelude

src/Graphics/Vty/Prelude.hs+5−4

@@ -1,8 +1,9 @@

1-- | Prelude for Vty modules. Not particularly useful outside of Vty.

2−module Graphics.Vty.Prelude ( module Graphics.Vty.Prelude

2+module Graphics.Vty.Prelude

3+ ( module Graphics.Vty.Prelude

3− , module Control.Applicative

4+ , module Control.Applicative

4− , module Control.Monad

5+ , module Control.Monad

5− )

6+ )

6where

7where

7

8

8import Control.Applicative hiding ((<|>))

9import Control.Applicative hiding ((<|>))

src/Graphics/Vty/Span.hs+12−14

@@ -2,20 +2,18 @@

2{-# LANGUAGE BangPatterns #-}

3{-# LANGUAGE NamedFieldPuns #-}

4{-# LANGUAGE GADTs #-}

5−{- | A picture is translated into a sequences of state changes and

5+-- | A picture is translated into a sequences of state changes and

6− - character spans. State changes are currently limited to new attribute

6+-- character spans. State changes are currently limited to new attribute

7− - values. The attribute is applied to all following spans. Including

7+-- values. The attribute is applied to all following spans. Including

8− - spans of the next row. The nth element of the sequence represents the

8+-- spans of the next row. The nth element of the sequence represents the

9− - nth row (from top to bottom) of the picture to render.

9+-- nth row (from top to bottom) of the picture to render.

10− -

10+--

11− - A span op sequence will be defined for all rows and columns (and no

11+-- A span op sequence will be defined for all rows and columns (and no

12− - more) of the region provided with the picture to `spansForPic`.

12+-- more) of the region provided with the picture to `spansForPic`.

13− -

13+--

14− - todo: Partition attribute changes into multiple categories according

14+-- todo: Partition attribute changes into multiple categories according

15− - to the serialized representation of the various attributes.

15+-- to the serialized representation of the various attributes.

16− -}

17−module Graphics.Vty.Span

16+module Graphics.Vty.Span where

18− where

19

17

20import Graphics.Vty.Prelude

18import Graphics.Vty.Prelude

21

19

test/BenchRenderChar.hs+4−4

@@ -1,7 +1,7 @@

1−{- benchmarks composing images using the renderChar operation.

1+-- benchmarks composing images using the renderChar operation. This is

2− - This is what Yi uses in Yi.UI.Vty.drawText. Ideally a sequence of renderChar images horizontally

2+-- what Yi uses in Yi.UI.Vty.drawText. Ideally a sequence of renderChar

3− - composed should provide no worse performance than a fill render op.

3+-- images horizontally composed should provide no worse performance than

4− -}

4+-- a fill render op.

5module BenchRenderChar where

6

7import Graphics.Vty

test/HereDoc.hs+2−4

@@ -1,8 +1,7 @@

1{-# LANGUAGE QuasiQuotes #-}

2{-# LANGUAGE TemplateHaskell #-}

3−{- From http://www.reddit.com/r/haskell/comments/8ereh/a_here_document_syntax/

3+-- From http://www.reddit.com/r/haskell/comments/8ereh/a_here_document_syntax/

4− - copyright unknown?

4+-- copyright unknown?

5− -}

6module HereDoc (heredoc) where

5module HereDoc (heredoc) where

7

6

8import Language.Haskell.TH.Quote

7import Language.Haskell.TH.Quote

@@ -11,4 +10,3 @@ import Language.Haskell.TH.Lib

11

10

12heredoc :: QuasiQuoter

11heredoc :: QuasiQuoter

13heredoc = QuasiQuoter (litE . stringL) (litP . stringL) undefined undefined

12heredoc = QuasiQuoter (litE . stringL) (litP . stringL) undefined undefined

14−

test/Issue18.hs+1−2

@@ -1,5 +1,4 @@

1−module Main

1+module Main where

2− where

3

2

4import Graphics.Vty

3import Graphics.Vty

5import Graphics.Vty.Debug

4import Graphics.Vty.Debug

test/Test2.hs+1

@@ -1,4 +1,5 @@

1module Main where

2+

2import Graphics.Vty

3import Graphics.Vty

3

4

4main = do

5main = do

test/Verify.hs+18−17

@@ -7,23 +7,24 @@

7{-# LANGUAGE StandaloneDeriving #-}

8{-# LANGUAGE DisambiguateRecordFields #-}

9{-# LANGUAGE NamedFieldPuns #-}

10−module Verify ( module Verify

10+module Verify

11+ ( module Verify

11− , module Control.Applicative

12+ , module Control.Applicative

12− , module Control.DeepSeq

13+ , module Control.DeepSeq

13− , module Control.Exception

14+ , module Control.Exception

14− , module Control.Monad

15+ , module Control.Monad

15− , module Test.QuickCheck

16+ , module Test.QuickCheck

16− , module Test.QuickCheck.Modifiers

17+ , module Test.QuickCheck.Modifiers

17− , module Text.Printf

18+ , module Text.Printf

18− , succeeded

19+ , succeeded

19− , failed

20+ , failed

20− , monadicIO

21+ , monadicIO

21− , liftIO

22+ , liftIO

22− , liftBool

23+ , liftBool

23− , Test(..)

24+ , Test(..)

24− , Prop.Result(..)

25+ , Prop.Result(..)

25− )

26+ )

26− where

27+where

27

28

28import Control.Exception ( bracket, try, SomeException(..) )

29import Control.Exception ( bracket, try, SomeException(..) )

29

30

test/Verify/Data/Terminfo/Parse.hs+5−4

@@ -1,7 +1,8 @@

1−module Verify.Data.Terminfo.Parse ( module Verify.Data.Terminfo.Parse

1+module Verify.Data.Terminfo.Parse

2+ ( module Verify.Data.Terminfo.Parse

2− , module Data.Terminfo.Parse

3+ , module Data.Terminfo.Parse

3− )

4+ )

4− where

5+where

5

6

6import Data.Terminfo.Parse

7import Data.Terminfo.Parse

7import Data.Terminfo.Eval

8import Data.Terminfo.Eval

test/Verify/Graphics/Vty/Attributes.hs+5−4

@@ -1,7 +1,8 @@

1−module Verify.Graphics.Vty.Attributes ( module Verify.Graphics.Vty.Attributes

1+module Verify.Graphics.Vty.Attributes

2+ ( module Verify.Graphics.Vty.Attributes

2− , module Graphics.Vty.Attributes

3+ , module Graphics.Vty.Attributes

3− )

4+ )

4− where

5+where

5

6

6import Graphics.Vty.Attributes

7import Graphics.Vty.Attributes

7import Verify

8import Verify

test/Verify/Graphics/Vty/DisplayAttributes.hs+5−5

@@ -1,8 +1,8 @@

1−module Verify.Graphics.Vty.DisplayAttributes ( module Verify.Graphics.Vty.DisplayAttributes

1+module Verify.Graphics.Vty.DisplayAttributes

2+ ( module Verify.Graphics.Vty.DisplayAttributes

2− , module Graphics.Vty.DisplayAttributes

3+ , module Graphics.Vty.DisplayAttributes

3− )

4+ )

4− where

5+where

5

6

6import Graphics.Vty.DisplayAttributes

7import Graphics.Vty.DisplayAttributes

7import Verify

8import Verify

8−

test/Verify/Graphics/Vty/Image.hs+5−4

@@ -1,10 +1,11 @@

1{-# LANGUAGE BangPatterns #-}

2{-# LANGUAGE NamedFieldPuns #-}

3{-# LANGUAGE DisambiguateRecordFields #-}

4−module Verify.Graphics.Vty.Image ( module Verify.Graphics.Vty.Image

4+module Verify.Graphics.Vty.Image

5+ ( module Verify.Graphics.Vty.Image

5− , module Graphics.Vty.Image

6+ , module Graphics.Vty.Image

6− )

7+ )

7− where

8+where

8

9

9import Verify.Graphics.Vty.Attributes

10import Verify.Graphics.Vty.Attributes

10import Graphics.Vty.Image

11import Graphics.Vty.Image

test/Verify/Graphics/Vty/Picture.hs+5−4

@@ -1,8 +1,9 @@

1{-# LANGUAGE DisambiguateRecordFields #-}

2−module Verify.Graphics.Vty.Picture ( module Verify.Graphics.Vty.Picture

2+module Verify.Graphics.Vty.Picture

3+ ( module Verify.Graphics.Vty.Picture

3− , module Graphics.Vty.Picture

4+ , module Graphics.Vty.Picture

4− )

5+ )

5− where

6+where

6

7

7import Verify.Graphics.Vty.Prelude

8import Verify.Graphics.Vty.Prelude

8

9

test/Verify/Graphics/Vty/Prelude.hs+6−5

@@ -1,8 +1,9 @@

1−module Verify.Graphics.Vty.Prelude ( module Verify.Graphics.Vty.Prelude

1+module Verify.Graphics.Vty.Prelude

2+ ( module Verify.Graphics.Vty.Prelude

2− , module Graphics.Vty.Prelude

3+ , module Graphics.Vty.Prelude

3− , MockWindow(..)

4+ , MockWindow(..)

4− )

5+ )

5− where

6+where

6

7

7import Graphics.Vty.Prelude

8import Graphics.Vty.Prelude

8

9

test/Verify/Graphics/Vty/Span.hs+5−4

@@ -1,8 +1,9 @@

1{-# LANGUAGE FlexibleInstances #-}

2−module Verify.Graphics.Vty.Span ( module Verify.Graphics.Vty.Span

2+module Verify.Graphics.Vty.Span

3+ ( module Verify.Graphics.Vty.Span

3− , module Graphics.Vty.Span

4+ , module Graphics.Vty.Span

4− )

5+ )

5− where

6+where

6

7

7import Graphics.Vty.Debug

8import Graphics.Vty.Debug

8import Graphics.Vty.Span

9import Graphics.Vty.Span

test/VerifyOutput.hs+4−4

@@ -1,8 +1,8 @@

1−{- We setup the environment to envoke certain terminals of interest.

1+-- We setup the environment to envoke certain terminals of interest.

2− - This assumes appropriate definitions exist in the current environment

2+-- This assumes appropriate definitions exist in the current environment

3− - for the terminals of interest.

3+-- for the terminals of interest.

4− -}

5module VerifyOutput where

4module VerifyOutput where

5+

6import Verify

7

8import Graphics.Vty

test/VerifyUsingMockInput.hs+2−3

@@ -1,8 +1,7 @@

1{-# LANGUAGE MultiParamTypeClasses #-}

2{-# LANGUAGE FlexibleInstances #-}

3−{- Generate some input bytes and delays between blocks of input bytes.

3+-- Generate some input bytes and delays between blocks of input bytes.

4− - Verify the events produced are as expected.

4+-- Verify the events produced are as expected.

5− -}

6module Main where

5module Main where

7

6

8import Verify.Graphics.Vty.Output

7import Verify.Graphics.Vty.Output

test/VerifyUtf8Width.hs+1

@@ -1,4 +1,5 @@

1module VerifyUtf8Width where

2+

2import Verify

3import Verify

3

4

4import Graphics.Text.Width

5import Graphics.Text.Width

test/YiIssue264.hs+1

@@ -1,4 +1,5 @@

1module Main where

2+

2import Graphics.Vty

3import Graphics.Vty

3import Control.Exception

4import Control.Exception

4

5