Module Java.Lang

Here live all classes and interfaces from java.lang except those already introduced in the Prelude.

Imports

Table of Content

Definitions

data IOException = pure native java.io.IOException
data IllegalStateException = pure native java.lang.IllegalStateException
data IllegalThreadStateException = pure native java.lang.IllegalThreadStateException
data InstantiationException = pure native java.lang.InstantiationException
data NoSuchFieldException = pure native java.lang.NoSuchFieldException
data IllegalAccessException = pure native java.lang.IllegalAccessException
data IllegalArgumentException = pure native java.lang.IllegalArgumentException
data SecurityException = pure native java.lang.SecurityException
data NullPointerException = pure native java.lang.NullPointerException
data Error = pure native java.lang.Error
data NoSuchMethodError = pure native java.lang.NoSuchMethodError
data ExceptionInInitializerError = pure native java.lang.ExceptionInInitializerError
data IndexOutOfBoundsException = pure native java.lang.IndexOutOfBoundsException
data StringIndexOutOfBoundsException = pure native java.lang.StringIndexOutOfBoundsException
data Runnable = native java.lang.Runnable

A java.lang.Runnable, can be created from IO or ST actions

Member Functions

newST s ()STMutable s Runnable
native Lang.runnable

nowarn: argument of type ST s ()

Create a java Runnable from a ST s ().

When the run method is called from java code, the ST action will be performed.

runMutable s RunnableST s ()
native run

perform the ST action that is associated with this runnable.

data MetaFP = pure native frege.runtime.Meta.FregePackage
data ClassLoader = mutable native java.lang.ClassLoader

Member Functions

currentIO ClassLoader
getClassLoaderClass aIO ClassLoader
native getClassLoader
data PrintStream = mutable native java.io.PrintStream
data Appendable = native java.lang.Appendable

Member Functions

appendMutable s AppendableCharSTMutable s Appendable
            throws IOException
        | Mutable s AppendableStringSTMutable s Appendable
            throws IOException
native append
appendαMutable s AppendableCharSTMutable s Appendable
native append  throws IOException  overloads append
appendβMutable s AppendableStringSTMutable s Appendable
native append  throws IOException  overloads append
data System = pure native java.lang.System

Member Functions

currentTimeMillis()IO Long
native java.lang.System.currentTimeMillis
errPrintStream
native java.lang.System.err

nowarn: System.err is not supposed to change

exitIntIO ()
native java.lang.System.exit
getPropertyStringMaybe String
pure native java.lang.System.getProperty
getenvStringMaybe String
pure native java.lang.System.getenv
lineSeparator()String
pure native java.lang.System.lineSeparator
nanoTime()IO Long
native java.lang.System.nanoTime
outPrintStream
native java.lang.System.out

nowarn: System.out is not supposed to change

data CharSequence = pure native java.lang.CharSequence

Member Functions

charAtCharSequenceIntChar
pure native charAt
codePointAtCharSequenceIntInt
pure native java.lang.Character.codePointAt

Returns the code point at the given index of the CharSequence. If the char value at the given index in the CharSequence is in the high-surrogate range, the following index is less than the length of the CharSequence, and the char value at the following index is in the low-surrogate range, then the supplementary code point corresponding to this surrogate pair is returned.

Otherwise, the char value at the given index is returned.

Note that the corresponding java method is from java.lang.Character, but logically fits in here better.

See also: Char.isSupplementaryCodePoint

fromStringStringCharSequence
pure native (java.lang.CharSequence)
lengthCharSequenceInt
pure native length
subSeqCharSequenceIntIntCharSequence
pure native subSequence
toStringCharSequenceString
pure native toString
data StringBuilder = native java.lang.StringBuilder

Resembles java.lang.StringBuilder

Member Functions

newStringSTMutable s StringBuilder
native new
toStringMutable s StringBuilderST s String
native toString
data Thread = mutable native java.lang.Thread

An OS thread

Member Functions

current()IO Thread
native java.lang.Thread.currentThread

Obtain the current Thread

getNameThreadIO String
native getName
newMutableIO RunnableIO Thread
native new
setNameThreadStringIO ()
native setName
sleepLongIO ()
native java.lang.Thread.sleep  throws InterruptedException

Sleep for a number of milliseconds.

startThreadIO ()
native start
data Boolean = pure native java.lang.Boolean
data Character = pure native java.lang.Character
data Readable = native java.lang.Readable
data StringBuffer = native java.lang.StringBuffer

Member Functions

appendMutable s StringBufferFloatSTMutable s StringBuffer
        | Mutable s StringBufferDoubleSTMutable s StringBuffer
        | Mutable s StringBufferBoolSTMutable s StringBuffer
        | Mutable s StringBufferCharSTMutable s StringBuffer
        | Mutable s StringBufferIntSTMutable s StringBuffer
        | Mutable s StringBufferLongSTMutable s StringBuffer
        | Mutable s StringBufferObjectSTMutable s StringBuffer
        | Mutable s StringBufferCharSequenceSTMutable s StringBuffer
        | Mutable s StringBufferCharSequenceIntIntSTMutable s StringBuffer
        | Mutable s StringBufferArrayOf s CharSTMutable s StringBuffer
        | Mutable s StringBufferArrayOf s CharIntIntSTMutable s StringBuffer
        | Mutable s StringBufferStringSTMutable s StringBuffer
        | Mutable s StringBufferMutable s StringBufferSTMutable s StringBuffer
