Module Java.Lang

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

Imports

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

Table of Content

Definitions

data Appendable = native java.lang.Appendable

data Boolean = pure native java.lang.Boolean

data Byte = pure native byte

data CharSequence = pure native java.lang.CharSequence

data Character = pure native java.lang.Character

data ClassLoader = native java.lang.ClassLoader

data Comparable t = pure native java.lang.Comparable

data Error = pure native java.lang.Error

data ExceptionInInitializerError = pure native java.lang.ExceptionInInitializerError

data IOException = pure native java.io.IOException

data IllegalAccessException = pure native java.lang.IllegalAccessException

data IllegalArgumentException = pure native java.lang.IllegalArgumentException

data IllegalStateException = pure native java.lang.IllegalStateException

data IllegalThreadStateException = pure native java.lang.IllegalThreadStateException

data IndexOutOfBoundsException = pure native java.lang.IndexOutOfBoundsException

data InstantiationException = pure native java.lang.InstantiationException

data Iterable t = pure native java.lang.Iterable

data Iterator e = native java.util.Iterator

data JEnum e = pure native java.lang.Enum

data MetaFP = pure native frege.runtime.Meta.FregePackage

data NoSuchFieldException = pure native java.lang.NoSuchFieldException

data NoSuchMethodError = pure native java.lang.NoSuchMethodError

data NullPointerException = pure native java.lang.NullPointerException

data PrintStream = native java.io.PrintStream

data Readable = native java.lang.Readable

data Runnable = native java.lang.Runnable

data SecurityException = pure native java.lang.SecurityException

data Short = pure native short

data StringBuffer = native java.lang.StringBuffer

data StringBuilder = native java.lang.StringBuilder

data StringIndexOutOfBoundsException = pure native java.lang.StringIndexOutOfBoundsException

data System = pure native java.lang.System

data Thread = native java.lang.Thread

byte ∷ Int → Byte

short ∷ Int → Short
Re-Exported Items

data ClassNotFoundException = pure native java.lang.ClassNotFoundException

data Exception = pure native java.lang.Exception

data InterruptedException = pure native java.lang.InterruptedException

data NumberFormatException = pure native java.lang.NumberFormatException

data Object = pure native java.lang.Object

data Throwable = pure native java.lang.Throwable
Instances

instance ArrayElement Object

instance Bounded Byte

instance Bounded Short

instance Enum Byte

instance Enum Short

instance Eq Byte

instance Eq Short

instance Exceptional ClassNotFoundException

instance Exceptional Error

instance Exceptional ExceptionInInitializerError

instance Exceptional IOException

instance Exceptional IllegalAccessException

instance Exceptional IllegalArgumentException

instance Exceptional IllegalStateException

instance Exceptional IllegalThreadStateException

instance Exceptional IndexOutOfBoundsException

instance Exceptional InstantiationException

instance Exceptional InterruptedException

instance Exceptional NoSuchFieldException

instance Exceptional NoSuchMethodError

instance Exceptional NullPointerException

instance Exceptional SecurityException

instance Exceptional StringIndexOutOfBoundsException

instance Exceptional Throwable

instance Integral Byte

instance Integral Short

instance Num Byte

instance Num Short

instance Ord Byte

instance Ord Short

instance PrimitiveArrayElement Byte

instance PrimitiveArrayElement Short

instance Serializable StringBuffer
Functions and Values by Type

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

Member Functions

new ∷ String → IllegalArgumentException
| String → Throwable → IllegalArgumentException
pure native new: temporary new name until name lookup bug fixed
new𝖆 ∷ String → IllegalArgumentException
pure native new overloads new: temporary new name until name lookup bug fixed
new𝖇 ∷ String → Throwable → IllegalArgumentException
pure native new overloads new: temporary new name until name lookup bug fixed

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

new ∷ ST 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.

run ∷ Mutable s Runnable → ST s ()
native run

perform the ST action that is associated with this runnable.

data MetaFP = pure native frege.runtime.Meta.FregePackage

data ClassLoader = native java.lang.ClassLoader

Member Functions

current ∷ STMutable 𝖆 ClassLoader
getClassLoader ∷ Class a → STMutable s ClassLoader
native getClassLoader

data PrintStream = native java.io.PrintStream

data Appendable = native java.lang.Appendable

Member Functions

append ∷ Mutable s Appendable → Char → STMutable s Appendable
            throws IOException
        | Mutable s Appendable → String → STMutable s Appendable
            throws IOException
native append
append𝖆 ∷ Mutable s Appendable → Char → STMutable s Appendable
native append throws IOException overloads append
append𝖇 ∷ Mutable s Appendable → String → STMutable s Appendable
native append throws IOException overloads append

data System = pure native java.lang.System

Member Functions

