Module Test.QuickCheckText

Imports

• import Data.Monoid as Monoid
• import frege.Prelude as Prelude
• import Prelude.PreludeArrays as PreludeArrays
• import Prelude.PreludeBase as PreludeBase
• import Prelude.PreludeDecimal as PreludeDecimal
• import Prelude.PreludeIO as PreludeIO
• import Prelude.PreludeList as PreludeList
• import Prelude.PreludeMonad as PreludeMonad
• import Prelude.PreludeText as PreludeText
• import Java.util.Regex as Regexp

Table of Content

• Definitions

  type Handle = Mutable RealWorld PrintWriter

  data Output

  data Str

  data Terminal

  ranges ∷ (Show a, Integral a) ⇒ a → a → Str

  number ∷ Int → String → String

  kurz ∷ Int → String → String

  showErr ∷ Show a ⇒ a → String

  oneLine ∷ String → String

  isOneLine ∷ String → Bool

  bold ∷ String → String

  newTerminal ∷ Output → Output → IO Terminal

  withBuffering ∷ IO a → IO a

  withStdioTerminal ∷ (Terminal → IO a) → IO a

  withNullTerminal ∷ (Terminal → IO a) → IO a

  terminalOutput ∷ Terminal → IO String

  handle ∷ Handle → String → IO ()

  output ∷ (String → IO ()) → IO Output

  put ∷ Output → String → IO ()

  get ∷ Output → IO String

  flush ∷ Terminal → IO ()

  postpone ∷ Terminal → IO () → IO ()

  putPart ∷ Terminal → String → IO ()

  putTemp ∷ Terminal → String → IO ()

  putLine ∷ Terminal → String → IO ()

• Re-Exported Items

  flush ∷ MutableIO Flushable → IO ()   throws IOException

  print ∷ Handle → String → IO () 

• Instances

  instance Show Str

• Functions and Values by Type

Definitions

data Str

• ----------------------------------------------------------------------

Constructors

MkStr (String)

ranges ∷ (Show a, Integral a) ⇒ a → a → Str

number ∷ Int → String → String

• ----------------------------------------------------------------------

kurz ∷ Int → String → String

showErr ∷ Show a ⇒ a → String

oneLine ∷ String → String

isOneLine ∷ String → Bool

bold ∷ String → String

data Terminal

Constructors

MkTerminal (IORef (IO ()))   Output   Output

data Output

Constructors

Output (String → IO ())   (IORef String)

newTerminal ∷ Output → Output → IO Terminal

withBuffering ∷ IO a → IO a

withStdioTerminal ∷ (Terminal → IO a) → IO a

withNullTerminal ∷ (Terminal → IO a) → IO a

terminalOutput ∷ Terminal → IO String

type Handle = Mutable RealWorld PrintWriter

handle ∷ Handle → String → IO ()

output ∷ (String → IO ()) → IO Output

put ∷ Output → String → IO ()

get ∷ Output → IO String

flush ∷ Terminal → IO ()

postpone ∷ Terminal → IO () → IO ()

putPart ∷ Terminal → String → IO ()

putTemp ∷ Terminal → String → IO ()

putLine ∷ Terminal → String → IO ()

Instances

instance Show Str

Member Functions

display ∷ Str → String

inherited from Show.display

show ∷ Str → String

showChars ∷ Str → [Char]

inherited from Show.showChars

showList ∷ [Str] → String → String

inherited from Show.showList

showsPrec ∷ Int → Str → String → String

inherited from Show.showsPrec

showsub ∷ Str → String

inherited from Show.showsub

Functions and Values by Type

(String → IO ()) → IORef String → Output

Output.Output

(String → IO ()) → IO Output

output

IORef (IO ()) → Output → Output → Terminal

Terminal.MkTerminal

Handle → String → IO ()

handle

String → String

bold, oneLine

String → Bool

isOneLine

String → Str

Str.MkStr

[Str] → String → String

Show_Str.showList

Int → String → String

kurz, number

Int → Str → String → String

Show_Str.showsPrec

Output → String → IO ()

put

Output → Output → IO Terminal

newTerminal

Output → IO String

get

Str → String

Show_Str.showsub, Show_Str.display, Show_Str.show

Str → [Char]

Show_Str.showChars

Terminal → IO () → IO ()

postpone

Terminal → String → IO ()

putLine, putPart, putTemp

Terminal → IO String

terminalOutput

Terminal → IO ()

flush

(Terminal → IO a) → IO a

withNullTerminal, withStdioTerminal

IO a → IO a

withBuffering

Show a ⇒ a → String

showErr

(Show a, Integral a) ⇒ a → a → Str

ranges