native append
appendCodePointMutable s StringBufferIntSTMutable s StringBuffer
native appendCodePoint
appendßMutable s StringBufferArrayOf s CharSTMutable s StringBuffer
native append  overloads append
appendαMutable s StringBufferFloatSTMutable s StringBuffer
native append  overloads append
appendβMutable s StringBufferDoubleSTMutable s StringBuffer
native append  overloads append
appendγMutable s StringBufferBoolSTMutable s StringBuffer
native append  overloads append
appendδMutable s StringBufferCharSTMutable s StringBuffer
native append  overloads append
appendεMutable s StringBufferIntSTMutable s StringBuffer
native append  overloads append
appendζMutable s StringBufferLongSTMutable s StringBuffer
native append  overloads append
appendηMutable s StringBufferObjectSTMutable s StringBuffer
native append  overloads append
appendθMutable s StringBufferCharSequenceSTMutable s StringBuffer
native append  overloads append
appendιMutable s StringBufferCharSequenceIntIntSTMutable s StringBuffer
native append  overloads append
appendκMutable s StringBufferArrayOf s CharIntIntSTMutable s StringBuffer
native append  overloads append
appendλMutable s StringBufferStringSTMutable s StringBuffer
native append  overloads append
appendμMutable s StringBufferMutable s StringBufferSTMutable s StringBuffer
native append  overloads append
capacityMutable s StringBufferST s Int
native capacity
charAtMutable s StringBufferIntST s Char
native charAt
codePointAtMutable s StringBufferIntST s Int
native codePointAt
codePointBeforeMutable s StringBufferIntST s Int
native codePointBefore
codePointCountMutable s StringBufferIntIntST s Int
native codePointCount
deleteMutable s StringBufferIntIntSTMutable s StringBuffer
native delete
deleteCharAtMutable s StringBufferIntSTMutable s StringBuffer
native deleteCharAt
ensureCapacityMutable s StringBufferIntST s ()
native ensureCapacity
getCharsMutable s StringBufferIntIntArrayOf s CharIntST s ()
native getChars
indexOfMutable s StringBufferStringST s Int
         | Mutable s StringBufferStringIntST s Int
native indexOf
indexOfαMutable s StringBufferStringST s Int
native indexOf  overloads indexOf
indexOfβMutable s StringBufferStringIntST s Int
native indexOf  overloads indexOf
insertMutable s StringBufferIntArrayOf s CharSTMutable s StringBuffer
        | Mutable s StringBufferIntCharSequenceSTMutable s StringBuffer
        | Mutable s StringBufferIntCharSequenceIntIntSTMutable s StringBuffer
        | Mutable s StringBufferIntBoolSTMutable s StringBuffer
        | Mutable s StringBufferIntCharSTMutable s StringBuffer
        | Mutable s StringBufferIntDoubleSTMutable s StringBuffer
        | Mutable s StringBufferIntArrayOf s CharIntIntSTMutable s StringBuffer
        | Mutable s StringBufferIntObjectSTMutable s StringBuffer
        | Mutable s StringBufferIntStringSTMutable s StringBuffer
        | Mutable s StringBufferIntFloatSTMutable s StringBuffer
        | Mutable s StringBufferIntLongSTMutable s StringBuffer
        | Mutable s StringBufferIntIntSTMutable s StringBuffer
native insert
insertßMutable s StringBufferIntFloatSTMutable s StringBuffer
native insert  overloads insert
insertαMutable s StringBufferIntArrayOf s CharSTMutable s StringBuffer
native insert  overloads insert
insertβMutable s StringBufferIntCharSequenceSTMutable s StringBuffer
native insert  overloads insert
insertγMutable s StringBufferIntCharSequenceIntIntSTMutable s StringBuffer
native insert  overloads insert
insertδMutable s StringBufferIntBoolSTMutable s StringBuffer
native insert  overloads insert
insertεMutable s StringBufferIntCharSTMutable s StringBuffer
native insert  overloads insert
insertζMutable s StringBufferIntDoubleSTMutable s StringBuffer
native insert  overloads insert
insertηMutable s StringBufferIntArrayOf s CharIntIntSTMutable s StringBuffer
native insert  overloads insert
insertθMutable s StringBufferIntObjectSTMutable s StringBuffer
native insert  overloads insert
insertιMutable s StringBufferIntStringSTMutable s StringBuffer
native insert  overloads insert
insertκMutable s StringBufferIntLongSTMutable s StringBuffer
native insert  overloads insert
insertλMutable s StringBufferIntIntSTMutable s StringBuffer
native insert  overloads insert
lastIndexOfMutable s StringBufferStringST s Int
             | Mutable s StringBufferStringIntST s Int
native lastIndexOf
lastIndexOfαMutable s StringBufferStringST s Int
native lastIndexOf  overloads lastIndexOf
lastIndexOfβMutable s StringBufferStringIntST s Int
native lastIndexOf  overloads lastIndexOf
lengthMutable s StringBufferST s Int
native length
newCharSequenceSTMutable s StringBuffer
     | StringSTMutable s StringBuffer
     | IntSTMutable s StringBuffer
     | ()STMutable s StringBuffer
native new
newαCharSequenceSTMutable s StringBuffer
native new  overloads new
newβStringSTMutable s StringBuffer
native new  overloads new
newγIntSTMutable s StringBuffer
native new  overloads new
newδ()STMutable s StringBuffer
native new  overloads new
offsetByCodePointsMutable s StringBufferIntIntST s Int
native offsetByCodePoints
replaceMutable s StringBufferIntIntStringSTMutable s StringBuffer
native replace
reverseMutable s StringBufferSTMutable s StringBuffer
native reverse
setCharAtMutable s StringBufferIntCharST s ()
native setCharAt
setLengthMutable s StringBufferIntST s ()
native setLength
subSequenceMutable s StringBufferIntIntST s CharSequence
native subSequence
substringMutable s StringBufferIntST s String
           | Mutable s StringBufferIntIntST s String
native substring
substringαMutable s StringBufferIntST s String
native substring  overloads substring
substringβMutable s StringBufferIntIntST s String
native substring  overloads substring
toStringMutable s StringBufferST s String
native toString
trimToSizeMutable s StringBufferST s ()
native trimToSize
data Comparable t = pure native java.lang.Comparable