availableProcessors ∷ () → IO Int
native java.lang.Runtime.getRuntime().availableProcessors: expose memory / cpu related functions here for convenience
currentTimeMillis ∷ () → IO Long
native java.lang.System.currentTimeMillis
err ∷ MutableIO PrintStream
native java.lang.System.err: nowarn: System.err is not supposed to change
exit ∷ Int → IO ()
native java.lang.System.exit
freeMemory ∷ () → IO Long
native java.lang.Runtime.getRuntime().freeMemory
getProperty ∷ String → Maybe String
pure native java.lang.System.getProperty
getenv ∷ String → Maybe String
pure native java.lang.System.getenv
lineSeparator ∷ () → String
pure native java.lang.System.lineSeparator
maxMemory ∷ () → IO Long
native java.lang.Runtime.getRuntime().maxMemory
nanoTime ∷ () → IO Long
native java.lang.System.nanoTime
out ∷ MutableIO PrintStream
native java.lang.System.out: nowarn: System.out is not supposed to change
totalMemory ∷ () → IO Long
native java.lang.Runtime.getRuntime().totalMemory

data CharSequence = pure native java.lang.CharSequence

Member Functions

charAt ∷ CharSequence → Int → Char
pure native charAt

codePointAt ∷ CharSequence → Int → Int
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.

Member Functions

new ∷ String → STMutable s StringBuilder
native new
toString ∷ Mutable s StringBuilder → ST s String
native toString

data Thread = native java.lang.Thread

An OS thread

Member Functions

current ∷ () → STMutable RealWorld Thread
native java.lang.Thread.currentThread: Obtain the current Thread
getName ∷ MutableIO Thread → IO String
native getName
new ∷ MutableIO Runnable → STMutable RealWorld Thread
native new
setName ∷ MutableIO Thread → String → IO ()
native setName
sleep ∷ Long → IO ()
native java.lang.Thread.sleep throws InterruptedException: Sleep for a number of milliseconds.
start ∷ MutableIO Thread → IO ()
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

append ∷ Mutable s StringBuffer → Float → STMutable s StringBuffer
        | Mutable s StringBuffer → Double → STMutable s StringBuffer
        | Mutable s StringBuffer → Bool → STMutable s StringBuffer
        | Mutable s StringBuffer → Char → STMutable s StringBuffer
        | Mutable s StringBuffer → Int → STMutable s StringBuffer
        | Mutable s StringBuffer → Long → STMutable s StringBuffer
        | Mutable s StringBuffer → Object → STMutable s StringBuffer
        | Mutable s StringBuffer → CharSequence → STMutable s StringBuffer
        | Mutable s StringBuffer → CharSequence → Int → Int → STMutable s StringBuffer
        | Mutable s StringBuffer → ArrayOf s Char → STMutable s StringBuffer
        | Mutable s StringBuffer → ArrayOf s Char → Int → Int → STMutable s StringBuffer
        | Mutable s StringBuffer → String → STMutable s StringBuffer
        | Mutable s StringBuffer → Mutable s StringBuffer → STMutable s StringBuffer
native append
appendCodePoint ∷ Mutable s StringBuffer → Int → STMutable s StringBuffer
native appendCodePoint
append𝖆 ∷ Mutable s StringBuffer → Float → STMutable s StringBuffer
native append overloads append
append𝖇 ∷ Mutable s StringBuffer → Double → STMutable s StringBuffer
native append overloads append
append𝖈 ∷ Mutable s StringBuffer → Bool → STMutable s StringBuffer
native append overloads append
append𝖉 ∷ Mutable s StringBuffer → Char → STMutable s StringBuffer
native append overloads append
append𝖊 ∷ Mutable s StringBuffer → Int → STMutable s StringBuffer
native append overloads append
append𝖋 ∷ Mutable s StringBuffer → Long → STMutable s StringBuffer
native append overloads append
append𝖌 ∷ Mutable s StringBuffer → Object → STMutable s StringBuffer
native append overloads append
append𝖍 ∷ Mutable s StringBuffer → CharSequence → STMutable s StringBuffer
native append overloads append
append𝖎 ∷ Mutable s StringBuffer → CharSequence → Int → Int → STMutable s StringBuffer
native append overloads append
append𝖏 ∷ Mutable s StringBuffer → ArrayOf s Char → STMutable s StringBuffer
native append overloads append
append𝖐 ∷ Mutable s StringBuffer → ArrayOf s Char → Int → Int → STMutable s StringBuffer
native append overloads append
append𝖑 ∷ Mutable s StringBuffer → String → STMutable s StringBuffer
native append overloads append
append𝖒 ∷ Mutable s StringBuffer → Mutable s StringBuffer → STMutable s StringBuffer
native append overloads append
capacity ∷ Mutable s StringBuffer → ST s Int
native capacity
charAt ∷ Mutable s StringBuffer → Int → ST s Char
native charAt
codePointAt ∷ Mutable s StringBuffer → Int → ST s Int
native codePointAt
codePointBefore ∷ Mutable s StringBuffer → Int → ST s Int
native codePointBefore
codePointCount ∷ Mutable s StringBuffer → Int → Int → ST s Int
native codePointCount
delete ∷ Mutable s StringBuffer → Int → Int → STMutable s StringBuffer
native delete
deleteCharAt ∷ Mutable s StringBuffer → Int → STMutable s StringBuffer
native deleteCharAt
ensureCapacity ∷ Mutable s StringBuffer → Int → ST s ()
native ensureCapacity
getChars ∷ Mutable s StringBuffer → Int → Int → ArrayOf s Char → Int → ST s ()
native getChars
indexOf ∷ Mutable s StringBuffer → String → ST s Int
| Mutable s StringBuffer → String → Int → ST s Int
native indexOf
indexOf𝖆 ∷ Mutable s StringBuffer → String → ST s Int
native indexOf overloads indexOf
indexOf𝖇 ∷ Mutable s StringBuffer → String → Int → ST s Int
native indexOf overloads indexOf
insert ∷ Mutable s StringBuffer → Int → ArrayOf s Char → STMutable s StringBuffer
        | Mutable s StringBuffer → Int → CharSequence → STMutable s StringBuffer
        | Mutable s StringBuffer → Int → CharSequence → Int → Int → STMutable s StringBuffer
        | Mutable s StringBuffer → Int → Bool → STMutable s StringBuffer
        | Mutable s StringBuffer → Int → Char → STMutable s StringBuffer
        | Mutable s StringBuffer → Int → Double → STMutable s StringBuffer
        | Mutable s StringBuffer → Int → ArrayOf s Char → Int → Int → STMutable s StringBuffer
        | Mutable s StringBuffer → Int → Object → STMutable s StringBuffer
        | Mutable s StringBuffer → Int → String → STMutable s StringBuffer
        | Mutable s StringBuffer → Int → Float → STMutable s StringBuffer
        | Mutable s StringBuffer → Int → Long → STMutable s StringBuffer
        | Mutable s StringBuffer → Int → Int → STMutable s StringBuffer
