Module Java.Util

Java classes from package java.util

Imports

import Java.IO as IO
import Java.Lang as Lang
import Prelude.PreludeArrays as PreludeArrays
import Prelude.PreludeBase as PreludeBase
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
import Control.Semigroupoid as Semigroupoid

Table of Content

Definitions

data AbstractCollection e = native java.util.AbstractCollection

data AbstractList e = native java.util.AbstractList

data AbstractMap k v = native java.util.AbstractMap

data AbstractMapSimpleEntry k v = native java.util.AbstractMap.SimpleEntry

data AbstractMapSimpleImmutableEntry k v = pure native java.util.AbstractMap.SimpleImmutableEntry

data AbstractQueue e = native java.util.AbstractQueue

data AbstractSequentialList e = native java.util.AbstractSequentialList

data AbstractSet e = native java.util.AbstractSet

data ArrayDeque e = native java.util.ArrayDeque

data ArrayList e = native java.util.ArrayList

data Arrays = pure native java.util.Arrays

data BigDecimal = pure native java.math.BigDecimal

data BitSet = native java.util.BitSet

data ByteBuffer = native java.nio.ByteBuffer

data Calendar = native java.util.Calendar

data Collection e = native java.util.Collection

data Collections = pure native java.util.Collections

data Comparator t = pure native java.util.Comparator

data ConcurrentModificationException = pure native java.util.ConcurrentModificationException

data Currency = pure native java.util.Currency

data Date = native java.util.Date

data Deque e = native java.util.Deque

data Dictionary k v = native java.util.Dictionary

data DuplicateFormatFlagsException = pure native java.util.DuplicateFormatFlagsException

data EnumMap k v = native java.util.EnumMap

data EnumSet e = native java.util.EnumSet

data Enumeration e = native java.util.Enumeration

data EventListener = native java.util.EventListener

data EventListenerProxy t = native java.util.EventListenerProxy

data EventObject = native java.util.EventObject

data File = native java.io.File

data FileNotFoundException = pure native java.io.FileNotFoundException

data FormatFlagsConversionMismatchException = pure native java.util.FormatFlagsConversionMismatchException

data Formattable = native java.util.Formattable

data FormattableFlags = pure native java.util.FormattableFlags

data Formatter = native java.util.Formatter

data FormatterBigDecimalLayoutForm = pure native java.util.Formatter.BigDecimalLayoutForm

data FormatterClosedException = pure native java.util.FormatterClosedException

data GregorianCalendar = native java.util.GregorianCalendar

data HashMap k v = native java.util.HashMap

data HashSet e = native java.util.HashSet

data Hashtable k v = native java.util.Hashtable

data IdentityHashMap k v = native java.util.IdentityHashMap

data IllegalFormatCodePointException = pure native java.util.IllegalFormatCodePointException

data IllegalFormatConversionException = pure native java.util.IllegalFormatConversionException

data IllegalFormatException = pure native java.util.IllegalFormatException

data IllegalFormatFlagsException = pure native java.util.IllegalFormatFlagsException

data IllegalFormatPrecisionException = pure native java.util.IllegalFormatPrecisionException

data IllegalFormatWidthException = pure native java.util.IllegalFormatWidthException

data IllformedLocaleException = pure native java.util.IllformedLocaleException

data InputMismatchException = pure native java.util.InputMismatchException

data InvalidPropertiesFormatException = pure native java.util.InvalidPropertiesFormatException

data Iterator e = native java.util.Iterator

data LinkedHashMap k v = native java.util.LinkedHashMap

data LinkedHashSet e = native java.util.LinkedHashSet

data LinkedList e = native java.util.LinkedList

data List e = native java.util.List

data ListIterator e = native java.util.ListIterator

data ListResourceBundle = native java.util.ListResourceBundle

data Locale = pure native java.util.Locale

data LocaleBuilder = native java.util.Locale.Builder

data LocaleCategory = pure native java.util.Locale.Category

data LongBuffer = native java.nio.LongBuffer

data Map k v = native java.util.Map

data MapEntry k v = native java.util.Map.Entry

data MissingFormatArgumentException = pure native java.util.MissingFormatArgumentException

data MissingFormatWidthException = pure native java.util.MissingFormatWidthException

data MissingResourceException = pure native java.util.MissingResourceException