Member Functions

compareToComparable ttInt
pure native compareTo
data Iterator e = native java.util.Iterator
data Iterable t = pure native java.lang.Iterable

Member Functions

iteratorIterable tSTMutable s (Iterator t)
native iterator
data Byte = pure native byte

Byte is the Frege type for the primitive JVM byte

However, it is given unsigend semantics in Frege.

Use Byte only in JArrays or tightly packed records!

Otherwise you'll waste time while not saving space.

Member Functions

signedByteInt
pure native (int)

this gives the Int corresponding to the signed interpretation of the Byte

unsignedByteInt

this gives the Int corresponding to the unsigned interpretation of the Byte

byteIntByte
pure native (byte)

convert an Int to a Byte by chopping off the leading 24 bits.

data Short = pure native short

Short is the Frege type for the primitive JVM short

However, it is given unsigend semantics in Frege.

Use Short only in JArrays or tightly packed records!

Otherwise you'll waste time while not saving space.

Member Functions

signedShortInt
pure native (int)

this gives the Int corresponding to the signed interpretation of Short

unsignedShortInt

this gives the Int corresponding to the unsigned interpretation of Short

shortIntShort
pure native (short)

convert an Int to a Short by chopping off the leading 16 bits.

data JEnum e = pure native java.lang.Enum

Instances

instance ArrayElement (JEnum e)

Member Functions

arrayFromIndexList[(Int, JEnum α)]JArray (JEnum α)

inherited from ArrayElement.arrayFromIndexList

arrayFromIndexListST[(Int, JEnum β)]STMutable α (JArray (JEnum β))

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[JEnum α]JArray (JEnum α)

inherited from ArrayElement.arrayFromList

arrayFromListST[JEnum β]STMutable α (JArray (JEnum β))

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe (JEnum α)]JArray (JEnum α)

inherited from ArrayElement.arrayFromMaybeList

arrayFromMaybeListST[Maybe (JEnum α)]STMutable β (JArray (JEnum α))

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray (JEnum α)Int
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray (JEnum α)IntJEnum α
pure native [i]

inherited from ArrayElement.elemAt

getAtArrayOf α (JEnum β)IntST α (Maybe (JEnum β))
native [i]

inherited from ArrayElement.getAt

getElemAtArrayOf α (JEnum β)IntST α (JEnum β)
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray (JEnum α)IntMaybe (JEnum α)
pure native [i]

inherited from ArrayElement.itemAt

javaClassClass (JEnum α)
native java.lang.Enum.class
listFromArrayJArray (JEnum α) → [JEnum α]

inherited from ArrayElement.listFromArray

maybeListFromArrayJArray (JEnum α) → [Maybe (JEnum α)]

inherited from ArrayElement.maybeListFromArray

modifyAt ∷ (JEnum α → JEnum α) → ArrayOf β (JEnum α)IntST β ()

inherited from ArrayElement.modifyAt

modifyElemAt ∷ (JEnum α → JEnum α) → ArrayOf β (JEnum α)IntST β ()

inherited from ArrayElement.modifyElemAt

newArrayIntSTMutable β (JArray (JEnum α))
native new[]

inherited from ArrayElement.newArray

setAtArrayOf α (JEnum β)IntMaybe (JEnum β)ST α ()
native []=

inherited from ArrayElement.setAt

setElemAtArrayOf β (JEnum α)IntJEnum αST β ()
native []=

inherited from ArrayElement.setElemAt

instance ArrayElement Object

Member Functions

arrayFromIndexList[(Int, Object)]JArray Object

inherited from ArrayElement.arrayFromIndexList

arrayFromIndexListST[(Int, Object)]STMutable α (JArray Object)

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[Object]JArray Object

inherited from ArrayElement.arrayFromList

arrayFromListST[Object]STMutable α (JArray Object)

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe Object]JArray Object

inherited from ArrayElement.arrayFromMaybeList

arrayFromMaybeListST[Maybe Object]STMutable α (JArray Object)

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray ObjectInt
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray ObjectIntObject
pure native [i]

inherited from ArrayElement.elemAt

getAtArrayOf α ObjectIntST α (Maybe Object)
native [i]

inherited from ArrayElement.getAt

getElemAtArrayOf α ObjectIntST α Object
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray ObjectIntMaybe Object
pure native [i]

inherited from ArrayElement.itemAt

javaClassClass Object
native java.lang.Object.class
listFromArrayJArray Object → [Object]

inherited from ArrayElement.listFromArray

maybeListFromArrayJArray Object → [Maybe Object]

inherited from ArrayElement.maybeListFromArray

modifyAt ∷ (ObjectObject) → ArrayOf α ObjectIntST α ()

inherited from ArrayElement.modifyAt

modifyElemAt ∷ (ObjectObject) → ArrayOf α ObjectIntST α ()

inherited from ArrayElement.modifyElemAt

newArrayIntSTMutable α (JArray Object)
native new[]

inherited from ArrayElement.newArray

setAtArrayOf α ObjectIntMaybe ObjectST α ()
native []=

inherited from ArrayElement.setAt

setElemAtArrayOf α ObjectIntObjectST α ()
native []=

inherited from ArrayElement.setElemAt

instance Bounded Byte

Member Functions

maxBoundByte
minBoundByte
instance Bounded Short

Member Functions

maxBoundShort
minBoundShort
instance Enum Byte

Member Functions

enumFromByte → [Byte]
enumFromThenByteByte → [Byte]
enumFromThenToByteByteByte → [Byte]
enumFromToByteByte → [Byte]
fromIntByte
ordByteInt
predByteByte
succByteByte
instance Enum Short

Member Functions