native insert
insert𝖆 ∷ Mutable s StringBuffer → Int → ArrayOf s Char → STMutable s StringBuffer
native insert overloads insert
insert𝖇 ∷ Mutable s StringBuffer → Int → CharSequence → STMutable s StringBuffer
native insert overloads insert
insert𝖈 ∷ Mutable s StringBuffer → Int → CharSequence → Int → Int → STMutable s StringBuffer
native insert overloads insert
insert𝖉 ∷ Mutable s StringBuffer → Int → Bool → STMutable s StringBuffer
native insert overloads insert
insert𝖊 ∷ Mutable s StringBuffer → Int → Char → STMutable s StringBuffer
native insert overloads insert
insert𝖋 ∷ Mutable s StringBuffer → Int → Double → STMutable s StringBuffer
native insert overloads insert
insert𝖌 ∷ Mutable s StringBuffer → Int → ArrayOf s Char → Int → Int → STMutable s StringBuffer
native insert overloads insert
insert𝖍 ∷ Mutable s StringBuffer → Int → Object → STMutable s StringBuffer
native insert overloads insert
insert𝖎 ∷ Mutable s StringBuffer → Int → String → STMutable s StringBuffer
native insert overloads insert
insert𝖏 ∷ Mutable s StringBuffer → Int → Float → STMutable s StringBuffer
native insert overloads insert
insert𝖐 ∷ Mutable s StringBuffer → Int → Long → STMutable s StringBuffer
native insert overloads insert
insert𝖑 ∷ Mutable s StringBuffer → Int → Int → STMutable s StringBuffer
native insert overloads insert
lastIndexOf ∷ Mutable s StringBuffer → String → ST s Int
| Mutable s StringBuffer → String → Int → ST s Int
native lastIndexOf
lastIndexOf𝖆 ∷ Mutable s StringBuffer → String → ST s Int
native lastIndexOf overloads lastIndexOf
lastIndexOf𝖇 ∷ Mutable s StringBuffer → String → Int → ST s Int
native lastIndexOf overloads lastIndexOf
length ∷ Mutable s StringBuffer → ST s Int
native length
new ∷ CharSequence → STMutable s StringBuffer
     | String → STMutable s StringBuffer
     | Int → STMutable s StringBuffer
     | () → STMutable s StringBuffer
native new
new𝖆 ∷ CharSequence → STMutable s StringBuffer
native new overloads new
new𝖇 ∷ String → STMutable s StringBuffer
native new overloads new
new𝖈 ∷ Int → STMutable s StringBuffer
native new overloads new
new𝖉 ∷ () → STMutable s StringBuffer
native new overloads new
offsetByCodePoints ∷ Mutable s StringBuffer → Int → Int → ST s Int
native offsetByCodePoints
replace ∷ Mutable s StringBuffer → Int → Int → String → STMutable s StringBuffer
native replace
reverse ∷ Mutable s StringBuffer → STMutable s StringBuffer
native reverse
setCharAt ∷ Mutable s StringBuffer → Int → Char → ST s ()
native setCharAt
setLength ∷ Mutable s StringBuffer → Int → ST s ()
native setLength
subSequence ∷ Mutable s StringBuffer → Int → Int → ST s CharSequence
native subSequence
substring ∷ Mutable s StringBuffer → Int → ST s String
| Mutable s StringBuffer → Int → Int → ST s String
native substring
substring𝖆 ∷ Mutable s StringBuffer → Int → ST s String
native substring overloads substring
substring𝖇 ∷ Mutable s StringBuffer → Int → Int → ST s String
native substring overloads substring
toString ∷ Mutable s StringBuffer → ST s String
native toString
trimToSize ∷ Mutable s StringBuffer → ST s ()
native trimToSize

