Module Repl.Gui

Imports

• import Java.Awt as Awt
• import Java.Net as Net
• 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

  data Action = native javax.swing.Action

  data ActionMap = native javax.swing.ActionMap

  data AttributeSet = pure native javax.swing.text.AttributeSet

  data BadLocationException = pure native javax.swing.text.BadLocationException

  data BorderLayout = native java.awt.BorderLayout

  data Container = native java.awt.Container

  data Desktop = native java.awt.Desktop

  data Dimension = native java.awt.Dimension

  data Document = native javax.swing.text.Document

  data GridLayout = native java.awt.GridLayout

  data HyperlinkEvent = pure native javax.swing.event.HyperlinkEvent

  data HyperlinkEvent_EventType = pure native javax.swing.event.HyperlinkEvent.EventType

  data HyperlinkListener = pure native javax.swing.event.HyperlinkListener

  data InputMap = native javax.swing.InputMap

  data JComponent = native javax.swing.JComponent

  data JEditorPane = native javax.swing.JEditorPane

  data JOptionPane = native javax.swing.JOptionPane

  data JPanel = native javax.swing.JPanel

  data JScrollPane = native javax.swing.JScrollPane

  data JTextArea = native javax.swing.JTextArea

  data JTextComponent = native javax.swing.text.JTextComponent

  data KeyStroke = pure native javax.swing.KeyStroke

  data LayoutManager = native java.awt.LayoutManager

  data Window = native java.awt.Window

  data WindowEvent = native java.awt.event.WindowEvent

  data WindowListener = native java.awt.event.WindowListener

  asHyperlinkListener ∷ Object → HyperlinkListener 

  asHyperlinkEvent ∷ Object → HyperlinkEvent 

  setSize ∷ MutableIO Component → Int → Int → IO () 

• Instances

  instance Eq HyperlinkEvent_EventType

  instance Exceptional BadLocationException

• Functions and Values by Type

Definitions

asHyperlinkListener ∷ Object → HyperlinkListener
pure native (javax.swing.event.HyperlinkListener)

asHyperlinkEvent ∷ Object → HyperlinkEvent
pure native (javax.swing.event.HyperlinkEvent)

setSize ∷ MutableIO Component → Int → Int → IO ()
native setSize

data Desktop = native java.awt.Desktop

Member Functions

browse ∷ MutableIO Desktop → URI → IO ()
native browse  throws IOException

getDesktop ∷ () → STMutable RealWorld Desktop
native java.awt.Desktop.getDesktop

isDesktopSupported ∷ MutableIO Desktop → IO Bool
native isDesktopSupported

data HyperlinkEvent = pure native javax.swing.event.HyperlinkEvent

Member Functions

getDescription ∷ HyperlinkEvent → String
pure native getDescription

getEventType ∷ HyperlinkEvent → HyperlinkEvent_EventType
pure native getEventType

getURL ∷ HyperlinkEvent → Maybe URL
pure native getURL

data HyperlinkEvent_EventType = pure native javax.swing.event.HyperlinkEvent.EventType

Member Functions

activated ∷ HyperlinkEvent_EventType
pure native javax.swing.event.HyperlinkEvent.EventType.ACTIVATED

entered ∷ HyperlinkEvent_EventType
pure native javax.swing.event.HyperlinkEvent.EventType.ENTERED

equals ∷ HyperlinkEvent_EventType → Object → Bool
pure native equals

exited ∷ HyperlinkEvent_EventType
pure native javax.swing.event.HyperlinkEvent.EventType.EXITED

toString ∷ HyperlinkEvent_EventType → String
pure native toString

data BorderLayout = native java.awt.BorderLayout

Member Functions

after_last_line ∷ String
pure native java.awt.BorderLayout.AFTER_LAST_LINE

after_line_ends ∷ String
pure native java.awt.BorderLayout.AFTER_LINE_ENDS

before_first_line ∷ String
pure native java.awt.BorderLayout.BEFORE_FIRST_LINE

before_line_begins ∷ String
pure native java.awt.BorderLayout.BEFORE_LINE_BEGINS

center ∷ String
pure native java.awt.BorderLayout.CENTER