enumFromShort → [Short]
enumFromThenShortShort → [Short]
enumFromThenToShortShortShort → [Short]
enumFromToShortShort → [Short]
fromIntShort
ordShortInt
predShortShort
succShortShort
instance Eq Byte

Member Functions

!=ByteByteBool
pure native !=
infix  7
==ByteByteBool
pure native ==
infix  7
hashCodeByteInt
instance Eq Short

Member Functions

!=ShortShortBool
pure native !=
infix  7
==ShortShortBool
pure native ==
infix  7
hashCodeShortInt
instance Exceptional ClassNotFoundException

Member Functions

javaClassClass ClassNotFoundException
pure native java.lang.ClassNotFoundException.class
instance Exceptional Error

Member Functions

javaClassClass Error
pure native java.lang.Error.class
instance Exceptional ExceptionInInitializerError

Member Functions

javaClassClass ExceptionInInitializerError
pure native java.lang.ExceptionInInitializerError.class
instance Exceptional IOException

Member Functions

javaClassClass IOException
pure native java.io.IOException.class
instance Exceptional IllegalAccessException

Member Functions

javaClassClass IllegalAccessException
pure native java.lang.IllegalAccessException.class
instance Exceptional IllegalArgumentException

Member Functions

javaClassClass IllegalArgumentException
pure native java.lang.IllegalArgumentException.class
instance Exceptional IllegalStateException

Member Functions

javaClassClass IllegalStateException
pure native java.lang.IllegalStateException.class
instance Exceptional IllegalThreadStateException

Member Functions

javaClassClass IllegalThreadStateException
pure native java.lang.IllegalThreadStateException.class
instance Exceptional IndexOutOfBoundsException

Member Functions

javaClassClass IndexOutOfBoundsException
pure native java.lang.IndexOutOfBoundsException.class
instance Exceptional InstantiationException

Member Functions

javaClassClass InstantiationException
pure native java.lang.InstantiationException.class
instance Exceptional InterruptedException

Member Functions

javaClassClass InterruptedException
pure native java.lang.InterruptedException.class
instance Exceptional NoSuchFieldException

Member Functions

javaClassClass NoSuchFieldException
pure native java.lang.NoSuchFieldException.class
instance Exceptional NoSuchMethodError

Member Functions

javaClassClass NoSuchMethodError
pure native java.lang.NoSuchMethodError.class
instance Exceptional NullPointerException

Member Functions

javaClassClass NullPointerException
pure native java.lang.NullPointerException.class
instance Exceptional SecurityException

Member Functions

javaClassClass SecurityException
pure native java.lang.SecurityException.class
instance Exceptional StringIndexOutOfBoundsException

Member Functions

javaClassClass StringIndexOutOfBoundsException
pure native java.lang.StringIndexOutOfBoundsException.class
instance Exceptional Throwable

Member Functions

javaClassClass Throwable
pure native java.lang.Throwable.class
instance Integral Byte

Member Functions

^Num α ⇒ αByte → α
infixr  15

inherited from Integral.^

bigByteInteger
divByteByteByte
infixl  14

inherited from Integral.div

divModByteByte → (Byte, Byte)

inherited from Integral.divMod

evenByteBool
fromIntegralNum α ⇒ Byte → α

inherited from Integral.fromIntegral

gcdByteByteByte

inherited from Integral.gcd

gcdHelperByteByteByte

inherited from Integral.gcdHelper

lcmByteByteByte

inherited from Integral.lcm

modByteByteByte
infixl  14

inherited from Integral.mod

oddByteBool
powfNum α ⇒ αByte → α

inherited from Integral.powf

powgNum α ⇒ αByteα → α

inherited from Integral.powg

quotByteByteByte
infixl  14
quotRemByteByte → (Byte, Byte)

inherited from Integral.quotRem

remByteByteByte
infixl  14
instance Integral Short

Member Functions

^Num α ⇒ αShort → α
infixr  15

inherited from Integral.^

bigShortInteger
divShortShortShort
infixl  14

inherited from Integral.div

divModShortShort → (Short, Short)

inherited from Integral.divMod

evenShortBool
fromIntegralNum α ⇒ Short → α

inherited from Integral.fromIntegral

gcdShortShortShort

inherited from Integral.gcd

gcdHelperShortShortShort

inherited from Integral.gcdHelper

lcmShortShortShort

inherited from Integral.lcm

modShortShortShort
infixl  14

inherited from Integral.mod

oddShortBool
powfNum α ⇒ αShort → α

inherited from Integral.powf

powgNum α ⇒ αShortα → α

inherited from Integral.powg

quotShortShortShort
infixl  14
quotRemShortShort → (Short, Short)

inherited from Integral.quotRem

remShortShortShort
infixl  14
instance Num Byte

Member Functions

*ByteByteByte
infixl  14
+ByteByteByte
infixl  13
-ByteByteByte
infixl  13
absByteByte

A no-op, since Bytes are unsigned

fromIntIntByte
fromIntegerIntegerByte
isInfiniteByteBool

inherited from Num.isInfinite

isNaNByteBool

inherited from Num.isNaN

isNumberByteBool

inherited from Num.isNumber

negateByteByte

inherited from Num.negate

oneByte
signByteInt

Never -1, since Bytes are unsigned

subtractByteByteByte

inherited from Num.subtract

zeroByte
instance Num Short

Member Functions

*ShortShortShort
infixl  14
+ShortShortShort
infixl  13
-ShortShortShort
infixl  13
absShortShort

A no-op, since Shorts are unsigned

fromIntIntShort
fromIntegerIntegerShort
isInfiniteShortBool

inherited from Num.isInfinite

isNaNShortBool

inherited from Num.isNaN

isNumberShortBool

inherited from Num.isNumber

negateShortShort

inherited from Num.negate

oneShort
signShortInt

Never -1, since Shorts are unsigned

subtractShortShortShort