data Comparable t = pure native java.lang.Comparable

Member Functions

compareTo ∷ Comparable t → t → Int
pure native compareTo

data Iterator e = native java.util.Iterator

data Iterable t = pure native java.lang.Iterable

Member Functions

iterator ∷ Iterable t → STMutable 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

signed ∷ Byte → Int
pure native (int): this gives the Int corresponding to the signed interpretation of the Byte
unsigned ∷ Byte → Int: this gives the Int corresponding to the unsigned interpretation of the Byte

byte ∷ Int → Byte
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

signed ∷ Short → Int
pure native (int): this gives the Int corresponding to the signed interpretation of Short
unsigned ∷ Short → Int: this gives the Int corresponding to the unsigned interpretation of Short

short ∷ Int → Short
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 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
arrayLength ∷ JArray Object → Int
pure native .length: inherited from ArrayElement.arrayLength
elemAt ∷ JArray Object → Int → Object
pure native [i]: inherited from ArrayElement.elemAt
getAt ∷ ArrayOf 𝖆 Object → Int → ST 𝖆 (Maybe Object)
native [i]: inherited from ArrayElement.getAt
getElemAt ∷ ArrayOf 𝖆 Object → Int → ST 𝖆 Object
native [i]: inherited from ArrayElement.getElemAt
itemAt ∷ JArray Object → Int → Maybe Object
pure native [i]: inherited from ArrayElement.itemAt
javaClass ∷ Class Object
native java.lang.Object.class
listFromArray ∷ JArray Object → [Object]: inherited from ArrayElement.listFromArray
maybeListFromArray ∷ JArray Object → [Maybe Object]: inherited from ArrayElement.maybeListFromArray
modifyAt ∷ (Object → Object) → ArrayOf 𝖆 Object → Int → ST 𝖆 (): inherited from ArrayElement.modifyAt
modifyElemAt ∷ (Object → Object) → ArrayOf 𝖆 Object → Int → ST 𝖆 (): inherited from ArrayElement.modifyElemAt
newArray ∷ Int → STMutable 𝖆 (JArray Object)
native new[]: inherited from ArrayElement.newArray
setAt ∷ ArrayOf 𝖆 Object → Int → Maybe Object → ST 𝖆 ()
native []=: inherited from ArrayElement.setAt
setElemAt ∷ ArrayOf 𝖆 Object → Int → Object → ST 𝖆 ()
native []=: inherited from ArrayElement.setElemAt

instance Bounded Byte

Member Functions

maxBound ∷ Byte
minBound ∷ Byte

instance Bounded Short

Member Functions

maxBound ∷ Short
minBound ∷ Short

instance Enum Byte

Member Functions

enumFrom ∷ Byte → [Byte]
enumFromThen ∷ Byte → Byte → [Byte]
enumFromThenTo ∷ Byte → Byte → Byte → [Byte]
enumFromTo ∷ Byte → Byte → [Byte]
from ∷ Int → Byte
ord ∷ Byte → Int
pred ∷ Byte → Byte
succ ∷ Byte → Byte

instance Enum Short

Member Functions

enumFrom ∷ Short → [Short]
enumFromThen ∷ Short → Short → [Short]
enumFromThenTo ∷ Short → Short → Short → [Short]
enumFromTo ∷ Short → Short → [Short]
from ∷ Int → Short
ord ∷ Short → Int
pred ∷ Short → Short
succ ∷ Short → Short

instance Eq Byte

Member Functions

!= ∷ Byte → Byte → Bool
pure native !=
infix 7
== ∷ Byte → Byte → Bool
pure native ==
infix 7
hashCode ∷ Byte → Int

instance Eq Short

Member Functions

!= ∷ Short → Short → Bool
pure native !=
infix 7
== ∷ Short → Short → Bool
pure native ==
infix 7
hashCode ∷ Short → Int

instance Exceptional ClassNotFoundException

Member Functions

javaClass ∷ Class ClassNotFoundException
pure native java.lang.ClassNotFoundException.class

instance Exceptional Error

Member Functions

javaClass ∷ Class Error
pure native java.lang.Error.class

instance Exceptional ExceptionInInitializerError

Member Functions

javaClass ∷ Class ExceptionInInitializerError
pure native java.lang.ExceptionInInitializerError.class

instance Exceptional IOException

Member Functions

javaClass ∷ Class IOException
pure native java.io.IOException.class

instance Exceptional IllegalAccessException

Member Functions

javaClass ∷ Class IllegalAccessException
pure native java.lang.IllegalAccessException.class

instance Exceptional IllegalArgumentException

Member Functions

javaClass ∷ Class IllegalArgumentException
pure native java.lang.IllegalArgumentException.class

instance Exceptional IllegalStateException

Member Functions

javaClass ∷ Class IllegalStateException
pure native java.lang.IllegalStateException.class

instance Exceptional IllegalThreadStateException

Member Functions

javaClass ∷ Class IllegalThreadStateException
pure native java.lang.IllegalThreadStateException.class

instance Exceptional IndexOutOfBoundsException