east ∷ String
pure native java.awt.BorderLayout.EAST

line_end ∷ String
pure native java.awt.BorderLayout.LINE_END

line_start ∷ String
pure native java.awt.BorderLayout.LINE_START

new ∷ () → STMutable RealWorld BorderLayout
     | Int → Int → STMutable RealWorld BorderLayout
native new

newα ∷ () → STMutable RealWorld BorderLayout
native new  overloads new

newβ ∷ Int → Int → STMutable RealWorld BorderLayout
native new  overloads new

north ∷ String
pure native java.awt.BorderLayout.NORTH

page_end ∷ String
pure native java.awt.BorderLayout.PAGE_END

page_start ∷ String
pure native java.awt.BorderLayout.PAGE_START

south ∷ String
pure native java.awt.BorderLayout.SOUTH

west ∷ String
pure native java.awt.BorderLayout.WEST

data Container = native java.awt.Container

Member Functions

add ∷ MutableIO Container → MutableIO Component → STMutable RealWorld Component
     | MutableIO Container → MutableIO Component → Object → IO ()
native add

addα ∷ MutableIO Container → MutableIO Component → STMutable RealWorld Component
native add  overloads add

addβ ∷ MutableIO Container → MutableIO Component → Object → IO ()
native add  overloads add

setLayout ∷ MutableIO Container → MutableIO LayoutManager → IO ()
native setLayout

data JPanel = native javax.swing.JPanel

Member Functions

new ∷ () → STMutable RealWorld JPanel
     | MutableIO LayoutManager → STMutable RealWorld JPanel
native new

newα ∷ () → STMutable RealWorld JPanel
native new  overloads new

newβ ∷ MutableIO LayoutManager → STMutable RealWorld JPanel
native new  overloads new

data LayoutManager = native java.awt.LayoutManager

data JScrollPane = native javax.swing.JScrollPane

Member Functions

horizontal_scrollbar_always ∷ Int
pure native javax.swing.JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS

horizontal_scrollbar_as_needed ∷ Int
pure native javax.swing.JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED

new ∷ MutableIO Component → STMutable RealWorld JScrollPane
native new

setHorizontalScrollBarPolicy ∷ MutableIO JScrollPane → Int → IO ()
native setHorizontalScrollBarPolicy

setVerticalScrollBarPolicy ∷ MutableIO JScrollPane → Int → IO ()
native setVerticalScrollBarPolicy

vertical_scrollbar_always ∷ Int
pure native javax.swing.JScrollPane.VERTICAL_SCROLLBAR_ALWAYS

data JComponent = native javax.swing.JComponent

Member Functions

getActionMap ∷ MutableIO JComponent → STMutable RealWorld ActionMap
native getActionMap

getInputMap ∷ MutableIO JComponent → STMutable RealWorld InputMap
native getInputMap

setPreferredSize ∷ MutableIO JComponent → MutableIO Dimension → IO ()
native setPreferredSize

when_focused ∷ Int
pure native javax.swing.JComponent.WHEN_FOCUSED

data JOptionPane = native javax.swing.JOptionPane

Member Functions

plain_message ∷ Int
pure native javax.swing.JOptionPane.PLAIN_MESSAGE

showInputDialog ∷ Object → IO String
native javax.swing.JOptionPane.showInputDialog

showMessageDialog ∷ Maybe (MutableIO Component) → Object → IO ()
                   | Maybe (MutableIO Component) → Object → String → Int → IO ()
native javax.swing.JOptionPane.showMessageDialog

showMessageDialogα ∷ Maybe (MutableIO Component) → Object → IO ()
native javax.swing.JOptionPane.showMessageDialog  overloads showMessageDialog

showMessageDialogβ ∷ Maybe (MutableIO Component) → Object → String → Int → IO ()
native javax.swing.JOptionPane.showMessageDialog  overloads showMessageDialog

data Window = native java.awt.Window

Member Functions

addWindowListener ∷ MutableIO Window → MutableIO WindowListener → IO ()
native addWindowListener

pack ∷ MutableIO Window → IO ()
native pack