inherited from Num.subtract

zeroShort
instance Ord Byte

The Ord instance for Bytes assumes that bytes are unsigned.

Hence

 byte (-1) > byte 1   

Member Functions

<ByteByteBool
infix  9
<=ByteByteBool
infix  9
<=>ByteByteOrdering
infix  8
>ByteByteBool
infix  9
>=ByteByteBool
infix  9
compareByteByteOrdering
infix  8

inherited from Ord.compare

maxByteByteByte

inherited from Ord.max

minByteByteByte

inherited from Ord.min

instance Ord Short

The Ord instance for Bytes assumes that bytes are unsigned.

Hence

 byte (-1) > byte 1   

Member Functions

<ShortShortBool
infix  9
<=ShortShortBool
infix  9
<=>ShortShortOrdering
infix  8
>ShortShortBool
infix  9
>=ShortShortBool
infix  9
compareShortShortOrdering
infix  8

inherited from Ord.compare

maxShortShortShort

inherited from Ord.max

minShortShortShort

inherited from Ord.min

instance PrimitiveArrayElement Byte

Member Functions

arrayFromIndexList[(Int, Byte)]JArray Byte

inherited from ArrayElement.arrayFromIndexList

arrayFromIndexListST[(Int, Byte)]STMutable α (JArray Byte)

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[Byte]JArray Byte

inherited from ArrayElement.arrayFromList

arrayFromListST[Byte]STMutable α (JArray Byte)

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe Byte]JArray Byte

inherited from ArrayElement.arrayFromMaybeList

arrayFromMaybeListST[Maybe Byte]STMutable α (JArray Byte)

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray ByteInt
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray ByteIntByte
pure native [i]

inherited from ArrayElement.elemAt

getAtArrayOf α ByteIntST α (Maybe Byte)

inherited from PrimitiveArrayElement.getAt

getElemAtArrayOf α ByteIntST α Byte
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray ByteIntMaybe Byte

inherited from PrimitiveArrayElement.itemAt

javaClassClass Byte
native byte.class
listFromArrayJArray Byte → [Byte]

inherited from ArrayElement.listFromArray

maybeListFromArrayJArray Byte → [Maybe Byte]

inherited from ArrayElement.maybeListFromArray

modifyAt ∷ (ByteByte) → ArrayOf α ByteIntST α ()

inherited from ArrayElement.modifyAt

modifyElemAt ∷ (ByteByte) → ArrayOf α ByteIntST α ()

inherited from ArrayElement.modifyElemAt

newArrayIntSTMutable α (JArray Byte)
native new[]

inherited from ArrayElement.newArray

setAtArrayOf α ByteIntMaybe ByteST α ()

inherited from PrimitiveArrayElement.setAt

setElemAtArrayOf α ByteIntByteST α ()
native []=

inherited from ArrayElement.setElemAt

instance PrimitiveArrayElement Short

Member Functions

arrayFromIndexList[(Int, Short)]JArray Short

inherited from ArrayElement.arrayFromIndexList

arrayFromIndexListST[(Int, Short)]STMutable α (JArray Short)

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[Short]JArray Short

inherited from ArrayElement.arrayFromList

arrayFromListST[Short]STMutable α (JArray Short)

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe Short]JArray Short

inherited from ArrayElement.arrayFromMaybeList

arrayFromMaybeListST[Maybe Short]STMutable α (JArray Short)

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray ShortInt
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray ShortIntShort
pure native [i]

inherited from ArrayElement.elemAt

getAtArrayOf α ShortIntST α (Maybe Short)

inherited from PrimitiveArrayElement.getAt

getElemAtArrayOf α ShortIntST α Short
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray ShortIntMaybe Short

inherited from PrimitiveArrayElement.itemAt

javaClassClass Short
native short.class
listFromArrayJArray Short → [Short]

inherited from ArrayElement.listFromArray

maybeListFromArrayJArray Short → [Maybe Short]

inherited from ArrayElement.maybeListFromArray

modifyAt ∷ (ShortShort) → ArrayOf α ShortIntST α ()

inherited from ArrayElement.modifyAt

modifyElemAt ∷ (ShortShort) → ArrayOf α ShortIntST α ()

inherited from ArrayElement.modifyElemAt

newArrayIntSTMutable α (JArray Short)
native new[]

inherited from ArrayElement.newArray

setAtArrayOf α ShortIntMaybe ShortST α ()

inherited from PrimitiveArrayElement.setAt

setElemAtArrayOf α ShortIntShortST α ()
native []=

inherited from ArrayElement.setElemAt

instance Serializable StringBuffer

Member Functions

copySerializableStringBufferStringBuffer
pure native frege.runtime.Runtime.copySerializable

inherited from Serializable.copySerializable

freezeStringBufferStringBuffer

inherited from Serializable.freeze

thawStringBufferStringBuffer

inherited from Serializable.thaw

Functions and Values by Type

MutableIO RunnableIO Thread

Thread.new

JArray ByteIntMaybe Byte

PrimitiveArrayElement_Byte.itemAt

JArray ByteIntByte

PrimitiveArrayElement_Byte.elemAt

JArray Byte → [Maybe Byte]

PrimitiveArrayElement_Byte.maybeListFromArray

JArray Byte → [Byte]

PrimitiveArrayElement_Byte.listFromArray

JArray ByteInt

PrimitiveArrayElement_Byte.arrayLength

JArray ShortIntMaybe Short

PrimitiveArrayElement_Short.itemAt

JArray ShortIntShort

PrimitiveArrayElement_Short.elemAt

JArray Short → [Maybe Short]

PrimitiveArrayElement_Short.maybeListFromArray

JArray Short → [Short]

PrimitiveArrayElement_Short.listFromArray

JArray ShortInt

PrimitiveArrayElement_Short.arrayLength

JArray ObjectIntMaybe Object