data NavigableMap k v = native java.util.NavigableMap

data NavigableSet e = native java.util.NavigableSet

data NoSuchElementException = pure native java.util.NoSuchElementException

data Objects = pure native java.util.Objects

data Path = pure native java.nio.file.Path

data Permission = pure native java.security.Permission

data PermissionCollection = native java.security.PermissionCollection

data PriorityQueue e = native java.util.PriorityQueue

data Properties = native java.util.Properties

data PropertyPermission = pure native java.util.PropertyPermission

data PropertyResourceBundle = native java.util.PropertyResourceBundle

data Queue e = native java.util.Queue

data Random = native java.util.Random

data RandomAccess = native java.util.RandomAccess

data ReadableByteChannel = native java.nio.channels.ReadableByteChannel

data Reader = native java.io.Reader

data ResourceBundle = native java.util.ResourceBundle

data ResourceBundle_Control = pure native java.util.ResourceBundle.Control

data Scanner = native java.util.Scanner

data ServiceConfigurationError = pure native java.util.ServiceConfigurationError

data ServiceLoader t = native java.util.ServiceLoader

data Set e = native java.util.Set

data SimpleTimeZone = native java.util.SimpleTimeZone

data SortedMap k v = native java.util.SortedMap

data SortedSet e = native java.util.SortedSet

data Stack e = native java.util.Stack

data StringTokenizer = native java.util.StringTokenizer

data TimeZone = pure native java.util.TimeZone

data Timer = native java.util.Timer

data TimerTask = native java.util.TimerTask

data TooManyListenersException = pure native java.util.TooManyListenersException

data TreeMap k v = native java.util.TreeMap

data TreeSet e = native java.util.TreeSet

data UUID = pure native java.util.UUID

data UnknownFormatConversionException = pure native java.util.UnknownFormatConversionException

data UnknownFormatFlagsException = pure native java.util.UnknownFormatFlagsException

data Vector e = native java.util.Vector

data WeakHashMap k v = native java.util.WeakHashMap
Instances

instance ArrayElement FormatterBigDecimalLayoutForm

instance ArrayElement Locale

instance ArrayElement LocaleCategory

instance Exceptional ConcurrentModificationException

instance Exceptional DuplicateFormatFlagsException

instance Exceptional FormatFlagsConversionMismatchException

instance Exceptional FormatterClosedException

instance Exceptional IllegalFormatCodePointException

instance Exceptional IllegalFormatConversionException

instance Exceptional IllegalFormatException

instance Exceptional IllegalFormatFlagsException

instance Exceptional IllegalFormatPrecisionException

instance Exceptional IllegalFormatWidthException

instance Exceptional IllformedLocaleException

instance Exceptional InputMismatchException

instance Exceptional InvalidPropertiesFormatException

instance Exceptional MissingFormatArgumentException

instance Exceptional MissingFormatWidthException

instance Exceptional MissingResourceException

instance Exceptional NoSuchElementException

instance Exceptional ServiceConfigurationError

instance Exceptional TooManyListenersException

instance Exceptional UnknownFormatConversionException

instance Exceptional UnknownFormatFlagsException

instance Serializable (AbstractMapSimpleEntry k v)

instance Serializable (AbstractMapSimpleImmutableEntry k v)

instance Serializable (ArrayDeque e)

instance Serializable (ArrayList e)

instance Serializable BitSet

instance Serializable Calendar

instance Serializable Currency

instance Serializable Date

instance Serializable (EnumMap k v)

instance Serializable (EnumSet e)

instance Serializable EventObject

instance Serializable FormatterBigDecimalLayoutForm

instance Serializable GregorianCalendar

instance Serializable (HashMap k v)

instance Serializable (HashSet e)

instance Serializable (Hashtable k v)

instance Serializable (IdentityHashMap k v)

instance Serializable (LinkedHashMap k v)

instance Serializable (LinkedHashSet e)

instance Serializable (LinkedList e)

instance Serializable Locale

instance Serializable LocaleCategory

instance Serializable (PriorityQueue e)

instance Serializable Properties

instance Serializable PropertyPermission

instance Serializable SimpleTimeZone

instance Serializable (Stack e)

instance Serializable TimeZone

instance Serializable (TreeMap k v)

instance Serializable (TreeSet e)