Member Functions

javaClass ∷ Class IndexOutOfBoundsException
pure native java.lang.IndexOutOfBoundsException.class

instance Exceptional InstantiationException

Member Functions

javaClass ∷ Class InstantiationException
pure native java.lang.InstantiationException.class

instance Exceptional InterruptedException

Member Functions

javaClass ∷ Class InterruptedException
pure native java.lang.InterruptedException.class

instance Exceptional NoSuchFieldException

Member Functions

javaClass ∷ Class NoSuchFieldException
pure native java.lang.NoSuchFieldException.class

instance Exceptional NoSuchMethodError

Member Functions

javaClass ∷ Class NoSuchMethodError
pure native java.lang.NoSuchMethodError.class

instance Exceptional NullPointerException

Member Functions

javaClass ∷ Class NullPointerException
pure native java.lang.NullPointerException.class

instance Exceptional SecurityException

Member Functions

javaClass ∷ Class SecurityException
pure native java.lang.SecurityException.class

instance Exceptional StringIndexOutOfBoundsException

Member Functions

javaClass ∷ Class StringIndexOutOfBoundsException
pure native java.lang.StringIndexOutOfBoundsException.class

instance Exceptional Throwable

Member Functions

javaClass ∷ Class Throwable
pure native java.lang.Throwable.class

instance Integral Byte

Member Functions

^ ∷ Num 𝖆 ⇒ 𝖆 → Byte → 𝖆
infixr 15: inherited from Integral.^
big ∷ Byte → Integer
div ∷ Byte → Byte → Byte
infixl 14: inherited from Integral.div
divMod ∷ Byte → Byte → (Byte, Byte): inherited from Integral.divMod
even ∷ Byte → Bool
fromIntegral ∷ Num 𝖆 ⇒ Byte → 𝖆: inherited from Integral.fromIntegral
gcd ∷ Byte → Byte → Byte: inherited from Integral.gcd
gcdHelper ∷ Byte → Byte → Byte: inherited from Integral.gcdHelper
lcm ∷ Byte → Byte → Byte: inherited from Integral.lcm
mod ∷ Byte → Byte → Byte
infixl 14: inherited from Integral.mod
odd ∷ Byte → Bool
powf ∷ Num 𝖆 ⇒ 𝖆 → Byte → 𝖆: inherited from Integral.powf
powg ∷ Num 𝖆 ⇒ 𝖆 → Byte → 𝖆 → 𝖆: inherited from Integral.powg
quot ∷ Byte → Byte → Byte
infixl 14
quotRem ∷ Byte → Byte → (Byte, Byte): inherited from Integral.quotRem
rem ∷ Byte → Byte → Byte
infixl 14

instance Integral Short

Member Functions

^ ∷ Num 𝖆 ⇒ 𝖆 → Short → 𝖆
infixr 15: inherited from Integral.^
big ∷ Short → Integer
div ∷ Short → Short → Short
infixl 14: inherited from Integral.div
divMod ∷ Short → Short → (Short, Short): inherited from Integral.divMod
even ∷ Short → Bool
fromIntegral ∷ Num 𝖆 ⇒ Short → 𝖆: inherited from Integral.fromIntegral
gcd ∷ Short → Short → Short: inherited from Integral.gcd
gcdHelper ∷ Short → Short → Short: inherited from Integral.gcdHelper
lcm ∷ Short → Short → Short: inherited from Integral.lcm
mod ∷ Short → Short → Short
infixl 14: inherited from Integral.mod
odd ∷ Short → Bool
powf ∷ Num 𝖆 ⇒ 𝖆 → Short → 𝖆: inherited from Integral.powf
powg ∷ Num 𝖆 ⇒ 𝖆 → Short → 𝖆 → 𝖆: inherited from Integral.powg
quot ∷ Short → Short → Short
infixl 14
quotRem ∷ Short → Short → (Short, Short): inherited from Integral.quotRem
rem ∷ Short → Short → Short
infixl 14

instance Num Byte

Member Functions

* ∷ Byte → Byte → Byte
infixl 14
+ ∷ Byte → Byte → Byte
infixl 13
- ∷ Byte → Byte → Byte
infixl 13
abs ∷ Byte → Byte: A no-op, since Bytes are unsigned
fromInt ∷ Int → Byte
fromInteger ∷ Integer → Byte
isInfinite ∷ Byte → Bool: inherited from Num.isInfinite
isNaN ∷ Byte → Bool: inherited from Num.isNaN
isNumber ∷ Byte → Bool: inherited from Num.isNumber
negate ∷ Byte → Byte: inherited from Num.negate
one ∷ Byte
sign ∷ Byte → Int: Never -1, since Bytes are unsigned
subtract ∷ Byte → Byte → Byte: inherited from Num.subtract
zero ∷ Byte

instance Num Short

Member Functions