ArrayElement_Object.itemAt

JArray ObjectIntObject

ArrayElement_Object.elemAt

JArray Object → [Maybe Object]

ArrayElement_Object.maybeListFromArray

JArray Object → [Object]

ArrayElement_Object.listFromArray

JArray ObjectInt

ArrayElement_Object.arrayLength

StringMaybe String

System.getenv, System.getProperty

StringCharSequence

CharSequence.fromString

[(Int, Byte)] → JArray Byte

PrimitiveArrayElement_Byte.arrayFromIndexList

[(Int, Short)] → JArray Short

PrimitiveArrayElement_Short.arrayFromIndexList

[(Int, Object)] → JArray Object

ArrayElement_Object.arrayFromIndexList

[Maybe Byte] → JArray Byte

PrimitiveArrayElement_Byte.arrayFromMaybeList

[Maybe Short] → JArray Short

PrimitiveArrayElement_Short.arrayFromMaybeList

[Maybe Object] → JArray Object

ArrayElement_Object.arrayFromMaybeList

[Byte] → JArray Byte

PrimitiveArrayElement_Byte.arrayFromList

[Short] → JArray Short

PrimitiveArrayElement_Short.arrayFromList

[Object] → JArray Object

ArrayElement_Object.arrayFromList

ByteByteByte → [Byte]

Enum_Byte.enumFromThenTo

ByteByte → (Byte, Byte)

Integral_Byte.quotRem, Integral_Byte.divMod

ByteByte → [Byte]

Enum_Byte.enumFromThen, Enum_Byte.enumFromTo

ByteByteByte

Integral_Byte.rem, Integral_Byte.quot, Integral_Byte.lcm, Integral_Byte.mod, Integral_Byte.gcd, Integral_Byte.div, Integral_Byte.gcdHelper, Num_Byte.subtract, Num_Byte.-, Num_Byte.*, Num_Byte.+, Ord_Byte.min, Ord_Byte.max

ByteByteBool

Eq_Byte.!=, Eq_Byte.==, Ord_Byte.>, Ord_Byte.<, Ord_Byte.<=, Ord_Byte.>=

ByteByteOrdering

Ord_Byte.compare, Ord_Byte.<=>

Byte → [Byte]

Enum_Byte.enumFrom

ByteByte

Enum_Byte.succ, Enum_Byte.pred, Num_Byte.abs, Num_Byte.negate

ByteBool

Integral_Byte.odd, Integral_Byte.even, Num_Byte.isNumber, Num_Byte.isInfinite, Num_Byte.isNaN

ByteInt

Enum_Byte.ord, Eq_Byte.hashCode, Num_Byte.sign, Byte.unsigned, Byte.signed

ByteInteger

Integral_Byte.big

CharSequenceIntIntCharSequence

CharSequence.subSeq

CharSequenceIntChar

CharSequence.charAt

CharSequenceIntInt

CharSequence.codePointAt

CharSequenceString

CharSequence.toString

CharSequenceInt

CharSequence.length

ShortShortShort → [Short]

Enum_Short.enumFromThenTo

ShortShort → (Short, Short)

Integral_Short.quotRem, Integral_Short.divMod

ShortShort → [Short]

Enum_Short.enumFromThen, Enum_Short.enumFromTo

ShortShortShort

Integral_Short.rem, Integral_Short.quot, Integral_Short.lcm, Integral_Short.mod, Integral_Short.gcd, Integral_Short.div, Integral_Short.gcdHelper, Num_Short.subtract, Num_Short.-, Num_Short.*, Num_Short.+, Ord_Short.min, Ord_Short.max

ShortShortBool

Eq_Short.!=, Eq_Short.==, Ord_Short.>, Ord_Short.<, Ord_Short.<=, Ord_Short.>=

ShortShortOrdering

Ord_Short.compare, Ord_Short.<=>

Short → [Short]

Enum_Short.enumFrom

ShortShort

Enum_Short.succ, Enum_Short.pred, Num_Short.abs, Num_Short.negate

ShortBool

Integral_Short.odd, Integral_Short.even, Num_Short.isNumber, Num_Short.isInfinite, Num_Short.isNaN

ShortInt

Enum_Short.ord, Eq_Short.hashCode, Num_Short.sign, Short.unsigned, Short.signed

ShortInteger

Integral_Short.big

StringBufferStringBuffer

Serializable_StringBuffer.thaw, Serializable_StringBuffer.copySerializable, Serializable_StringBuffer.freeze

ThreadStringIO ()

Thread.setName

ThreadIO String

Thread.getName

ThreadIO ()

Thread.start

()IO Thread

Thread.current

()IO Long

System.nanoTime, System.currentTimeMillis

()String

System.lineSeparator

IntIO ()

System.exit

IntByte

byte, Enum_Byte.from, Num_Byte.fromInt

IntShort

short, Enum_Short.from, Num_Short.fromInt

IntegerByte

Num_Byte.fromInteger

IntegerShort

Num_Short.fromInteger

LongIO ()

Thread.sleep

IO ClassLoader

ClassLoader.current

Class Byte

PrimitiveArrayElement_Byte.javaClass

Class Error

Exceptional_Error.javaClass

Class ExceptionInInitializerError

Exceptional_ExceptionInInitializerError.javaClass

Class IOException

Exceptional_IOException.javaClass

Class IllegalAccessException

Exceptional_IllegalAccessException.javaClass

Class IllegalArgumentException

Exceptional_IllegalArgumentException.javaClass

Class IllegalStateException

Exceptional_IllegalStateException.javaClass

Class IllegalThreadStateException

Exceptional_IllegalThreadStateException.javaClass

Class IndexOutOfBoundsException

Exceptional_IndexOutOfBoundsException.javaClass

Class InstantiationException

Exceptional_InstantiationException.javaClass