instance Serializable UUID

instance Serializable (Vector e)

instance Show Locale
Functions and Values by Type

Definitions

data NoSuchElementException = pure native java.util.NoSuchElementException

data Enumeration e = native java.util.Enumeration

Member Functions

hasMoreElements ∷ Mutable s (Enumeration e) → ST s Bool
native hasMoreElements
nextElement ∷ Mutable s (Enumeration e) → ST s e
native nextElement throws NoSuchElementException
toList ∷ Mutable s (Enumeration e) → ST s [e]

data Random = native java.util.Random

A value of this type is used to generate a stream of pseudorandom numbers. The type uses a 48-bit seed, which is modified using a linear congruential formula. (See Donald Knuth, The Art of Computer Programming, Volume 2, Section 3.2.1.)

If two Random values are created with the same seed, and the same sequence of method calls is made for each, they will generate and return identical sequences of numbers. In order to guarantee this property, particular algorithms are specified for the class Random.

Many applications will find the function random simpler to use.

Member Functions

new ∷ () → STMutable RealWorld Random
| Long → STMutable s Random
native new

Create a new random number generator.

If no seed is given, a value very likely to be distinct from any other invocation of the constructor will be computed from the state of the real world.

new𝖆 ∷ () → STMutable RealWorld Random
native new overloads new

Create a new random number generator.

If no seed is given, a value very likely to be distinct from any other invocation of the constructor will be computed from the state of the real world.

new𝖇 ∷ Long → STMutable s Random
native new overloads new

Create a new random number generator.

If no seed is given, a value very likely to be distinct from any other invocation of the constructor will be computed from the state of the real world.

nextBoolean ∷ Mutable s Random → ST s Bool
native nextBoolean

Returns the next pseudorandom, uniformly distributed Bool value from this random number generator's sequence.

nextDouble ∷ Mutable s Random → ST s Double
native nextDouble

Returns the next pseudorandom, uniformly distributed Double value between 0.0 and 1.0 from this random number generator's sequence.

nextFloat ∷ Mutable s Random → ST s Float
native nextFloat

Returns the next pseudorandom, uniformly distributed Float value between 0.0 and 1.0 from this random number generator's sequence.

nextGaussian ∷ Mutable s Random → ST s Double
native nextGaussian

Returns the next pseudorandom, Gaussian ("normally") distributed Double value with mean 0.0 and standard deviation 1.0 from this random number generator's sequence.

nextInt ∷ Mutable s Random → ST s Int
| Mutable s Random → Int → ST s Int
native nextInt

 random.nextInt

Returns the next pseudorandom, uniformly distributed Int value from this random number generator's sequence.

 random.nextInt limit

Returns a pseudorandom, uniformly distributed Int value between 0 (inclusive) and the specified value (exclusive), drawn from this random number generator's sequence. The limit must be positive.

nextInt𝖆 ∷ Mutable s Random → ST s Int
native nextInt overloads nextInt

 random.nextInt

Returns the next pseudorandom, uniformly distributed Int value from this random number generator's sequence.

 random.nextInt limit

Returns a pseudorandom, uniformly distributed Int value between 0 (inclusive) and the specified value (exclusive), drawn from this random number generator's sequence. The limit must be positive.

nextInt𝖇 ∷ Mutable s Random → Int → ST s Int
native nextInt overloads nextInt

 random.nextInt

Returns the next pseudorandom, uniformly distributed Int value from this random number generator's sequence.

 random.nextInt limit

Returns a pseudorandom, uniformly distributed Int value between 0 (inclusive) and the specified value (exclusive), drawn from this random number generator's sequence. The limit must be positive.

nextLong ∷ Mutable s Random → ST s Long
native nextLong

Returns the next pseudorandom, uniformly distributed Long value from this random number generator's sequence.

setSeed ∷ Mutable s Random → Long → ST s ()
native setSeed

Sets the seed of this random number generator using a single long seed.

data AbstractMapSimpleImmutableEntry k v = pure native java.util.AbstractMap.SimpleImmutableEntry

An Entry maintaining an immutable key and value. This class does not support method setValue. This class may be convenient in methods that return thread-safe snapshots of key-value mappings.

Member Functions