* ∷ Short → Short → Short
infixl 14
+ ∷ Short → Short → Short
infixl 13
- ∷ Short → Short → Short
infixl 13
abs ∷ Short → Short: A no-op, since Shorts are unsigned
fromInt ∷ Int → Short
fromInteger ∷ Integer → Short
isInfinite ∷ Short → Bool: inherited from Num.isInfinite
isNaN ∷ Short → Bool: inherited from Num.isNaN
isNumber ∷ Short → Bool: inherited from Num.isNumber
negate ∷ Short → Short: inherited from Num.negate
one ∷ Short
sign ∷ Short → Int: Never -1, since Shorts are unsigned
subtract ∷ Short → Short → Short: inherited from Num.subtract
zero ∷ Short

instance Ord Byte

The Ord instance for Bytes assumes that bytes are unsigned.

Hence

 byte (-1) > byte 1

Member Functions

< ∷ Byte → Byte → Bool
infix 9
<= ∷ Byte → Byte → Bool
infix 9
<=> ∷ Byte → Byte → Ordering
infix 8
> ∷ Byte → Byte → Bool
infix 9
>= ∷ Byte → Byte → Bool
infix 9
compare ∷ Byte → Byte → Ordering
infix 8: inherited from Ord.compare
max ∷ Byte → Byte → Byte: inherited from Ord.max
min ∷ Byte → Byte → Byte: inherited from Ord.min

instance Ord Short

The Ord instance for Bytes assumes that bytes are unsigned.

Hence

 byte (-1) > byte 1

Member Functions

< ∷ Short → Short → Bool
infix 9
<= ∷ Short → Short → Bool
infix 9
<=> ∷ Short → Short → Ordering
infix 8
> ∷ Short → Short → Bool
infix 9
>= ∷ Short → Short → Bool
infix 9
compare ∷ Short → Short → Ordering
infix 8: inherited from Ord.compare
max ∷ Short → Short → Short: inherited from Ord.max
min ∷ Short → Short → Short: inherited from Ord.min

instance PrimitiveArrayElement Byte

Functions and Values by Type