Class NoSuchFieldException

Exceptional_NoSuchFieldException.javaClass

Class NoSuchMethodError

Exceptional_NoSuchMethodError.javaClass

Class NullPointerException

Exceptional_NullPointerException.javaClass

Class SecurityException

Exceptional_SecurityException.javaClass

Class Short

PrimitiveArrayElement_Short.javaClass

Class StringIndexOutOfBoundsException

Exceptional_StringIndexOutOfBoundsException.javaClass

Class ClassNotFoundException

Exceptional_ClassNotFoundException.javaClass

Class InterruptedException

Exceptional_InterruptedException.javaClass

Class Object

ArrayElement_Object.javaClass

Class Throwable

Exceptional_Throwable.javaClass

Byte

Bounded_Byte.minBound, Bounded_Byte.maxBound, Num_Byte.zero, Num_Byte.one

PrintStream

System.out, System.err

Short

Bounded_Short.minBound, Bounded_Short.maxBound, Num_Short.zero, Num_Short.one

(ByteByte) → ArrayOf α ByteIntST α ()

PrimitiveArrayElement_Byte.modifyElemAt, PrimitiveArrayElement_Byte.modifyAt

(ShortShort) → ArrayOf α ShortIntST α ()

PrimitiveArrayElement_Short.modifyElemAt, PrimitiveArrayElement_Short.modifyAt

(ObjectObject) → ArrayOf α ObjectIntST α ()

ArrayElement_Object.modifyElemAt, ArrayElement_Object.modifyAt

ST s ()STMutable s Runnable

Runnable.new

Mutable s AppendableStringSTMutable s Appendable

Appendable.appendβ

Mutable s AppendableCharSTMutable s Appendable

Appendable.appendα

Mutable s RunnableST s ()

Runnable.run

Mutable s StringBufferArrayOf s CharIntIntSTMutable s StringBuffer

StringBuffer.appendκ

Mutable s StringBufferArrayOf s CharSTMutable s StringBuffer

StringBuffer.appendß

Mutable s StringBufferMutable s StringBufferSTMutable s StringBuffer

StringBuffer.appendμ

Mutable s StringBufferStringIntST s Int

StringBuffer.lastIndexOfβ, StringBuffer.indexOfβ

Mutable s StringBufferStringSTMutable s StringBuffer

StringBuffer.appendλ

Mutable s StringBufferStringST s Int

StringBuffer.lastIndexOfα, StringBuffer.indexOfα

Mutable s StringBufferCharSequenceIntIntSTMutable s StringBuffer

StringBuffer.appendι

Mutable s StringBufferCharSequenceSTMutable s StringBuffer

StringBuffer.appendθ

Mutable s StringBufferBoolSTMutable s StringBuffer

StringBuffer.appendγ

Mutable s StringBufferCharSTMutable s StringBuffer

StringBuffer.appendδ

Mutable s StringBufferDoubleSTMutable s StringBuffer

StringBuffer.appendβ

Mutable s StringBufferFloatSTMutable s StringBuffer

StringBuffer.appendα

Mutable s StringBufferIntArrayOf s CharIntIntSTMutable s StringBuffer

StringBuffer.insertη

Mutable s StringBufferIntArrayOf s CharSTMutable s StringBuffer

StringBuffer.insertα

Mutable s StringBufferIntStringSTMutable s StringBuffer

StringBuffer.insertι

Mutable s StringBufferIntCharSequenceIntIntSTMutable s StringBuffer

StringBuffer.insertγ

Mutable s StringBufferIntCharSequenceSTMutable s StringBuffer

StringBuffer.insertβ

Mutable s StringBufferIntBoolSTMutable s StringBuffer

StringBuffer.insertδ

Mutable s StringBufferIntCharSTMutable s StringBuffer

StringBuffer.insertε

Mutable s StringBufferIntCharST s ()

StringBuffer.setCharAt

Mutable s StringBufferIntDoubleSTMutable s StringBuffer

StringBuffer.insertζ

Mutable s StringBufferIntFloatSTMutable s StringBuffer

StringBuffer.insertß

Mutable s StringBufferIntIntArrayOf s CharIntST s ()

StringBuffer.getChars

Mutable s StringBufferIntIntStringSTMutable s StringBuffer

StringBuffer.replace

Mutable s StringBufferIntIntSTMutable s StringBuffer

StringBuffer.insertλ, StringBuffer.delete

Mutable s StringBufferIntIntST s String

StringBuffer.substringβ

Mutable s StringBufferIntIntST s CharSequence

StringBuffer.subSequence

Mutable s StringBufferIntIntST s Int

StringBuffer.offsetByCodePoints, StringBuffer.codePointCount

Mutable s StringBufferIntLongSTMutable s StringBuffer

StringBuffer.insertκ

Mutable s StringBufferIntObjectSTMutable s StringBuffer

StringBuffer.insertθ

Mutable s StringBufferIntSTMutable s StringBuffer

StringBuffer.deleteCharAt, StringBuffer.appendε, StringBuffer.appendCodePoint

Mutable s StringBufferIntST s String

StringBuffer.substringα

Mutable s StringBufferIntST s ()

StringBuffer.setLength, StringBuffer.ensureCapacity

Mutable s StringBufferIntST s Char

StringBuffer.charAt

Mutable s StringBufferIntST s Int

StringBuffer.codePointAt, StringBuffer.codePointBefore

Mutable s StringBufferLongSTMutable s StringBuffer

StringBuffer.appendζ

Mutable s StringBufferObjectSTMutable s StringBuffer

StringBuffer.appendη

Mutable s StringBufferSTMutable s StringBuffer

StringBuffer.reverse

Mutable s StringBufferST s String

StringBuffer.toString

Mutable s StringBufferST s ()

StringBuffer.trimToSize

Mutable s StringBufferST s Int