equals ∷ AbstractMapSimpleImmutableEntry k v → Object → Bool
pure native equals
getKey ∷ AbstractMapSimpleImmutableEntry k v → k
pure native getKey
getValue ∷ AbstractMapSimpleImmutableEntry k v → v
pure native getValue
hashCode ∷ AbstractMapSimpleImmutableEntry k v → Int
pure native hashCode
new ∷ k → v → ST s (AbstractMapSimpleImmutableEntry k v)
| Mutable s (MapEntry k v) → ST s (AbstractMapSimpleImmutableEntry k v)
native new: Creates an entry representing a mapping from the specified key to the specified value or if an entry is provided, it creates an entry representing the same mapping as the specified entry.
new𝖆 ∷ k → v → ST s (AbstractMapSimpleImmutableEntry k v)
native new overloads new: Creates an entry representing a mapping from the specified key to the specified value or if an entry is provided, it creates an entry representing the same mapping as the specified entry.
new𝖇 ∷ Mutable s (MapEntry k v) → ST s (AbstractMapSimpleImmutableEntry k v)
native new overloads new: Creates an entry representing a mapping from the specified key to the specified value or if an entry is provided, it creates an entry representing the same mapping as the specified entry.
toString ∷ AbstractMapSimpleImmutableEntry k v → String
pure native toString

data Reader = native java.io.Reader

data File = native java.io.File

data FileNotFoundException = pure native java.io.FileNotFoundException

data Comparator t = pure native java.util.Comparator

From Javadoc: A comparison function, which imposes a total ordering on some collection of objects. Comparators can be passed to a sort method (such as Collections.sort or Arrays.sort) to allow precise control over the sort order. Comparators can also be used to control the order of certain data structures (such as sorted sets or sorted maps), or to provide an ordering for collections of objects that don't have a natural ordering.

More: Comparator JavaDoc

Member Functions

compare ∷ Comparator t → t → t → Int
pure native compare
equals ∷ Comparator t → Comparator t → Bool
pure native equals

data AbstractSet e = native java.util.AbstractSet

This class provides a skeletal implementation of the Set interface to minimize the effort required to implement this interface. The process of implementing a set by extending this class is identical to that of implementing a Collection by extending AbstractCollection, except that all of the methods and constructors in subclasses of this class must obey the additional constraints imposed by the Set interface (for instance, the add method must not permit addition of multiple instances of an object to a set).

Note that this class does not override any of the implementations from the AbstractCollection class. It merely adds implementations for equals and hashCode.

Member Functions

equals ∷ Mutable s (AbstractSet e) → Object → ST s Bool
native equals
hashCode ∷ Mutable s (AbstractSet e) → ST s Int
native hashCode
removeAll ∷ Mutable s (AbstractSet e) → Mutable s (Collection Object) → ST s Bool
native removeAll

data Stack e = native java.util.Stack

The Stack class represents a last-in-first-out (LIFO) stack of objects. It extends class Vector with five operations that allow a vector to be treated as a stack. The usual push and pop operations are provided, as well as a method to peek at the top item on the stack, a method to test for whether the stack is empty, and a method to search the stack for an item and discover how far it is from the top.

When a stack is first created, it contains no items.

A more complete and consistent set of LIFO stack operations is provided by the Deque interface and its implementations, which should be used in preference to this class. For example:

 Deque<Integer> stack = new ArrayDeque<Integer>();

Member Functions

empty ∷ Mutable s (Stack e) → ST s Bool
native empty: Tests if this stack is empty.
new ∷ () → STMutable s (Stack e)
native new: Creates an empty Stack.
peek ∷ Mutable s (Stack e) → ST s e
native peek: Looks at the object at the top of this stack without removing it from the stack.
pop ∷ Mutable s (Stack e) → ST s e
native pop: Removes the object at the top of this stack and returns that object as the value of this function.
push ∷ Mutable s (Stack e) → e → ST s e
native push: Pushes an item onto the top of this stack.
search ∷ Mutable s (Stack e) → Object → ST s Int
native search: Returns the 1-based position where an object is on this stack.

data SortedSet e = native java.util.SortedSet

A Set that further provides a total ordering on its elements. More: SortedSet JavaDoc

Member Functions

comparator ∷ Mutable s (SortedSet e) → ST s (Comparator >)
native comparator

Returns the comparator used to order the elements in this set, or null if this set uses the