setLocation ∷ MutableIO Window → Int → Int → IO ()
native setLocation

data WindowListener = native java.awt.event.WindowListener

data GridLayout = native java.awt.GridLayout

Member Functions

new ∷ Int → Int → STMutable RealWorld GridLayout
     | Int → Int → Int → Int → STMutable RealWorld GridLayout
native new

newα ∷ Int → Int → STMutable RealWorld GridLayout
native new  overloads new

newβ ∷ Int → Int → Int → Int → STMutable RealWorld GridLayout
native new  overloads new

data JTextComponent = native javax.swing.text.JTextComponent

Member Functions

getDocument ∷ MutableIO JTextComponent → STMutable RealWorld Document
native getDocument

setCaretPosition ∷ MutableIO JTextComponent → Int → IO ()
native setCaretPosition

data Dimension = native java.awt.Dimension

Member Functions

new ∷ Int → Int → STMutable RealWorld Dimension
native new

data JTextArea = native javax.swing.JTextArea

Member Functions

new ∷ String → Int → Int → STMutable RealWorld JTextArea
native new

data HyperlinkListener = pure native javax.swing.event.HyperlinkListener

Member Functions

clazz ∷ Class HyperlinkListener
native javax.swing.event.HyperlinkListener.class

hyperlinkUpdate ∷ HyperlinkListener → HyperlinkEvent → IO ()
native hyperlinkUpdate

data JEditorPane = native javax.swing.JEditorPane

Member Functions

addHyperlinkListener ∷ MutableIO JEditorPane → HyperlinkListener → IO ()
native addHyperlinkListener

new ∷ String → String → STMutable RealWorld JEditorPane
native new

setEditable ∷ MutableIO JEditorPane → Bool → IO ()
native setEditable

data Document = native javax.swing.text.Document

Member Functions

getLength ∷ MutableIO Document → IO Int
native getLength

insertString ∷ MutableIO Document → Int → String → Maybe AttributeSet → IO ()
native insertString  throws BadLocationException

data BadLocationException = pure native javax.swing.text.BadLocationException

data AttributeSet = pure native javax.swing.text.AttributeSet

data InputMap = native javax.swing.InputMap

Member Functions

get ∷ MutableIO InputMap → KeyStroke → IO Object
native get

put ∷ MutableIO InputMap → KeyStroke → Object → IO ()
native put

data ActionMap = native javax.swing.ActionMap

Member Functions

put ∷ MutableIO ActionMap → Object → MutableIO Action → IO ()
native put

data Action = native javax.swing.Action

data WindowEvent = native java.awt.event.WindowEvent

data KeyStroke = pure native javax.swing.KeyStroke

Member Functions

getKeyStroke ∷ String → KeyStroke
pure native javax.swing.KeyStroke.getKeyStroke

Instances

instance Eq HyperlinkEvent_EventType

Member Functions

!= ∷ HyperlinkEvent_EventType → HyperlinkEvent_EventType → Bool
infix  7

inherited from Eq.!=

== ∷ HyperlinkEvent_EventType → HyperlinkEvent_EventType → Bool
infix  7

hashCode ∷ HyperlinkEvent_EventType → Int
pure native hashCode

instance Exceptional BadLocationException

Member Functions

javaClass ∷ Class BadLocationException
pure native javax.swing.text.BadLocationException.class

Functions and Values by Type

MutableIO Component → Int → Int → IO ()

setSize

MutableIO Component → STMutable RealWorld JScrollPane

JScrollPane.new

MutableIO ActionMap → Object → MutableIO Action → IO ()

ActionMap.put

MutableIO Container → MutableIO Component → Object → IO ()

Container.addβ

MutableIO Container → MutableIO Component → STMutable RealWorld Component

Container.addα

MutableIO Container → MutableIO LayoutManager → IO ()

Container.setLayout

MutableIO Desktop → URI → IO ()

Desktop.browse

MutableIO Desktop → IO Bool

Desktop.isDesktopSupported

MutableIO Document → Int → String → Maybe AttributeSet → IO ()

Document.insertString

MutableIO Document → IO Int

Document.getLength

MutableIO InputMap → KeyStroke → Object → IO ()