StringBuffer.length, StringBuffer.capacity

Mutable s StringBuilderST s String

StringBuilder.toString

ArrayOf α ByteIntMaybe ByteST α ()

PrimitiveArrayElement_Byte.setAt

ArrayOf α ByteIntByteST α ()

PrimitiveArrayElement_Byte.setElemAt

ArrayOf α ByteIntST α (Maybe Byte)

PrimitiveArrayElement_Byte.getAt

ArrayOf α ByteIntST α Byte

PrimitiveArrayElement_Byte.getElemAt

ArrayOf α ShortIntMaybe ShortST α ()

PrimitiveArrayElement_Short.setAt

ArrayOf α ShortIntShortST α ()

PrimitiveArrayElement_Short.setElemAt

ArrayOf α ShortIntST α (Maybe Short)

PrimitiveArrayElement_Short.getAt

ArrayOf α ShortIntST α Short

PrimitiveArrayElement_Short.getElemAt

ArrayOf α ObjectIntMaybe ObjectST α ()

ArrayElement_Object.setAt

ArrayOf α ObjectIntObjectST α ()

ArrayElement_Object.setElemAt

ArrayOf α ObjectIntST α (Maybe Object)

ArrayElement_Object.getAt

ArrayOf α ObjectIntST α Object

ArrayElement_Object.getElemAt

Comparable t → t → Int

Comparable.compareTo

JArray (JEnum α) → IntJEnum α

ArrayElement_JEnum.elemAt

JArray (JEnum α) → IntMaybe (JEnum α)

ArrayElement_JEnum.itemAt

JArray (JEnum α) → [JEnum α]

ArrayElement_JEnum.listFromArray

JArray (JEnum α) → [Maybe (JEnum α)]

ArrayElement_JEnum.maybeListFromArray

JArray (JEnum α) → Int

ArrayElement_JEnum.arrayLength

Class a → IO ClassLoader

ClassLoader.getClassLoader

StringSTMutable s StringBuffer

StringBuffer.newβ

StringSTMutable s StringBuilder

StringBuilder.new

[(Int, JEnum α)] → JArray (JEnum α)

ArrayElement_JEnum.arrayFromIndexList

[(Int, Byte)] → STMutable α (JArray Byte)

PrimitiveArrayElement_Byte.arrayFromIndexListST

[(Int, Short)] → STMutable α (JArray Short)

PrimitiveArrayElement_Short.arrayFromIndexListST

[(Int, Object)] → STMutable α (JArray Object)

ArrayElement_Object.arrayFromIndexListST

[JEnum α] → JArray (JEnum α)

ArrayElement_JEnum.arrayFromList

[Maybe (JEnum α)] → JArray (JEnum α)

ArrayElement_JEnum.arrayFromMaybeList

[Maybe Byte] → STMutable α (JArray Byte)

PrimitiveArrayElement_Byte.arrayFromMaybeListST

[Maybe Short] → STMutable α (JArray Short)

PrimitiveArrayElement_Short.arrayFromMaybeListST

[Maybe Object] → STMutable α (JArray Object)

ArrayElement_Object.arrayFromMaybeListST

[Byte] → STMutable α (JArray Byte)

PrimitiveArrayElement_Byte.arrayFromListST

[Short] → STMutable α (JArray Short)

PrimitiveArrayElement_Short.arrayFromListST

[Object] → STMutable α (JArray Object)

ArrayElement_Object.arrayFromListST

CharSequenceSTMutable s StringBuffer

StringBuffer.newα

()STMutable s StringBuffer

StringBuffer.newδ

IntSTMutable s StringBuffer

StringBuffer.newγ

IntSTMutable α (JArray Byte)

PrimitiveArrayElement_Byte.newArray

IntSTMutable α (JArray Short)

PrimitiveArrayElement_Short.newArray

IntSTMutable α (JArray Object)

ArrayElement_Object.newArray

Num α ⇒ Byte → α

Integral_Byte.fromIntegral

Num α ⇒ Short → α

Integral_Short.fromIntegral

Num α ⇒ α → Byte → α → α

Integral_Byte.powg

Num α ⇒ α → Byte → α

Integral_Byte.powf, Integral_Byte.^

Num α ⇒ α → Short → α → α

Integral_Short.powg

Num α ⇒ α → Short → α

Integral_Short.powf, Integral_Short.^

Class (JEnum α)

ArrayElement_JEnum.javaClass

ω

Appendable.append, StringBuffer.substring, StringBuffer.new, StringBuffer.lastIndexOf, StringBuffer.insert, StringBuffer.indexOf, StringBuffer.append

(JEnum α → JEnum α) → ArrayOf β (JEnum α) → IntST β ()

ArrayElement_JEnum.modifyElemAt, ArrayElement_JEnum.modifyAt

ArrayOf α (JEnum β) → IntMaybe (JEnum β) → ST α ()

ArrayElement_JEnum.setAt

ArrayOf α (JEnum β) → IntST α (JEnum β)

ArrayElement_JEnum.getElemAt

ArrayOf α (JEnum β) → IntST α (Maybe (JEnum β))

ArrayElement_JEnum.getAt

ArrayOf β (JEnum α) → IntJEnum α → ST β ()

ArrayElement_JEnum.setElemAt

Iterable t → STMutable s (Iterator t)

Iterable.iterator

[(Int, JEnum β)] → STMutable α (JArray (JEnum β))

ArrayElement_JEnum.arrayFromIndexListST

[JEnum β] → STMutable α (JArray (JEnum β))

ArrayElement_JEnum.arrayFromListST

[Maybe (JEnum α)] → STMutable β (JArray (JEnum α))

ArrayElement_JEnum.arrayFromMaybeListST

IntSTMutable β (JArray (JEnum α))

ArrayElement_JEnum.newArray

Valid HTML 4.01 Strict