natural ordering of its elements.

first ∷ Mutable s (SortedSet e) → ST s e
native first

Returns the first (lowest) element currently in this set.

headSet ∷ Mutable s (SortedSet e) → e → STMutable s (SortedSet e)
native headSet

Returns a view of the portion of this set whose elements are strictly less than toElement.

last ∷ Mutable s (SortedSet e) → ST s e
native last

Returns the last (highest) element currently in this set.

subSet ∷ Mutable s (SortedSet e) → e → e → STMutable s (SortedSet e)
native subSet

Returns a view of the portion of this set whose elements range from fromElement, inclusive, to toElement, exclusive.

tailSet ∷ Mutable s (SortedSet e) → e → STMutable s (SortedSet e)
native tailSet

Returns a view of the portion of this set whose elements are greater than or equal to fromElement.

data Deque e = native java.util.Deque

A linear collection that supports element insertion and removal at both ends. More: Deque JavaDoc

Member Functions

add ∷ Mutable s (Deque e) → e → ST s Bool
native add

Inserts the specified element into the queue represented by this deque (in other words, at the tail of this deque) if it is possible to do so immediately without violating capacity restrictions, returning true upon success and throwing an IllegalStateException if no space is currently available.

addFirst ∷ Mutable s (Deque e) → e → ST s ()
native addFirst

Inserts the specified element at the front of this deque if it is possible to do so immediately without violating capacity restrictions.

addLast ∷ Mutable s (Deque e) → e → ST s ()
native addLast

Inserts the specified element at the end of this deque if it is possible to do so immediately without violating capacity restrictions.

contains ∷ Mutable s (Deque e) → Object → ST s Bool
native contains

Returns true if this deque contains the specified element.

descendingIterator ∷ Mutable s (Deque e) → STMutable s (Iterator e)
native descendingIterator

Returns an iterator over the elements in this deque in reverse sequential order.

element ∷ Mutable s (Deque e) → ST s e
native element

Retrieves, but does not remove, the head of the queue represented by this deque (in other words, the first element of this deque).

getFirst ∷ Mutable s (Deque e) → ST s e
native getFirst

Retrieves, but does not remove, the first element of this deque.

getLast ∷ Mutable s (Deque e) → ST s e
native getLast

Retrieves, but does not remove, the last element of this deque.

iterator ∷ Mutable s (Deque e) → STMutable s (Iterator e)
native iterator

Returns an iterator over the elements in this deque in proper sequence.

offer ∷ Mutable s (Deque e) → e → ST s Bool
native offer

Inserts the specified element into the queue represented by this deque (in other words, at the tail of this deque)

if it is possible to do so immediately without violating capacity restrictions, returning true upon success and false if no space is currently available.

offerFirst ∷ Mutable s (Deque e) → e → ST s Bool
native offerFirst

Inserts the specified element at the front of this deque unless it would violate capacity restrictions.

offerLast ∷ Mutable s (Deque e) → e → ST s Bool
native offerLast

Inserts the specified element at the end of this deque unless it would violate capacity restrictions.

peek ∷ Mutable s (Deque e) → ST s e
native peek

Retrieves, but does not remove, the head of the queue represented by this deque (in other words,

the first element of this deque), or returns null if this deque is empty.

peekFirst ∷ Mutable s (Deque e) → ST s e
native peekFirst

Retrieves, but does not remove, the first element of this deque, or returns null if this deque is empty.

peekLast ∷ Mutable s (Deque e) → ST s e
native peekLast

Retrieves, but does not remove, the last element of this deque, or returns null if this deque is empty.

poll ∷ Mutable s (Deque e) → ST s e
native poll

Retrieves and removes the head of the queue represented by this deque (in other words,

the first element of this deque), or returns null if this deque is empty.

pollFirst ∷ Mutable s (Deque e) → ST s e
native pollFirst

Retrieves and removes the first element of this deque, or returns null if this deque is empty.

pollLast ∷ Mutable s (Deque e) → ST s e
native pollLast

Retrieves and removes the last element of this deque, or returns null if this deque is empty.

pop ∷ Mutable s (Deque e) → ST s e
native pop

Pops an element from the stack represented by this deque.

push ∷ Mutable s (Deque e) → e → ST s ()
native push