InputMap.put

MutableIO InputMap → KeyStroke → IO Object

InputMap.get

MutableIO JComponent → MutableIO Dimension → IO ()

JComponent.setPreferredSize

MutableIO JComponent → STMutable RealWorld ActionMap

JComponent.getActionMap

MutableIO JComponent → STMutable RealWorld InputMap

JComponent.getInputMap

MutableIO JEditorPane → Bool → IO ()

JEditorPane.setEditable

MutableIO JEditorPane → HyperlinkListener → IO ()

JEditorPane.addHyperlinkListener

MutableIO JScrollPane → Int → IO ()

JScrollPane.setHorizontalScrollBarPolicy, JScrollPane.setVerticalScrollBarPolicy

MutableIO JTextComponent → Int → IO ()

JTextComponent.setCaretPosition

MutableIO JTextComponent → STMutable RealWorld Document

JTextComponent.getDocument

MutableIO LayoutManager → STMutable RealWorld JPanel

JPanel.newβ

MutableIO Window → MutableIO WindowListener → IO ()

Window.addWindowListener

MutableIO Window → Int → Int → IO ()

Window.setLocation

MutableIO Window → IO ()

Window.pack

Maybe (MutableIO Component) → Object → String → Int → IO ()

JOptionPane.showMessageDialogβ

Maybe (MutableIO Component) → Object → IO ()

JOptionPane.showMessageDialogα

String → String → STMutable RealWorld JEditorPane

JEditorPane.new

String → Int → Int → STMutable RealWorld JTextArea

JTextArea.new

String → KeyStroke

KeyStroke.getKeyStroke

() → STMutable RealWorld BorderLayout

BorderLayout.newα

() → STMutable RealWorld Desktop

Desktop.getDesktop

() → STMutable RealWorld JPanel

JPanel.newα

Int → Int → Int → Int → STMutable RealWorld GridLayout

GridLayout.newβ

Int → Int → STMutable RealWorld BorderLayout

BorderLayout.newβ

Int → Int → STMutable RealWorld Dimension

Dimension.new

Int → Int → STMutable RealWorld GridLayout

GridLayout.newα

Object → IO String

JOptionPane.showInputDialog

Object → HyperlinkEvent

asHyperlinkEvent

Object → HyperlinkListener

asHyperlinkListener

HyperlinkEvent → Maybe URL

HyperlinkEvent.getURL

HyperlinkEvent → String

HyperlinkEvent.getDescription

HyperlinkEvent → HyperlinkEvent_EventType

HyperlinkEvent.getEventType

HyperlinkEvent_EventType → Object → Bool

HyperlinkEvent_EventType.equals

HyperlinkEvent_EventType → HyperlinkEvent_EventType → Bool

Eq_HyperlinkEvent_EventType.!=, Eq_HyperlinkEvent_EventType.==

HyperlinkEvent_EventType → String

HyperlinkEvent_EventType.toString

HyperlinkEvent_EventType → Int

Eq_HyperlinkEvent_EventType.hashCode

HyperlinkListener → HyperlinkEvent → IO ()

HyperlinkListener.hyperlinkUpdate

Class BadLocationException

Exceptional_BadLocationException.javaClass

Class HyperlinkListener

HyperlinkListener.clazz

String

BorderLayout.south, BorderLayout.west, BorderLayout.north, BorderLayout.page_end, BorderLayout.page_start, BorderLayout.line_start, BorderLayout.center, BorderLayout.east, BorderLayout.before_first_line, BorderLayout.after_last_line, BorderLayout.after_line_ends, BorderLayout.before_line_begins, BorderLayout.line_end

Int

JComponent.when_focused, JOptionPane.plain_message, JScrollPane.vertical_scrollbar_always, JScrollPane.horizontal_scrollbar_always, JScrollPane.horizontal_scrollbar_as_needed

HyperlinkEvent_EventType

HyperlinkEvent_EventType.activated, HyperlinkEvent_EventType.entered, HyperlinkEvent_EventType.exited

ω

BorderLayout.new, Container.add, GridLayout.new, JOptionPane.showMessageDialog, JPanel.new