MutableIO Runnable → STMutable RealWorld Thread: Thread.new
MutableIO Thread → String → IO (): Thread.setName
MutableIO Thread → IO String: Thread.getName
MutableIO Thread → IO (): Thread.start
JArray Byte → Int → Maybe Byte: PrimitiveArrayElement_Byte.itemAt
JArray Byte → Int → Byte: PrimitiveArrayElement_Byte.elemAt
JArray Byte → [Maybe Byte]: PrimitiveArrayElement_Byte.maybeListFromArray
JArray Byte → [Byte]: PrimitiveArrayElement_Byte.listFromArray
JArray Byte → Int: PrimitiveArrayElement_Byte.arrayLength
JArray Short → Int → Maybe Short: PrimitiveArrayElement_Short.itemAt
JArray Short → Int → Short: PrimitiveArrayElement_Short.elemAt
JArray Short → [Maybe Short]: PrimitiveArrayElement_Short.maybeListFromArray
JArray Short → [Short]: PrimitiveArrayElement_Short.listFromArray
JArray Short → Int: PrimitiveArrayElement_Short.arrayLength
JArray Object → Int → Maybe Object: ArrayElement_Object.itemAt
JArray Object → Int → Object: ArrayElement_Object.elemAt
JArray Object → [Maybe Object]: ArrayElement_Object.maybeListFromArray
JArray Object → [Object]: ArrayElement_Object.listFromArray
JArray Object → Int: ArrayElement_Object.arrayLength
String → Throwable → IllegalArgumentException: IllegalArgumentException.new𝖇
String → Maybe String: System.getenv, System.getProperty
String → CharSequence: CharSequence.fromString
String → IllegalArgumentException: IllegalArgumentException.new𝖆
[(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
Byte → Byte → Byte → [Byte]: Enum_Byte.enumFromThenTo
Byte → Byte → (Byte, Byte): Integral_Byte.quotRem, Integral_Byte.divMod
Byte → Byte → [Byte]: Enum_Byte.enumFromThen, Enum_Byte.enumFromTo
Byte → Byte → Byte: 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
Byte → Byte → Bool: Eq_Byte.!=, Eq_Byte.==, Ord_Byte.>, Ord_Byte.<, Ord_Byte.<=, Ord_Byte.>=
Byte → Byte → Ordering: Ord_Byte.compare, Ord_Byte.<=>
Byte → [Byte]: Enum_Byte.enumFrom
Byte → Byte: Enum_Byte.succ, Enum_Byte.pred, Num_Byte.abs, Num_Byte.negate
Byte → Bool: Integral_Byte.odd, Integral_Byte.even, Num_Byte.isNumber, Num_Byte.isInfinite, Num_Byte.isNaN
Byte → Int: Enum_Byte.ord, Eq_Byte.hashCode, Num_Byte.sign, Byte.unsigned, Byte.signed
Byte → Integer: Integral_Byte.big
CharSequence → Int → Int → CharSequence: CharSequence.subSeq
CharSequence → Int → Char: CharSequence.charAt
CharSequence → Int → Int: CharSequence.codePointAt
CharSequence → String: CharSequence.toString
CharSequence → Int: CharSequence.length
Short → Short → Short → [Short]: Enum_Short.enumFromThenTo
Short → Short → (Short, Short): Integral_Short.quotRem, Integral_Short.divMod
Short → Short → [Short]: Enum_Short.enumFromThen, Enum_Short.enumFromTo
Short → Short → Short: 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
Short → Short → Bool: Eq_Short.!=, Eq_Short.==, Ord_Short.>, Ord_Short.<, Ord_Short.<=, Ord_Short.>=
Short → Short → Ordering: Ord_Short.compare, Ord_Short.<=>
Short → [Short]: Enum_Short.enumFrom
Short → Short: Enum_Short.succ, Enum_Short.pred, Num_Short.abs, Num_Short.negate
Short → Bool: Integral_Short.odd, Integral_Short.even, Num_Short.isNumber, Num_Short.isInfinite, Num_Short.isNaN
Short → Int: Enum_Short.ord, Eq_Short.hashCode, Num_Short.sign, Short.unsigned, Short.signed
Short → Integer: Integral_Short.big
StringBuffer → StringBuffer: Serializable_StringBuffer.thaw, Serializable_StringBuffer.copySerializable, Serializable_StringBuffer.freeze
() → STMutable RealWorld Thread: Thread.current
() → IO Int: System.availableProcessors
() → IO Long: System.totalMemory, System.nanoTime, System.maxMemory, System.freeMemory, System.currentTimeMillis
() → String: System.lineSeparator
Int → IO (): System.exit
Int → Byte: byte, Enum_Byte.from, Num_Byte.fromInt
Int → Short: short, Enum_Short.from, Num_Short.fromInt
Integer → Byte: Num_Byte.fromInteger
Integer → Short: Num_Short.fromInteger
Long → IO (): Thread.sleep
MutableIO PrintStream: System.out, System.err
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
Short: Bounded_Short.minBound, Bounded_Short.maxBound, Num_Short.zero, Num_Short.one
(Byte → Byte) → ArrayOf 𝖆 Byte → Int → ST 𝖆 (): PrimitiveArrayElement_Byte.modifyElemAt, PrimitiveArrayElement_Byte.modifyAt
(Short → Short) → ArrayOf 𝖆 Short → Int → ST 𝖆 (): PrimitiveArrayElement_Short.modifyElemAt, PrimitiveArrayElement_Short.modifyAt
(Object → Object) → ArrayOf 𝖆 Object → Int → ST 𝖆 (): ArrayElement_Object.modifyElemAt, ArrayElement_Object.modifyAt
ST s () → STMutable s Runnable: Runnable.new
Mutable s Appendable → String → STMutable s Appendable: Appendable.append𝖇
Mutable s Appendable → Char → STMutable s Appendable: Appendable.append𝖆
Mutable s Runnable → ST s (): Runnable.run
Mutable s StringBuffer → ArrayOf s Char → Int → Int → STMutable s StringBuffer: StringBuffer.append𝖐
Mutable s StringBuffer → ArrayOf s Char → STMutable s StringBuffer: StringBuffer.append𝖏
Mutable s StringBuffer → Mutable s StringBuffer → STMutable s StringBuffer: StringBuffer.append𝖒
Mutable s StringBuffer → String → Int → ST s Int: StringBuffer.lastIndexOf𝖇, StringBuffer.indexOf𝖇
Mutable s StringBuffer → String → STMutable s StringBuffer: StringBuffer.append𝖑
Mutable s StringBuffer → String → ST s Int: StringBuffer.lastIndexOf𝖆, StringBuffer.indexOf𝖆
Mutable s StringBuffer → CharSequence → Int → Int → STMutable s StringBuffer: StringBuffer.append𝖎
Mutable s StringBuffer → CharSequence → STMutable s StringBuffer: StringBuffer.append𝖍
Mutable s StringBuffer → Bool → STMutable s StringBuffer: StringBuffer.append𝖈
Mutable s StringBuffer → Char → STMutable s StringBuffer: StringBuffer.append𝖉
Mutable s StringBuffer → Double → STMutable s StringBuffer: StringBuffer.append𝖇
Mutable s StringBuffer → Float → STMutable s StringBuffer: StringBuffer.append𝖆
Mutable s StringBuffer → Int → ArrayOf s Char → Int → Int → STMutable s StringBuffer: StringBuffer.insert𝖌
Mutable s StringBuffer → Int → ArrayOf s Char → STMutable s StringBuffer: StringBuffer.insert𝖆
Mutable s StringBuffer → Int → String → STMutable s StringBuffer: StringBuffer.insert𝖎
Mutable s StringBuffer → Int → CharSequence → Int → Int → STMutable s StringBuffer: StringBuffer.insert𝖈
Mutable s StringBuffer → Int → CharSequence → STMutable s StringBuffer: StringBuffer.insert𝖇
Mutable s StringBuffer → Int → Bool → STMutable s StringBuffer: StringBuffer.insert𝖉
Mutable s StringBuffer → Int → Char → STMutable s StringBuffer: StringBuffer.insert𝖊
Mutable s StringBuffer → Int → Char → ST s (): StringBuffer.setCharAt
Mutable s StringBuffer → Int → Double → STMutable s StringBuffer: StringBuffer.insert𝖋
Mutable s StringBuffer → Int → Float → STMutable s StringBuffer: StringBuffer.insert𝖏
Mutable s StringBuffer → Int → Int → ArrayOf s Char → Int → ST s (): StringBuffer.getChars
Mutable s StringBuffer → Int → Int → String → STMutable s StringBuffer: StringBuffer.replace
Mutable s StringBuffer → Int → Int → STMutable s StringBuffer: StringBuffer.insert𝖑, StringBuffer.delete
Mutable s StringBuffer → Int → Int → ST s String: StringBuffer.substring𝖇
Mutable s StringBuffer → Int → Int → ST s CharSequence: StringBuffer.subSequence
Mutable s StringBuffer → Int → Int → ST s Int: StringBuffer.offsetByCodePoints, StringBuffer.codePointCount
Mutable s StringBuffer → Int → Long → STMutable s StringBuffer: StringBuffer.insert𝖐
Mutable s StringBuffer → Int → Object → STMutable s StringBuffer: StringBuffer.insert𝖍
Mutable s StringBuffer → Int → STMutable s StringBuffer: StringBuffer.deleteCharAt, StringBuffer.append𝖊, StringBuffer.appendCodePoint
Mutable s StringBuffer → Int → ST s String: StringBuffer.substring𝖆
Mutable s StringBuffer → Int → ST s (): StringBuffer.setLength, StringBuffer.ensureCapacity
Mutable s StringBuffer → Int → ST s Char: StringBuffer.charAt
Mutable s StringBuffer → Int → ST s Int: StringBuffer.codePointAt, StringBuffer.codePointBefore
Mutable s StringBuffer → Long → STMutable s StringBuffer: StringBuffer.append𝖋
Mutable s StringBuffer → Object → STMutable s StringBuffer: StringBuffer.append𝖌
Mutable s StringBuffer → STMutable s StringBuffer: StringBuffer.reverse
Mutable s StringBuffer → ST s String: StringBuffer.toString
Mutable s StringBuffer → ST s (): StringBuffer.trimToSize
Mutable s StringBuffer → ST s Int: StringBuffer.length, StringBuffer.capacity
Mutable s StringBuilder → ST s String: StringBuilder.toString
ArrayOf 𝖆 Byte → Int → Maybe Byte → ST 𝖆 (): PrimitiveArrayElement_Byte.setAt
ArrayOf 𝖆 Byte → Int → Byte → ST 𝖆 (): PrimitiveArrayElement_Byte.setElemAt
ArrayOf 𝖆 Byte → Int → ST 𝖆 (Maybe Byte): PrimitiveArrayElement_Byte.getAt
ArrayOf 𝖆 Byte → Int → ST 𝖆 Byte: PrimitiveArrayElement_Byte.getElemAt
ArrayOf 𝖆 Short → Int → Maybe Short → ST 𝖆 (): PrimitiveArrayElement_Short.setAt
ArrayOf 𝖆 Short → Int → Short → ST 𝖆 (): PrimitiveArrayElement_Short.setElemAt
ArrayOf 𝖆 Short → Int → ST 𝖆 (Maybe Short): PrimitiveArrayElement_Short.getAt
ArrayOf 𝖆 Short → Int → ST 𝖆 Short: PrimitiveArrayElement_Short.getElemAt
ArrayOf 𝖆 Object → Int → Maybe Object → ST 𝖆 (): ArrayElement_Object.setAt
ArrayOf 𝖆 Object → Int → Object → ST 𝖆 (): ArrayElement_Object.setElemAt
ArrayOf 𝖆 Object → Int → ST 𝖆 (Maybe Object): ArrayElement_Object.getAt
ArrayOf 𝖆 Object → Int → ST 𝖆 Object: ArrayElement_Object.getElemAt
Comparable t → t → Int: Comparable.compareTo
String → STMutable s StringBuffer: StringBuffer.new𝖇
String → STMutable s StringBuilder: StringBuilder.new
[(Int, Byte)] → STMutable 𝖆 (JArray Byte): PrimitiveArrayElement_Byte.arrayFromIndexListST
[(Int, Short)] → STMutable 𝖆 (JArray Short): PrimitiveArrayElement_Short.arrayFromIndexListST
[(Int, Object)] → STMutable 𝖆 (JArray Object): ArrayElement_Object.arrayFromIndexListST
[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
CharSequence → STMutable s StringBuffer: StringBuffer.new𝖆
() → STMutable s StringBuffer: StringBuffer.new𝖉
Int → STMutable s StringBuffer: StringBuffer.new𝖈
Int → STMutable 𝖆 (JArray Byte): PrimitiveArrayElement_Byte.newArray
Int → STMutable 𝖆 (JArray Short): PrimitiveArrayElement_Short.newArray
Int → STMutable 𝖆 (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.^
STMutable 𝖆 ClassLoader: ClassLoader.current
ω: Appendable.append, IllegalArgumentException.new, StringBuffer.substring, StringBuffer.new, StringBuffer.lastIndexOf, StringBuffer.insert, StringBuffer.indexOf, StringBuffer.append
Iterable t → STMutable s (Iterator t): Iterable.iterator
Class a → STMutable s ClassLoader: ClassLoader.getClassLoader