Pushes an element onto the stack represented by this deque (in other words, at the head of this deque)

if it is possible to do so immediately without violating capacity restrictions, returning true upon success

and throwing an IllegalStateException if no space is currently available.

remove ∷ Mutable s (Deque e) → ST s e
| Mutable s (Deque e) → Object → ST s Bool
native remove

Retrieves and removes the head of the queue represented by this deque (in other words, the first element of this deque) or

Removes the first occurrence of the specified element from this deque.

removeFirst ∷ Mutable s (Deque e) → ST s e
native removeFirst

Retrieves and removes the first element of this deque.

removeFirstOccurrence ∷ Mutable s (Deque e) → Object → ST s Bool
native removeFirstOccurrence

Removes the first occurrence of the specified element from this deque.

removeLast ∷ Mutable s (Deque e) → ST s e
native removeLast

Retrieves and removes the last element of this deque.

removeLastOccurrence ∷ Mutable s (Deque e) → Object → ST s Bool
native removeLastOccurrence

Removes the last occurrence of the specified element from this deque.

remove𝖆 ∷ Mutable s (Deque e) → ST s e
native remove overloads remove

Retrieves and removes the head of the queue represented by this deque (in other words, the first element of this deque) or

Removes the first occurrence of the specified element from this deque.

remove𝖇 ∷ Mutable s (Deque e) → Object → ST s Bool
native remove overloads remove

Retrieves and removes the head of the queue represented by this deque (in other words, the first element of this deque) or

Removes the first occurrence of the specified element from this deque.

size ∷ Mutable s (Deque e) → ST s Int
native size

Returns the number of elements in this deque.

data AbstractSequentialList e = native java.util.AbstractSequentialList

This class provides a skeletal implementation of the List interface to minimize the effort required to implement this interface backed by a "sequential access" data store (such as a linked list). For random access data (such as an array), AbstractList should be used in preference to this class.

More: AbstractSequentialList JavaDoc

Member Functions

add ∷ Mutable s (AbstractSequentialList e) → Int → e → ST s ()
native add: Inserts the specified element at the specified position in this list (optional operation).
addAll ∷ Mutable s (AbstractSequentialList e) → Int → Mutable s (Collection e) → ST s Bool
native addAll: Inserts all of the elements in the specified collection into this list at the specified position (optional operation).
get ∷ Mutable s (AbstractSequentialList e) → Int → ST s e
native get: Returns the element at the specified position in this list.
iterator ∷ Mutable s (AbstractSequentialList e) → STMutable s (Iterator e)
native iterator: Returns an iterator over the elements in this list (in proper sequence).
listIterator ∷ Mutable s (AbstractSequentialList e) → Int → STMutable s (ListIterator e)
native listIterator: Returns a list iterator over the elements in this list (in proper sequence).
remove ∷ Mutable s (AbstractSequentialList e) → Int → ST s e
native remove: Removes the element at the specified position in this list (optional operation).
set ∷ Mutable s (AbstractSequentialList e) → Int → e → ST s e
native set: Replaces the element at the specified position in this list with the specified element (optional operation).

data Formatter = native java.util.Formatter

An interpreter for printf-style format strings. More: Formatter JavaDoc

Member Functions

close ∷ Mutable s Formatter → ST s ()
native close

Closes this formatter.

flush ∷ Mutable s Formatter → ST s ()
native flush

Flushes this formatter.

format ∷ Mutable s Formatter → String → ArrayOf s Object → STMutable s Formatter
| Mutable s Formatter → Locale → String → ArrayOf s Object → STMutable s Formatter
native format

Writes a formatted string to this object's destination using the specified locale, format string, and arguments

or Writes a formatted string to this object's destination using the specified format string and arguments.

format𝖆 ∷ Mutable s Formatter → String → ArrayOf s Object → STMutable s Formatter
native format overloads format

Writes a formatted string to this object's destination using the specified locale, format string, and arguments

or Writes a formatted string to this object's destination using the specified format string and arguments.

format𝖇 ∷ Mutable s Formatter → Locale → String → ArrayOf s Object → STMutable s Formatter
native format overloads format

Writes a formatted string to this object's destination using the specified locale, format string, and arguments

or Writes a formatted string to this object's destination using the specified format string and arguments.

ioException ∷ Mutable s Formatter → ST s IOException
native ioException

