Module Java.Awt

Definitions for native components found in packages java.awt, java.awt.event

Imports

• 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 AWTEvent = native java.awt.AWTEvent

  data ActionEvent = native java.awt.event.ActionEvent

  data ActionListener = native java.awt.event.ActionListener

  data Component = native java.awt.Component

  data Container = native java.awt.Container

  data Frame = native java.awt.Frame

  data LayoutManager = native java.awt.LayoutManager

  data Window = native java.awt.Window

• Functions and Values by Type

Definitions

data Component = native java.awt.Component

a bare java.awt.Component

Member Functions

setEnabled ∷ MutableIO Component → Bool → IO ()
native setEnabled

setVisible ∷ MutableIO Component → Bool → IO ()
native setVisible

data Container = native java.awt.Container

a bare java.awt.Container

Member Functions

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

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

data LayoutManager = native java.awt.LayoutManager

data Window = native java.awt.Window

some java.awt.Window

Member Functions

pack ∷ MutableIO Window → IO ()
native pack

data AWTEvent = native java.awt.AWTEvent

an object with compile time type java.awt.AWTEvent

data ActionEvent = native java.awt.event.ActionEvent

an object with compile time type java.awt.event.ActionEvent

Member Functions

alt_mask ∷ Int
pure native java.awt.event.ActionEvent.ALT_MASK

ctrl_mask ∷ Int
pure native java.awt.event.ActionEvent.CTRL_MASK

getActionCommand ∷ MutableIO ActionEvent → IO String
native getActionCommand

getModifiers ∷ MutableIO ActionEvent → IO Int
native getModifiers

meta_mask ∷ Int
pure native java.awt.event.ActionEvent.META_MASK

shift_mask ∷ Int
pure native java.awt.event.ActionEvent.SHIFT_MASK

data ActionListener = native java.awt.event.ActionListener

an object with compile time type java.awt.event.ActionListener

Member Functions

actionPerformed ∷ MutableIO ActionListener → MutableIO ActionEvent → IO ()
native actionPerformed

new ∷ (MutableIO ActionEvent → IO ()) → STMutable RealWorld ActionListener
native Awt.actionListener

make an action listener from a function

data Frame = native java.awt.Frame

Member Functions

setTitle ∷ MutableIO Frame → String → IO ()
native setTitle

Functions and Values by Type

(MutableIO ActionEvent → IO ()) → STMutable RealWorld ActionListener

ActionListener.new

MutableIO ActionEvent → IO String

ActionEvent.getActionCommand

MutableIO ActionEvent → IO Int

ActionEvent.getModifiers

MutableIO ActionListener → MutableIO ActionEvent → IO ()

ActionListener.actionPerformed

MutableIO Component → Bool → IO ()

Component.setEnabled, Component.setVisible

MutableIO Container → MutableIO Component → STMutable RealWorld Component

Container.add

MutableIO Container → MutableIO LayoutManager → IO ()

Container.setLayout

MutableIO Frame → String → IO ()

Frame.setTitle

MutableIO Window → IO ()

Window.pack

Int

ActionEvent.shift_mask, ActionEvent.meta_mask, ActionEvent.alt_mask, ActionEvent.ctrl_mask