Returns the IOException last thrown by this formatter's Appendable.

locale ∷ Mutable s Formatter → ST s Locale
native locale

Returns the locale set by the construction of this formatter.

new𝖆 ∷ MutableIO File → String → STMutable RealWorld Formatter
native new throws FileNotFoundException, UnsupportedEncodingException overloads new

new𝖇 ∷ MutableIO File → STMutable RealWorld Formatter
native new throws FileNotFoundException overloads new

new𝖈 ∷ String → String → Locale → STMutable s Formatter
native new throws FileNotFoundException, UnsupportedEncodingException overloads new

new𝖉 ∷ String → String → STMutable s Formatter
native new throws FileNotFoundException, UnsupportedEncodingException overloads new

new𝖊 ∷ String → STMutable s Formatter
native new throws FileNotFoundException overloads new

new𝖋 ∷ MutableIO OutputStream → String → STMutable RealWorld Formatter
native new throws UnsupportedEncodingException overloads new

new𝖌 ∷ MutableIO OutputStream → STMutable RealWorld Formatter
native new overloads new

new𝖍 ∷ MutableIO PrintStream → STMutable RealWorld Formatter
native new overloads new

new𝖎 ∷ MutableIO File → String → Locale → STMutable RealWorld Formatter
native new throws FileNotFoundException, UnsupportedEncodingException overloads new

new𝖏 ∷ () → STMutable s Formatter
native new overloads new

new𝖐 ∷ MutableIO OutputStream → String → Locale → STMutable RealWorld Formatter
native new throws UnsupportedEncodingException overloads new

new𝖑 ∷ Mutable s Appendable → Locale → STMutable s Formatter
native new overloads new

new𝖒 ∷ Locale → STMutable s Formatter
native new overloads new

new𝖓 ∷ Mutable s Appendable → STMutable s Formatter
native new overloads new

out ∷ Mutable s Formatter → STMutable s Appendable
native out

Returns the destination for the output.

toString ∷ Mutable s Formatter → ST s String
native toString

Returns the result of invoking toString() on the destination for the output.

data PriorityQueue e = native java.util.PriorityQueue

An unbounded priority queue based on a priority heap. More: PriorityQueue JavaDoc

Member Functions

add ∷ Mutable s (PriorityQueue e) → e → ST s Bool
native add
clear ∷ Mutable s (PriorityQueue e) → ST s ()
native clear
comparator ∷ Mutable s (PriorityQueue e) → ST s (Comparator >)
native comparator
contains ∷ Mutable s (PriorityQueue e) → Object → ST s Bool
native contains
iterator ∷ Mutable s (PriorityQueue e) → STMutable s (Iterator e)
native iterator
new ∷ Mutable s (SortedSet e) → STMutable s (PriorityQueue e)
     | Mutable s (PriorityQueue e) → STMutable s (PriorityQueue e)
     | Mutable s (Collection e) → STMutable s (PriorityQueue e)
     | () → STMutable s (PriorityQueue e)
     | Int → STMutable s (PriorityQueue e)
     | Int → Comparator e → STMutable s (PriorityQueue e)
native new
new𝖆 ∷ Mutable s (SortedSet e) → STMutable s (PriorityQueue e)
native new overloads new
new𝖇 ∷ Mutable s (PriorityQueue e) → STMutable s (PriorityQueue e)
native new overloads new
new𝖈 ∷ Mutable s (Collection e) → STMutable s (PriorityQueue e)
native new overloads new
new𝖉 ∷ () → STMutable s (PriorityQueue e)
native new overloads new
new𝖊 ∷ Int → STMutable s (PriorityQueue e)
native new overloads new
new𝖋 ∷ Int → Comparator e → STMutable s (PriorityQueue e)
native new overloads new
offer ∷ Mutable s (PriorityQueue e) → e → ST s Bool
native offer
peek ∷ Mutable s (PriorityQueue e) → ST s e
native peek
poll ∷ Mutable s (PriorityQueue e) → ST s e
native poll
remove ∷ Mutable s (PriorityQueue e) → Object → ST s Bool
native remove
size ∷ Mutable s (PriorityQueue e) → ST s Int
native size
toArray ∷ Mutable s (PriorityQueue e) → STMutable s (JArray Object)
| Mutable s (PriorityQueue e) → ArrayOf s Object → STMutable s (JArray Object)
native toArray
toArray𝖆 ∷ Mutable s (PriorityQueue e) → STMutable s (JArray Object)
native toArray overloads toArray
toArray𝖇 ∷ Mutable s (PriorityQueue e) → ArrayOf s Object → STMutable s (JArray Object)
native toArray overloads toArray

data NavigableMap k v = native java.util.NavigableMap

A SortedMap extended with navigation methods returning the closest matches for given search targets.

More: NavigableMap JavaDoc

Member Functions

ceilingEntry ∷ Mutable s (NavigableMap k v) → k → STMutable s (MapEntry k v)
native ceilingEntry
ceilingKey ∷ Mutable s (NavigableMap k v) → k → ST s k
native ceilingKey
descendingKeySet ∷ Mutable s (NavigableMap k v) → STMutable s (NavigableSet k)
native descendingKeySet
descendingMap ∷ Mutable s (NavigableMap k v) → STMutable s (NavigableMap k v)
native descendingMap
firstEntry ∷ Mutable s (NavigableMap k v) → STMutable s (MapEntry k v)
native firstEntry
floorEntry ∷ Mutable s (NavigableMap k v) → k → STMutable s (MapEntry k v)
native floorEntry
floorKey ∷ Mutable s (NavigableMap k v) → k → ST s k
native floorKey
headMap ∷ Mutable s (NavigableMap k v) → k → Bool → STMutable s (NavigableMap k v)
| Mutable s (NavigableMap k v) → k → STMutable s (SortedMap k v)
native headMap
headMap𝖆 ∷ Mutable s (NavigableMap k v) → k → Bool → STMutable s (NavigableMap k v)
native headMap overloads headMap
headMap𝖇 ∷ Mutable s (NavigableMap k v) → k → STMutable s (SortedMap k v)
native headMap overloads headMap
higherEntry ∷ Mutable s (NavigableMap k v) → k → STMutable s (MapEntry k v)
native higherEntry
higherKey ∷ Mutable s (NavigableMap k v) → k → ST s k
native higherKey
lastEntry ∷ Mutable s (NavigableMap k v) → STMutable s (MapEntry k v)
native lastEntry
lowerEntry ∷ Mutable s (NavigableMap k v) → k → STMutable s (MapEntry k v)
native lowerEntry
lowerKey ∷ Mutable s (NavigableMap k v) → k → ST s k
native lowerKey
navigableKeySet ∷ Mutable s (NavigableMap k v) → STMutable s (NavigableSet k)
native navigableKeySet
pollFirstEntry ∷ Mutable s (NavigableMap k v) → STMutable s (MapEntry k v)
native pollFirstEntry
pollLastEntry ∷ Mutable s (NavigableMap k v) → STMutable s (MapEntry k v)
native pollLastEntry
subMap ∷ Mutable s (NavigableMap k v) → k → k → STMutable s (SortedMap k v)
| Mutable s (NavigableMap k v) → k → Bool → k → Bool → STMutable s (NavigableMap k v)
native subMap
subMap𝖆 ∷ Mutable s (NavigableMap k v) → k → k → STMutable s (SortedMap k v)
native subMap overloads subMap
subMap𝖇 ∷ Mutable s (NavigableMap k v) → k → Bool → k → Bool → STMutable s (NavigableMap k v)
native subMap overloads subMap
tailMap ∷ Mutable s (NavigableMap k v) → k → Bool → STMutable s (NavigableMap k v)
| Mutable s (NavigableMap k v) → k → STMutable s (SortedMap k v)
native tailMap
tailMap𝖆 ∷ Mutable s (NavigableMap k v) → k → Bool → STMutable s (NavigableMap k v)
native tailMap overloads tailMap
tailMap𝖇 ∷ Mutable s (NavigableMap k v) → k → STMutable s (SortedMap k v)
native tailMap overloads tailMap

data EventListener = native java.util.EventListener

A tagging interface that all event listener interfaces must extend.

Module Java.Util

Imports

Table of Content

Definitions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

getBundle(java.lang.String,%20java.util.Locale,%20java.lang.ClassLoader,%20java.util.ResourceBundle.Control) ResourceBundle.getBundle'

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Member Functions

Instances

Member Functions