Module Prelude.PreludeArrays

Support for Java reflective arrays.

Imports

Table of Content

Definitions

type ArrayOf s a = Mutable s (JArray a)

short hand for Mutable s (JArray a)

data JArray a = native java.lang.Object

The type JArray X corresponds to Java's J[] for any type X where J is the corresponding java type of X, but note that Java does not really have generic arrays.

We can use arrays of non-primitive types generically inside Frege, but native code that expects or returns arrays will not be generic.

The native interface will take every occurrence of

 JArray X

or

 Mutable s (JArray X)

in native declarations to denote the corresponding Java array type. But when the type argument is variable, it will be just Object. This corresponds to the usage in the array reflection API.

Multi-dimensional arrays are not very well supported out of the box. If one needs more than 1 dimensions, the type will get quite complex, as of course arrays are mutable and so one will have multiple levels of JArray nested in Mutable nested in JArray and so forth. Moreover, multi-dimensional arrays cannot be generic at all.

Note that there are really two different APIs:

  1. With the JArray.getElemAt, JArray.getAt, JArray.setAt, JArray.setElemAt, JArray.itemAt and JArray.elemAt it is possible to work on Java objects with java compile time type X[] for some (non primitive!) java type X.
  2. With the ArrayElement.newArray, ArrayElement.getElemAt, ArrayElement.getAt, ArrayElement.setAt, ArrayElement.setElemAt, ArrayElement.itemAt and ArrayElement.elemAt functions of the ArrayElement class for some type F that is an instance of ArrayElement, we can work on Java objects with Java compile time type X[], where X is the Java type corresponding to F, but the run time type is always X[].

The former ones are usable only in polymorphic functions where the type argument for JArray is a variable and we don't (want to) have ArrayElement constraints. They are not good for interfacing native methods that take or return arrays of a certain type. Run time type errors are possible because native methods could put anything there. However, when used in Frege only, the typing is safe.

The latter ones are truly type safe, because their Frege type corresponds to the expected Java compile time type, which is also the actual run time type.

Here is a cheat sheet for the different array get and set methods:

             Array type            Argument/    Description
                                   Result
 setAt       Mutable (JArray s X)  Maybe X     set null or data element
 setElemAt   Mutable (JArray s X)  X           set data element
 getAt       Mutable (JArray s X)  Maybe X     get null or data element
 getElemAt   Mutable (JArray s X)  X           get data element (unsafe)
 itemAt      JArray s X            Maybe X     get null or data element (pure)
 elemAt      JArray s X            X           get data element (pure, unsafe)

"unsafe" in this context applies only to non-primitive types and means that the function will fail with a NullPointerException if the value accessed is a Java null.

Member Functions

genericElemAtJArray aInt → a
pure native PreludeArrays.aGet

Like JArray.genericItemAt but the result is not wrapped in Maybe.

The user is expected to prove that the element cannot be null or else risk a NullPointerException.

Can not be used with arrays of primitive values.

genericFoldArrayElement α ⇒ (β → α → β) → β → ArrayOf γ αST γ β

Equivalent of fold for mutable arrays.

Can not be used with arrays of primitive values.

genericFromIndexListJavaType α ⇒ [(Int, α)]STMutable β (JArray α)

Create a mutable array from a finite index/value list.

Indexes not mentioned in the list remain null for non primitive array elements and 0 otherwise.

Can not be used with arrays of primitive values.

genericFromListArrayElement α ⇒ [α] → STMutable β (JArray α)

Create a mutable array from a finite list.

Can not be used with arrays of primitive values.

genericGetAtArrayOf s aIntST s (Maybe a)
native PreludeArrays.aGet

Get the array element at a certain index of a mutable array and return it in the ST monad.

This will throw an IndexOutOfBoundsException if the index is lower than 0 or greater or equal to the length of the array.

Because in general, array elements may be null, the return value is wrapped in Maybe, as usual.

Can not be used with arrays of primitive values.

genericGetElemAtArrayOf s aIntST s a
native PreludeArrays.aGet

Get the array element at a certain index of a mutable array and return it in the ST monad.

This will throw an IndexOutOfBoundsException if the index is lower than 0 or greater or equal to the length of the array.

Unlike with JArray.getAt the element must not be null.

The user is expected to prove that the element cannot be null or else risk a NullPointerException.

Can not be used with arrays of primitive values.

genericItemAtJArray aIntMaybe a
pure native PreludeArrays.aGet

Get the array element at a given index. This will throw an IndexOutOfBoundsException if the index is lower than 0 or greater or equal to the length of the array.

Because in general, array elements may be null, the return value is wrapped in Maybe, as usual.

Can not be used with arrays of primitive values.

genericModifyArrayElement α ⇒ (α → α) → ArrayOf β αST β ()

Modify a mutable array by applying a function to all its elements.

Can not be used with arrays of primitive values.

genericSetAtArrayOf s aIntMaybe aST s ()
native java.lang.reflect.Array.set

Set the element at a certain index of a mutable array to a value that is wrapped in Maybe. This won't work for primitive element types.

This will throw an IndexOutOfBoundsException if the index is lower than 0 or greater or equal to the length of the array.

To set the corresponding array element to null, pass Maybe.Nothing, otherwise pass a Maybe.Just value.

Can not be used with arrays of primitive values.

genericSetElemAtArrayOf s aIntaST s ()
native java.lang.reflect.Array.set

Set the element at a certain index of a mutable array.

This will throw an IndexOutOfBoundsException if the index is lower than 0 or greater or equal to the length of the array.

Can not be used with arrays of primitive values.

getLengthArrayOf α βST α Int

Return the length of a mutable array in the ST monad.

lengthJArray aInt
pure native java.lang.reflect.Array.getLength

Tell the length of an immutable Java array.

Because the length of an array cannot change, it is safe to use this function with Mutable.readonly.

newClass aIntSTMutable s (JArray a)
native PreludeArrays.newInstance

create a one dimensional Java array

genericToMaybeListJArray α → [Maybe α]

Unload an immutable array to a list.

The non-null elements become Maybe.Just values, the nulls translate to Maybe.Nothing

genericArrayFromIndexListJavaType α ⇒ [(Int, α)]JArray α

Create an immutable generic array from a finite index/value list.

Uses JArray.genericFromIndexList and freezes the resulting array.

(This is used in the parsers generated with YYGen)

genericArrayFold ∷ (α → β → α) → αJArray β → α

Left fold an immutable array

class JavaType a ⇒ ArrayElement a

Type class for basic JArray operations. The element type must be an instance of this class to support arrays of that type.

ArrayElement is derivable.

The operations are mostly overloaded on return type and provide the appropriate java.lang.Class object when needed.

This supports one dimensional arrays, though more dimensions would be possible with some extra effort.

Note that JArray cannot be an instance of ArrayElement itself, because it has no fixed java.lang.Class instance.

Known Instances

Int, Char, Bool, Float, Double, Long, ->, (,), (,,), StringJ, Integer, []

Member Functions

arrayFromIndexListArrayElement a ⇒ [(Int, a)] → JArray a

Create an immutable JArray from a finite index/value list. See ArrayElement.arrayFromIndexListST

arrayFromIndexListSTArrayElement a ⇒ [(Int, a)] → STMutable β (JArray a)

Create a mutable array from a finite index/value list.

Indexes not mentioned in the list remain null for non primitive array elements and 0 otherwise.

arrayFromListArrayElement a ⇒ [a] → JArray a

Create an immutable array from a finite list whose elements are 'ArrayElement`

Uses JArray.fromList and freezes the resulting array.

arrayFromListSTArrayElement a ⇒ [a] → STMutable β (JArray a)

Create a mutable array from a finite list.

arrayFromMaybeListArrayElement a ⇒ [Maybe a] → JArray a

Create an immutable JArray from a finite list of Maybe values.

arrayFromMaybeListSTArrayElement a ⇒ [Maybe a] → STMutable β (JArray a)

Create a mutable array from a finite list of Maybe values.

arrayLengthArrayElement a ⇒ JArray a → Int
pure native .length

The size of an JArray

elemAtArrayElement a ⇒ JArray a → Int → a
pure native [i]

Get non-null element at index from immutable array, see JArray.elemAt

getAtArrayElement a ⇒ ArrayOf s a → IntST s (Maybe a)
native [i]

Get item at index from mutable array, see JArray.getAt

getElemAtArrayElement a ⇒ ArrayOf s a → IntST s a
native [i]

Get non null item at index from mutable array, see JArray.getElemAt

itemAtArrayElement a ⇒ JArray a → IntMaybe a
pure native [i]

Get item at index from immutable array, see JArray.itemAt

listFromArrayArrayElement a ⇒ JArray a → [a]

Unload JArray to a list, lazily

maybeListFromArrayArrayElement a ⇒ JArray a → [Maybe a]

Unload JArray to a maybe list, lazily

modifyAtArrayElement a ⇒ (a → a) → ArrayOf s a → IntST s ()

Modify item at index in mutable array with result of function application.

modifyElemAtArrayElement a ⇒ (a → a) → ArrayOf s a → IntST s ()

Modify non null item at index in mutable array with result of function application.

newArrayArrayElement a ⇒ IntSTMutable s (JArray a)
native new[]

Create a one dimensional array with elements of the instantiated type.

setAtArrayElement a ⇒ ArrayOf s a → IntMaybe a → ST s ()
native []=

Set item or null at index in mutable array, see JArray.setAt

setElemAtArrayElement a ⇒ ArrayOf s a → Int → a → ST s ()
native []=

Set item at index in mutable array. see JArray.setElemAt

arrayCacheSTArrayElement a ⇒ (IntJArray a → a) → IntSTMutable s (JArray a)

Create a mutable array of a given size and compute the values of its elements by some function. The function gets the current index and the already computed values in the form of an immutable array, where it can access elements with a smaller index than the current one.

The restriction to smaller indexes is because array elements are strict in Frege. For example, we can't store unevaluated values in an String[] array, because the Java type of unevaluated values is not String.

To create an array of 1000 fibonacci numbers, one could write:

 cache fib 1000 where
   fib 0 _ = 1n
   fib 1 _ = 1n
   fib n a = a.[n-1] + a.[n-2]
arrayCacheArrayElement a ⇒ (IntJArray a → a) → IntJArray a

Memoize a number of results from a function that maps Int to the array element.

Uses ArrayElement.cache and makes it immutable

genericArrayMap ∷ (ArrayElement a, ArrayElement β) ⇒ (a → β) → JArray a → JArray β

Map a function over the elements of an immutable array, and collect the results in another immutable array.

Uses ArrayElement.mapArrayST and makes result read-only.

class (JavaType a, ArrayElement a) ⇒ PrimitiveArrayElement a

Type class for array elements of primitive type.

Not thought for public use, as all instances are pre-defined.

The default implementation of PrimitiveArrayElement.setAt does not support passing Maybe.Nothing, because there can be no null in primitive arrays.

Known Instances

Int, Char, Bool, Float, Double, Long

Member Functions

getAtPrimitiveArrayElement a ⇒ ArrayOf s a → IntST s (Maybe a)

Default implementation suitable for primitive types, wraps result with Maybe.Just

itemAtPrimitiveArrayElement a ⇒ JArray a → IntMaybe a

Default implementation suitable for primitive types, wraps result with Maybe.Just

setAtPrimitiveArrayElement a ⇒ ArrayOf s a → IntMaybe a → ST s ()

Default implementation suitable for primitive types.

It is an error to put Maybe.Nothing in a primitive array.

Instances

instance ArrayElement (a, b)

Member Functions

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

inherited from ArrayElement.arrayFromIndexList

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

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[(β, α)]JArray (β, α)

inherited from ArrayElement.arrayFromList

arrayFromListST[(γ, β)]STMutable α (JArray (γ, β))

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe (α, β)]JArray (α, β)

inherited from ArrayElement.arrayFromMaybeList

arrayFromMaybeListST[Maybe (β, α)]STMutable γ (JArray (β, α))

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray (β, α)Int
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray (β, α)Int → (β, α)
pure native [i]

inherited from ArrayElement.elemAt

getAtArrayOf γ (β, α)IntST γ (Maybe (β, α))
native [i]

inherited from ArrayElement.getAt

getElemAtArrayOf β (α, γ)IntST β (α, γ)
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray (β, α)IntMaybe (β, α)
pure native [i]

inherited from ArrayElement.itemAt

javaClassClass (β, α)
pure native frege.prelude.PreludeBase.TTuple2.class
listFromArrayJArray (β, α) → [(β, α)]

inherited from ArrayElement.listFromArray

maybeListFromArrayJArray (β, α) → [Maybe (β, α)]

inherited from ArrayElement.maybeListFromArray

modifyAt ∷ ((β, α) → (β, α)) → ArrayOf γ (β, α)IntST γ ()

inherited from ArrayElement.modifyAt

modifyElemAt ∷ ((γ, β) → (γ, β)) → ArrayOf α (γ, β)IntST α ()

inherited from ArrayElement.modifyElemAt

newArrayIntSTMutable α (JArray (γ, β))
native new[]

inherited from ArrayElement.newArray

setAtArrayOf β (α, γ)IntMaybe (α, γ)ST β ()
native []=

inherited from ArrayElement.setAt

setElemAtArrayOf γ (β, α)Int(β, α)ST γ ()
native []=

inherited from ArrayElement.setElemAt

instance ArrayElement (a, b, c)

Member Functions

arrayFromIndexList[(Int, (β, α, γ))]JArray (β, α, γ)

inherited from ArrayElement.arrayFromIndexList

arrayFromIndexListST[(Int, (α, γ, β))]STMutable δ (JArray (α, γ, β))

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[(γ, β, α)]JArray (γ, β, α)

inherited from ArrayElement.arrayFromList

arrayFromListST[(β, α, δ)]STMutable γ (JArray (β, α, δ))

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe (γ, β, α)]JArray (γ, β, α)

inherited from ArrayElement.arrayFromMaybeList

arrayFromMaybeListST[Maybe (β, α, δ)]STMutable γ (JArray (β, α, δ))

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray (α, γ, β)Int
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray (α, γ, β)Int → (α, γ, β)
pure native [i]

inherited from ArrayElement.elemAt

getAtArrayOf α (δ, γ, β)IntST α (Maybe (δ, γ, β))
native [i]

inherited from ArrayElement.getAt

getElemAtArrayOf α (δ, γ, β)IntST α (δ, γ, β)
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray (β, α, γ)IntMaybe (β, α, γ)
pure native [i]

inherited from ArrayElement.itemAt

javaClassClass (α, γ, β)
pure native frege.prelude.PreludeBase.TTuple3.class
listFromArrayJArray (β, α, γ) → [(β, α, γ)]

inherited from ArrayElement.listFromArray

maybeListFromArrayJArray (γ, β, α) → [Maybe (γ, β, α)]

inherited from ArrayElement.maybeListFromArray

modifyAt ∷ ((δ, γ, β) → (δ, γ, β)) → ArrayOf α (δ, γ, β)IntST α ()

inherited from ArrayElement.modifyAt

modifyElemAt ∷ ((α, γ, β) → (α, γ, β)) → ArrayOf δ (α, γ, β)IntST δ ()

inherited from ArrayElement.modifyElemAt

newArrayIntSTMutable α (JArray (δ, γ, β))
native new[]

inherited from ArrayElement.newArray

setAtArrayOf δ (α, γ, β)IntMaybe (α, γ, β)ST δ ()
native []=

inherited from ArrayElement.setAt

setElemAtArrayOf γ (δ, β, α)Int(δ, β, α)ST γ ()
native []=

inherited from ArrayElement.setElemAt

instance ArrayElement (a→b)

Member Functions

arrayFromIndexList[(Int, β→α)]JArray (β→α)

inherited from ArrayElement.arrayFromIndexList

arrayFromIndexListST[(Int, α→γ)]STMutable β (JArray (α→γ))

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[β→α]JArray (β→α)

inherited from ArrayElement.arrayFromList

arrayFromListST[β→α]STMutable γ (JArray (β→α))

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe (β→α)]JArray (β→α)

inherited from ArrayElement.arrayFromMaybeList

arrayFromMaybeListST[Maybe (α→γ)]STMutable β (JArray (α→γ))

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray (β→α)Int
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray (β→α)Int → β→α
pure native [i]

inherited from ArrayElement.elemAt

getAtArrayOf α (γ→β)IntST α (Maybe (γ→β))
native [i]

inherited from ArrayElement.getAt

getElemAtArrayOf γ (β→α)IntST γ (β→α)
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray (β→α)IntMaybe (β→α)
pure native [i]

inherited from ArrayElement.itemAt

javaClassClass (α→β)
pure native frege.runtime.Lambda.class
listFromArrayJArray (α→β) → [α→β]

inherited from ArrayElement.listFromArray

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

inherited from ArrayElement.maybeListFromArray

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

inherited from ArrayElement.modifyAt

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

inherited from ArrayElement.modifyElemAt

newArrayIntSTMutable γ (JArray (β→α))
native new[]

inherited from ArrayElement.newArray

setAtArrayOf α (γ→β)IntMaybe (γ→β)ST α ()
native []=

inherited from ArrayElement.setAt

setElemAtArrayOf β (α→γ)Int → (α→γ) → ST β ()
native []=

inherited from ArrayElement.setElemAt

instance ArrayElement Integer

Member Functions

arrayFromIndexList[(Int, Integer)]JArray Integer

inherited from ArrayElement.arrayFromIndexList

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

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[Integer]JArray Integer

inherited from ArrayElement.arrayFromList

arrayFromListST[Integer]STMutable α (JArray Integer)

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe Integer]JArray Integer

inherited from ArrayElement.arrayFromMaybeList

arrayFromMaybeListST[Maybe Integer]STMutable α (JArray Integer)

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray IntegerInt
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray IntegerIntInteger
pure native [i]

inherited from ArrayElement.elemAt

getAtArrayOf α IntegerIntST α (Maybe Integer)
native [i]

inherited from ArrayElement.getAt

getElemAtArrayOf α IntegerIntST α Integer
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray IntegerIntMaybe Integer
pure native [i]

inherited from ArrayElement.itemAt

javaClassClass Integer
pure native java.math.BigInteger.class
listFromArrayJArray Integer → [Integer]

inherited from ArrayElement.listFromArray

maybeListFromArrayJArray Integer → [Maybe Integer]

inherited from ArrayElement.maybeListFromArray

modifyAt ∷ (IntegerInteger) → ArrayOf α IntegerIntST α ()

inherited from ArrayElement.modifyAt

modifyElemAt ∷ (IntegerInteger) → ArrayOf α IntegerIntST α ()

inherited from ArrayElement.modifyElemAt

newArrayIntSTMutable α (JArray Integer)
native new[]

inherited from ArrayElement.newArray

setAtArrayOf α IntegerIntMaybe IntegerST α ()
native []=

inherited from ArrayElement.setAt

setElemAtArrayOf α IntegerIntIntegerST α ()
native []=

inherited from ArrayElement.setElemAt

instance ArrayElement String

Member Functions

arrayFromIndexList[(Int, String)]JArray String

inherited from ArrayElement.arrayFromIndexList

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

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[String]JArray String

inherited from ArrayElement.arrayFromList

arrayFromListST[String]STMutable α (JArray String)

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe String]JArray String

inherited from ArrayElement.arrayFromMaybeList

arrayFromMaybeListST[Maybe String]STMutable α (JArray String)

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray StringInt
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray StringIntString
pure native [i]

inherited from ArrayElement.elemAt

getAtArrayOf α StringIntST α (Maybe String)
native [i]

inherited from ArrayElement.getAt

getElemAtArrayOf α StringIntST α String
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray StringIntMaybe String
pure native [i]

inherited from ArrayElement.itemAt

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

inherited from ArrayElement.listFromArray

maybeListFromArrayJArray String → [Maybe String]

inherited from ArrayElement.maybeListFromArray

modifyAt ∷ (StringString) → ArrayOf α StringIntST α ()

inherited from ArrayElement.modifyAt

modifyElemAt ∷ (StringString) → ArrayOf α StringIntST α ()

inherited from ArrayElement.modifyElemAt

newArrayIntSTMutable α (JArray String)
native new[]

inherited from ArrayElement.newArray

setAtArrayOf α StringIntMaybe StringST α ()
native []=

inherited from ArrayElement.setAt

setElemAtArrayOf α StringIntStringST α ()
native []=

inherited from ArrayElement.setElemAt

instance ArrayElement [a]

Member Functions

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

inherited from ArrayElement.arrayFromIndexList

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

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[[α]]JArray [α]

inherited from ArrayElement.arrayFromList

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

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe [α]]JArray [α]

inherited from ArrayElement.arrayFromMaybeList

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

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray [α]Int
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray [α]Int → [α]
pure native [i]

inherited from ArrayElement.elemAt

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

inherited from ArrayElement.getAt

getElemAtArrayOf α [β]IntST α [β]
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray [α]IntMaybe [α]
pure native [i]

inherited from ArrayElement.itemAt

javaClassClass [α]
pure native frege.prelude.PreludeBase.TList.class
listFromArrayJArray [α] → [[α]]

inherited from ArrayElement.listFromArray

maybeListFromArrayJArray [α] → [Maybe [α]]

inherited from ArrayElement.maybeListFromArray

modifyAt ∷ ([β] → [β]) → ArrayOf α [β]IntST α ()

inherited from ArrayElement.modifyAt

modifyElemAt ∷ ([α] → [α]) → ArrayOf β [α]IntST β ()

inherited from ArrayElement.modifyElemAt

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

inherited from ArrayElement.newArray

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

inherited from ArrayElement.setAt

setElemAtArrayOf β [α]Int[α]ST β ()
native []=

inherited from ArrayElement.setElemAt

instance Eq a ⇒ Eq (JArray a)

Member Functions

!=Eq α ⇒ JArray αJArray αBool
infix  7

inherited from Eq.!=

==Eq α ⇒ JArray αJArray αBool
infix  7
hashCodeEq α ⇒ JArray αInt
instance JavaType (JArray Int)

Member Functions

javaClassClass (JArray Int)
native int[].class
instance ListSource JArray

Member Functions

toListJArray α → [α]

Unload an immutable array to a list

The resulting list consists of all the non null elements of the array argument.

This will work for arrays of reference type only!

instance PrimitiveArrayElement Bool

Member Functions

arrayFromIndexList[(Int, Bool)]JArray Bool

inherited from ArrayElement.arrayFromIndexList

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

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[Bool]JArray Bool

inherited from ArrayElement.arrayFromList

arrayFromListST[Bool]STMutable α (JArray Bool)

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe Bool]JArray Bool

inherited from ArrayElement.arrayFromMaybeList

arrayFromMaybeListST[Maybe Bool]STMutable α (JArray Bool)

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray BoolInt
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray BoolIntBool
pure native [i]

inherited from ArrayElement.elemAt

getAtArrayOf α BoolIntST α (Maybe Bool)

inherited from PrimitiveArrayElement.getAt

getElemAtArrayOf α BoolIntST α Bool
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray BoolIntMaybe Bool

inherited from PrimitiveArrayElement.itemAt

javaClassClass Bool
native boolean.class
listFromArrayJArray Bool → [Bool]

inherited from ArrayElement.listFromArray

maybeListFromArrayJArray Bool → [Maybe Bool]

inherited from ArrayElement.maybeListFromArray

modifyAt ∷ (BoolBool) → ArrayOf α BoolIntST α ()

inherited from ArrayElement.modifyAt

modifyElemAt ∷ (BoolBool) → ArrayOf α BoolIntST α ()

inherited from ArrayElement.modifyElemAt

newArrayIntSTMutable α (JArray Bool)
native new[]

inherited from ArrayElement.newArray

setAtArrayOf α BoolIntMaybe BoolST α ()

inherited from PrimitiveArrayElement.setAt

setElemAtArrayOf α BoolIntBoolST α ()
native []=

inherited from ArrayElement.setElemAt

instance PrimitiveArrayElement Char

Member Functions

arrayFromIndexList[(Int, Char)]JArray Char

inherited from ArrayElement.arrayFromIndexList

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

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[Char]JArray Char

inherited from ArrayElement.arrayFromList

arrayFromListST[Char]STMutable α (JArray Char)

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe Char]JArray Char

inherited from ArrayElement.arrayFromMaybeList

arrayFromMaybeListST[Maybe Char]STMutable α (JArray Char)

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray CharInt
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray CharIntChar
pure native [i]

inherited from ArrayElement.elemAt

getAtArrayOf α CharIntST α (Maybe Char)

inherited from PrimitiveArrayElement.getAt

getElemAtArrayOf α CharIntST α Char
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray CharIntMaybe Char

inherited from PrimitiveArrayElement.itemAt

javaClassClass Char
native char.class
listFromArrayJArray Char → [Char]

inherited from ArrayElement.listFromArray

maybeListFromArrayJArray Char → [Maybe Char]

inherited from ArrayElement.maybeListFromArray

modifyAt ∷ (CharChar) → ArrayOf α CharIntST α ()

inherited from ArrayElement.modifyAt

modifyElemAt ∷ (CharChar) → ArrayOf α CharIntST α ()

inherited from ArrayElement.modifyElemAt

newArrayIntSTMutable α (JArray Char)
native new[]

inherited from ArrayElement.newArray

setAtArrayOf α CharIntMaybe CharST α ()

inherited from PrimitiveArrayElement.setAt

setElemAtArrayOf α CharIntCharST α ()
native []=

inherited from ArrayElement.setElemAt

instance PrimitiveArrayElement Double

Member Functions

arrayFromIndexList[(Int, Double)]JArray Double

inherited from ArrayElement.arrayFromIndexList

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

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[Double]JArray Double

inherited from ArrayElement.arrayFromList

arrayFromListST[Double]STMutable α (JArray Double)

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe Double]JArray Double

inherited from ArrayElement.arrayFromMaybeList

arrayFromMaybeListST[Maybe Double]STMutable α (JArray Double)

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray DoubleInt
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray DoubleIntDouble
pure native [i]

inherited from ArrayElement.elemAt

getAtArrayOf α DoubleIntST α (Maybe Double)

inherited from PrimitiveArrayElement.getAt

getElemAtArrayOf α DoubleIntST α Double
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray DoubleIntMaybe Double

inherited from PrimitiveArrayElement.itemAt

javaClassClass Double
native double.class
listFromArrayJArray Double → [Double]

inherited from ArrayElement.listFromArray

maybeListFromArrayJArray Double → [Maybe Double]

inherited from ArrayElement.maybeListFromArray

modifyAt ∷ (DoubleDouble) → ArrayOf α DoubleIntST α ()

inherited from ArrayElement.modifyAt

modifyElemAt ∷ (DoubleDouble) → ArrayOf α DoubleIntST α ()

inherited from ArrayElement.modifyElemAt

newArrayIntSTMutable α (JArray Double)
native new[]

inherited from ArrayElement.newArray

setAtArrayOf α DoubleIntMaybe DoubleST α ()

inherited from PrimitiveArrayElement.setAt

setElemAtArrayOf α DoubleIntDoubleST α ()
native []=

inherited from ArrayElement.setElemAt

instance PrimitiveArrayElement Float

Member Functions

arrayFromIndexList[(Int, Float)]JArray Float

inherited from ArrayElement.arrayFromIndexList

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

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[Float]JArray Float

inherited from ArrayElement.arrayFromList

arrayFromListST[Float]STMutable α (JArray Float)

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe Float]JArray Float

inherited from ArrayElement.arrayFromMaybeList

arrayFromMaybeListST[Maybe Float]STMutable α (JArray Float)

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray FloatInt
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray FloatIntFloat
pure native [i]

inherited from ArrayElement.elemAt

getAtArrayOf α FloatIntST α (Maybe Float)

inherited from PrimitiveArrayElement.getAt

getElemAtArrayOf α FloatIntST α Float
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray FloatIntMaybe Float

inherited from PrimitiveArrayElement.itemAt

javaClassClass Float
native float.class
listFromArrayJArray Float → [Float]

inherited from ArrayElement.listFromArray

maybeListFromArrayJArray Float → [Maybe Float]

inherited from ArrayElement.maybeListFromArray

modifyAt ∷ (FloatFloat) → ArrayOf α FloatIntST α ()

inherited from ArrayElement.modifyAt

modifyElemAt ∷ (FloatFloat) → ArrayOf α FloatIntST α ()

inherited from ArrayElement.modifyElemAt

newArrayIntSTMutable α (JArray Float)
native new[]

inherited from ArrayElement.newArray

setAtArrayOf α FloatIntMaybe FloatST α ()

inherited from PrimitiveArrayElement.setAt

setElemAtArrayOf α FloatIntFloatST α ()
native []=

inherited from ArrayElement.setElemAt

instance PrimitiveArrayElement Int

Member Functions

arrayFromIndexList[(Int, Int)]JArray Int

inherited from ArrayElement.arrayFromIndexList

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

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[Int]JArray Int

inherited from ArrayElement.arrayFromList

arrayFromListST[Int]STMutable α (JArray Int)

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe Int]JArray Int

inherited from ArrayElement.arrayFromMaybeList

arrayFromMaybeListST[Maybe Int]STMutable α (JArray Int)

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray IntInt
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray IntIntInt
pure native [i]

inherited from ArrayElement.elemAt

getAtArrayOf α IntIntST α (Maybe Int)

inherited from PrimitiveArrayElement.getAt

getElemAtArrayOf α IntIntST α Int
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray IntIntMaybe Int

inherited from PrimitiveArrayElement.itemAt

javaClassClass Int
native int.class
listFromArrayJArray Int → [Int]

inherited from ArrayElement.listFromArray

maybeListFromArrayJArray Int → [Maybe Int]

inherited from ArrayElement.maybeListFromArray

modifyAt ∷ (IntInt) → ArrayOf α IntIntST α ()

inherited from ArrayElement.modifyAt

modifyElemAt ∷ (IntInt) → ArrayOf α IntIntST α ()

inherited from ArrayElement.modifyElemAt

newArrayIntSTMutable α (JArray Int)
native new[]

inherited from ArrayElement.newArray

setAtArrayOf α IntIntMaybe IntST α ()

inherited from PrimitiveArrayElement.setAt

setElemAtArrayOf α IntIntIntST α ()
native []=

inherited from ArrayElement.setElemAt

instance PrimitiveArrayElement Long

Member Functions

arrayFromIndexList[(Int, Long)]JArray Long

inherited from ArrayElement.arrayFromIndexList

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

inherited from ArrayElement.arrayFromIndexListST

arrayFromList[Long]JArray Long

inherited from ArrayElement.arrayFromList

arrayFromListST[Long]STMutable α (JArray Long)

inherited from ArrayElement.arrayFromListST

arrayFromMaybeList[Maybe Long]JArray Long

inherited from ArrayElement.arrayFromMaybeList

arrayFromMaybeListST[Maybe Long]STMutable α (JArray Long)

inherited from ArrayElement.arrayFromMaybeListST

arrayLengthJArray LongInt
pure native .length

inherited from ArrayElement.arrayLength

elemAtJArray LongIntLong
pure native [i]

inherited from ArrayElement.elemAt

getAtArrayOf α LongIntST α (Maybe Long)

inherited from PrimitiveArrayElement.getAt

getElemAtArrayOf α LongIntST α Long
native [i]

inherited from ArrayElement.getElemAt

itemAtJArray LongIntMaybe Long

inherited from PrimitiveArrayElement.itemAt

javaClassClass Long
native long.class
listFromArrayJArray Long → [Long]

inherited from ArrayElement.listFromArray

maybeListFromArrayJArray Long → [Maybe Long]

inherited from ArrayElement.maybeListFromArray

modifyAt ∷ (LongLong) → ArrayOf α LongIntST α ()

inherited from ArrayElement.modifyAt

modifyElemAt ∷ (LongLong) → ArrayOf α LongIntST α ()

inherited from ArrayElement.modifyElemAt

newArrayIntSTMutable α (JArray Long)
native new[]

inherited from ArrayElement.newArray

setAtArrayOf α LongIntMaybe LongST α ()

inherited from PrimitiveArrayElement.setAt

setElemAtArrayOf α LongIntLongST α ()
native []=

inherited from ArrayElement.setElemAt

Functions and Values by Type

JArray StringIntMaybe String

ArrayElement_String.itemAt

JArray StringIntString

ArrayElement_String.elemAt

JArray String → [Maybe String]

ArrayElement_String.maybeListFromArray

JArray String → [String]

ArrayElement_String.listFromArray

JArray StringInt

ArrayElement_String.arrayLength

JArray BoolIntMaybe Bool

PrimitiveArrayElement_Bool.itemAt

JArray BoolIntBool

PrimitiveArrayElement_Bool.elemAt

JArray Bool → [Maybe Bool]

PrimitiveArrayElement_Bool.maybeListFromArray

JArray Bool → [Bool]

PrimitiveArrayElement_Bool.listFromArray

JArray BoolInt

PrimitiveArrayElement_Bool.arrayLength

JArray CharIntMaybe Char

PrimitiveArrayElement_Char.itemAt

JArray CharIntChar

PrimitiveArrayElement_Char.elemAt

JArray Char → [Maybe Char]

PrimitiveArrayElement_Char.maybeListFromArray

JArray Char → [Char]

PrimitiveArrayElement_Char.listFromArray

JArray CharInt

PrimitiveArrayElement_Char.arrayLength

JArray DoubleIntMaybe Double

PrimitiveArrayElement_Double.itemAt

JArray DoubleIntDouble

PrimitiveArrayElement_Double.elemAt

JArray Double → [Maybe Double]

PrimitiveArrayElement_Double.maybeListFromArray

JArray Double → [Double]

PrimitiveArrayElement_Double.listFromArray

JArray DoubleInt

PrimitiveArrayElement_Double.arrayLength

JArray FloatIntMaybe Float

PrimitiveArrayElement_Float.itemAt

JArray FloatIntFloat

PrimitiveArrayElement_Float.elemAt

JArray Float → [Maybe Float]

PrimitiveArrayElement_Float.maybeListFromArray

JArray Float → [Float]

PrimitiveArrayElement_Float.listFromArray

JArray FloatInt

PrimitiveArrayElement_Float.arrayLength

JArray IntIntMaybe Int

PrimitiveArrayElement_Int.itemAt

JArray IntIntInt

PrimitiveArrayElement_Int.elemAt

JArray Int → [Maybe Int]

PrimitiveArrayElement_Int.maybeListFromArray

JArray Int → [Int]

PrimitiveArrayElement_Int.listFromArray

JArray IntInt

PrimitiveArrayElement_Int.arrayLength

JArray IntegerIntMaybe Integer

ArrayElement_Integer.itemAt

JArray IntegerIntInteger

ArrayElement_Integer.elemAt

JArray Integer → [Maybe Integer]

ArrayElement_Integer.maybeListFromArray

JArray Integer → [Integer]

ArrayElement_Integer.listFromArray

JArray IntegerInt

ArrayElement_Integer.arrayLength

JArray LongIntMaybe Long

PrimitiveArrayElement_Long.itemAt

JArray LongIntLong

PrimitiveArrayElement_Long.elemAt

JArray Long → [Maybe Long]

PrimitiveArrayElement_Long.maybeListFromArray

JArray Long → [Long]

PrimitiveArrayElement_Long.listFromArray

JArray LongInt

PrimitiveArrayElement_Long.arrayLength

[(Int, String)] → JArray String

ArrayElement_String.arrayFromIndexList

[(Int, Bool)] → JArray Bool

PrimitiveArrayElement_Bool.arrayFromIndexList

[(Int, Char)] → JArray Char

PrimitiveArrayElement_Char.arrayFromIndexList

[(Int, Double)] → JArray Double

PrimitiveArrayElement_Double.arrayFromIndexList

[(Int, Float)] → JArray Float

PrimitiveArrayElement_Float.arrayFromIndexList

[(Int, Int)] → JArray Int

PrimitiveArrayElement_Int.arrayFromIndexList

[(Int, Integer)] → JArray Integer

ArrayElement_Integer.arrayFromIndexList

[(Int, Long)] → JArray Long

PrimitiveArrayElement_Long.arrayFromIndexList

[Maybe String] → JArray String

ArrayElement_String.arrayFromMaybeList

[Maybe Bool] → JArray Bool

PrimitiveArrayElement_Bool.arrayFromMaybeList

[Maybe Char] → JArray Char

PrimitiveArrayElement_Char.arrayFromMaybeList

[Maybe Double] → JArray Double

PrimitiveArrayElement_Double.arrayFromMaybeList

[Maybe Float] → JArray Float

PrimitiveArrayElement_Float.arrayFromMaybeList

[Maybe Int] → JArray Int

PrimitiveArrayElement_Int.arrayFromMaybeList

[Maybe Integer] → JArray Integer

ArrayElement_Integer.arrayFromMaybeList

[Maybe Long] → JArray Long

PrimitiveArrayElement_Long.arrayFromMaybeList

[String] → JArray String

ArrayElement_String.arrayFromList

[Bool] → JArray Bool

PrimitiveArrayElement_Bool.arrayFromList

[Char] → JArray Char

PrimitiveArrayElement_Char.arrayFromList

[Double] → JArray Double

PrimitiveArrayElement_Double.arrayFromList

[Float] → JArray Float

PrimitiveArrayElement_Float.arrayFromList

[Int] → JArray Int

PrimitiveArrayElement_Int.arrayFromList

[Integer] → JArray Integer

ArrayElement_Integer.arrayFromList

[Long] → JArray Long

PrimitiveArrayElement_Long.arrayFromList

Class (JArray Int)

JavaType_JArray.javaClass

Class String

ArrayElement_String.javaClass

Class Bool

PrimitiveArrayElement_Bool.javaClass

Class Char

PrimitiveArrayElement_Char.javaClass

Class Double

PrimitiveArrayElement_Double.javaClass

Class Float

PrimitiveArrayElement_Float.javaClass

Class Int

PrimitiveArrayElement_Int.javaClass

Class Integer

ArrayElement_Integer.javaClass

Class Long

PrimitiveArrayElement_Long.javaClass

(StringString) → ArrayOf α StringIntST α ()

ArrayElement_String.modifyAt, ArrayElement_String.modifyElemAt

(BoolBool) → ArrayOf α BoolIntST α ()

PrimitiveArrayElement_Bool.modifyAt, PrimitiveArrayElement_Bool.modifyElemAt

(CharChar) → ArrayOf α CharIntST α ()

PrimitiveArrayElement_Char.modifyAt, PrimitiveArrayElement_Char.modifyElemAt

(DoubleDouble) → ArrayOf α DoubleIntST α ()

PrimitiveArrayElement_Double.modifyAt, PrimitiveArrayElement_Double.modifyElemAt

(FloatFloat) → ArrayOf α FloatIntST α ()

PrimitiveArrayElement_Float.modifyAt, PrimitiveArrayElement_Float.modifyElemAt

(IntInt) → ArrayOf α IntIntST α ()

PrimitiveArrayElement_Int.modifyAt, PrimitiveArrayElement_Int.modifyElemAt

(IntegerInteger) → ArrayOf α IntegerIntST α ()

ArrayElement_Integer.modifyAt, ArrayElement_Integer.modifyElemAt

(LongLong) → ArrayOf α LongIntST α ()

PrimitiveArrayElement_Long.modifyAt, PrimitiveArrayElement_Long.modifyElemAt

ArrayOf α StringIntMaybe StringST α ()

ArrayElement_String.setAt

ArrayOf α StringIntStringST α ()

ArrayElement_String.setElemAt

ArrayOf α StringIntST α (Maybe String)

ArrayElement_String.getAt

ArrayOf α StringIntST α String

ArrayElement_String.getElemAt

ArrayOf α BoolIntMaybe BoolST α ()

PrimitiveArrayElement_Bool.setAt

ArrayOf α BoolIntBoolST α ()

PrimitiveArrayElement_Bool.setElemAt

ArrayOf α BoolIntST α (Maybe Bool)

PrimitiveArrayElement_Bool.getAt

ArrayOf α BoolIntST α Bool

PrimitiveArrayElement_Bool.getElemAt

ArrayOf α CharIntMaybe CharST α ()

PrimitiveArrayElement_Char.setAt

ArrayOf α CharIntCharST α ()

PrimitiveArrayElement_Char.setElemAt

ArrayOf α CharIntST α (Maybe Char)

PrimitiveArrayElement_Char.getAt

ArrayOf α CharIntST α Char

PrimitiveArrayElement_Char.getElemAt

ArrayOf α DoubleIntMaybe DoubleST α ()

PrimitiveArrayElement_Double.setAt

ArrayOf α DoubleIntDoubleST α ()

PrimitiveArrayElement_Double.setElemAt

ArrayOf α DoubleIntST α (Maybe Double)

PrimitiveArrayElement_Double.getAt

ArrayOf α DoubleIntST α Double

PrimitiveArrayElement_Double.getElemAt

ArrayOf α FloatIntMaybe FloatST α ()

PrimitiveArrayElement_Float.setAt

ArrayOf α FloatIntFloatST α ()

PrimitiveArrayElement_Float.setElemAt

ArrayOf α FloatIntST α (Maybe Float)

PrimitiveArrayElement_Float.getAt

ArrayOf α FloatIntST α Float

PrimitiveArrayElement_Float.getElemAt

ArrayOf α IntIntMaybe IntST α ()

PrimitiveArrayElement_Int.setAt

ArrayOf α IntIntIntST α ()

PrimitiveArrayElement_Int.setElemAt

ArrayOf α IntIntST α (Maybe Int)

PrimitiveArrayElement_Int.getAt

ArrayOf α IntIntST α Int

PrimitiveArrayElement_Int.getElemAt

ArrayOf α IntegerIntMaybe IntegerST α ()

ArrayElement_Integer.setAt

ArrayOf α IntegerIntIntegerST α ()

ArrayElement_Integer.setElemAt

ArrayOf α IntegerIntST α (Maybe Integer)

ArrayElement_Integer.getAt

ArrayOf α IntegerIntST α Integer

ArrayElement_Integer.getElemAt

ArrayOf α LongIntMaybe LongST α ()

PrimitiveArrayElement_Long.setAt

ArrayOf α LongIntLongST α ()

PrimitiveArrayElement_Long.setElemAt

ArrayOf α LongIntST α (Maybe Long)

PrimitiveArrayElement_Long.getAt

ArrayOf α LongIntST α Long

PrimitiveArrayElement_Long.getElemAt

JArray [α] → IntMaybe [α]

ArrayElement_[].itemAt

JArray [α] → Int → [α]

ArrayElement_[].elemAt

JArray [α] → [Maybe [α]]

ArrayElement_[].maybeListFromArray

JArray [α] → [[α]]

ArrayElement_[].listFromArray

JArray [α] → Int

ArrayElement_[].arrayLength

JArray a → IntMaybe a

JArray.genericItemAt

JArray a → Int → a

JArray.genericElemAt

JArray a → Int

JArray.length

JArray α → [Maybe α]

genericToMaybeList

JArray α → [α]

ListSource_JArray.toList

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

ArrayElement_String.arrayFromIndexListST

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

ArrayElement_[].arrayFromIndexList

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

PrimitiveArrayElement_Bool.arrayFromIndexListST

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

PrimitiveArrayElement_Char.arrayFromIndexListST

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

PrimitiveArrayElement_Double.arrayFromIndexListST

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

PrimitiveArrayElement_Float.arrayFromIndexListST

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

PrimitiveArrayElement_Int.arrayFromIndexListST

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

ArrayElement_Integer.arrayFromIndexListST

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

PrimitiveArrayElement_Long.arrayFromIndexListST

[Maybe String] → STMutable α (JArray String)

ArrayElement_String.arrayFromMaybeListST

[Maybe [α]] → JArray [α]

ArrayElement_[].arrayFromMaybeList

[Maybe Bool] → STMutable α (JArray Bool)

PrimitiveArrayElement_Bool.arrayFromMaybeListST

[Maybe Char] → STMutable α (JArray Char)

PrimitiveArrayElement_Char.arrayFromMaybeListST

[Maybe Double] → STMutable α (JArray Double)

PrimitiveArrayElement_Double.arrayFromMaybeListST

[Maybe Float] → STMutable α (JArray Float)

PrimitiveArrayElement_Float.arrayFromMaybeListST

[Maybe Int] → STMutable α (JArray Int)

PrimitiveArrayElement_Int.arrayFromMaybeListST

[Maybe Integer] → STMutable α (JArray Integer)

ArrayElement_Integer.arrayFromMaybeListST

[Maybe Long] → STMutable α (JArray Long)

PrimitiveArrayElement_Long.arrayFromMaybeListST

[String] → STMutable α (JArray String)

ArrayElement_String.arrayFromListST

[[α]] → JArray [α]

ArrayElement_[].arrayFromList

[Bool] → STMutable α (JArray Bool)

PrimitiveArrayElement_Bool.arrayFromListST

[Char] → STMutable α (JArray Char)

PrimitiveArrayElement_Char.arrayFromListST

[Double] → STMutable α (JArray Double)

PrimitiveArrayElement_Double.arrayFromListST

[Float] → STMutable α (JArray Float)

PrimitiveArrayElement_Float.arrayFromListST

[Int] → STMutable α (JArray Int)

PrimitiveArrayElement_Int.arrayFromListST

[Integer] → STMutable α (JArray Integer)

ArrayElement_Integer.arrayFromListST

[Long] → STMutable α (JArray Long)

PrimitiveArrayElement_Long.arrayFromListST

IntSTMutable α (JArray String)

ArrayElement_String.newArray

IntSTMutable α (JArray Bool)

PrimitiveArrayElement_Bool.newArray

IntSTMutable α (JArray Char)

PrimitiveArrayElement_Char.newArray

IntSTMutable α (JArray Double)

PrimitiveArrayElement_Double.newArray

IntSTMutable α (JArray Float)

PrimitiveArrayElement_Float.newArray

IntSTMutable α (JArray Int)

PrimitiveArrayElement_Int.newArray

IntSTMutable α (JArray Integer)

ArrayElement_Integer.newArray

IntSTMutable α (JArray Long)

PrimitiveArrayElement_Long.newArray

ArrayElement a ⇒ (IntJArray a → a) → IntJArray a

arrayCache

ArrayElement a ⇒ JArray a → IntMaybe a

ArrayElement.itemAt

ArrayElement a ⇒ JArray a → Int → a

ArrayElement.elemAt

ArrayElement a ⇒ JArray a → [Maybe a]

ArrayElement.maybeListFromArray

ArrayElement a ⇒ JArray a → [a]

ArrayElement.listFromArray

ArrayElement a ⇒ JArray a → Int

ArrayElement.arrayLength

ArrayElement a ⇒ [(Int, a)] → JArray a

ArrayElement.arrayFromIndexList

ArrayElement a ⇒ [Maybe a] → JArray a

ArrayElement.arrayFromMaybeList

ArrayElement a ⇒ [a] → JArray a

ArrayElement.arrayFromList

PrimitiveArrayElement a ⇒ JArray a → IntMaybe a

PrimitiveArrayElement.itemAt

Eq α ⇒ JArray α → JArray α → Bool

Eq_JArray.!=, Eq_JArray.==

Eq α ⇒ JArray α → Int

Eq_JArray.hashCode

JavaType α ⇒ [(Int, α)] → JArray α

genericArrayFromIndexList

Class [α]

ArrayElement_[].javaClass

([α] → [α]) → ArrayOf β [α] → IntST β ()

ArrayElement_[].modifyElemAt

([β] → [β]) → ArrayOf α [β] → IntST α ()

ArrayElement_[].modifyAt

(α → β → α) → α → JArray β → α

genericArrayFold

ArrayOf s a → IntMaybe a → ST s ()

JArray.genericSetAt

ArrayOf s a → Int → a → ST s ()

JArray.genericSetElemAt

ArrayOf s a → IntST s (Maybe a)

JArray.genericGetAt

ArrayOf s a → IntST s a

JArray.genericGetElemAt

ArrayOf α [β] → IntST α (Maybe [β])

ArrayElement_[].getAt

ArrayOf α [β] → IntST α [β]

ArrayElement_[].getElemAt

ArrayOf α β → ST α Int

JArray.getLength

ArrayOf β [α] → IntMaybe [α] → ST β ()

ArrayElement_[].setAt

ArrayOf β [α] → Int → [α] → ST β ()

ArrayElement_[].setElemAt

JArray (β, α) → Int → (β, α)

ArrayElement_(,).elemAt

JArray (β, α) → IntMaybe (β, α)

ArrayElement_(,).itemAt

JArray (β, α) → [(β, α)]

ArrayElement_(,).listFromArray

JArray (β, α) → [Maybe (β, α)]

ArrayElement_(,).maybeListFromArray

JArray (β, α) → Int

ArrayElement_(,).arrayLength

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

ArrayElement_->.listFromArray

JArray (β→α) → Int → β→α

ArrayElement_->.elemAt

JArray (β→α) → IntMaybe (β→α)

ArrayElement_->.itemAt

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

ArrayElement_->.maybeListFromArray

JArray (β→α) → Int

ArrayElement_->.arrayLength

Class a → IntSTMutable s (JArray a)

JArray.new

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

ArrayElement_(,).arrayFromIndexList

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

ArrayElement_->.arrayFromIndexList

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

ArrayElement_[].arrayFromIndexListST

[(β, α)] → JArray (β, α)

ArrayElement_(,).arrayFromList

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

ArrayElement_->.arrayFromList

[Maybe (α, β)] → JArray (α, β)

ArrayElement_(,).arrayFromMaybeList

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

ArrayElement_->.arrayFromMaybeList

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

ArrayElement_[].arrayFromMaybeListST

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

ArrayElement_[].arrayFromListST

IntSTMutable α (JArray [β])

ArrayElement_[].newArray

ArrayElement a ⇒ (IntJArray a → a) → IntSTMutable s (JArray a)

arrayCacheST

ArrayElement a ⇒ (a → a) → ArrayOf s a → IntST s ()

ArrayElement.modifyElemAt, ArrayElement.modifyAt

ArrayElement a ⇒ ArrayOf s a → IntMaybe a → ST s ()

ArrayElement.setAt

ArrayElement a ⇒ ArrayOf s a → Int → a → ST s ()

ArrayElement.setElemAt

ArrayElement a ⇒ ArrayOf s a → IntST s (Maybe a)

ArrayElement.getAt

ArrayElement a ⇒ ArrayOf s a → IntST s a

ArrayElement.getElemAt

ArrayElement a ⇒ [(Int, a)] → STMutable β (JArray a)

ArrayElement.arrayFromIndexListST

ArrayElement a ⇒ [Maybe a] → STMutable β (JArray a)

ArrayElement.arrayFromMaybeListST

ArrayElement a ⇒ [a] → STMutable β (JArray a)

ArrayElement.arrayFromListST

ArrayElement a ⇒ IntSTMutable s (JArray a)

ArrayElement.newArray

(ArrayElement a, ArrayElement β) ⇒ (a → β) → JArray a → JArray β

genericArrayMap

ArrayElement α ⇒ (α → α) → ArrayOf β α → ST β ()

JArray.genericModify

ArrayElement α ⇒ [α] → STMutable β (JArray α)

JArray.genericFromList

PrimitiveArrayElement a ⇒ ArrayOf s a → IntMaybe a → ST s ()

PrimitiveArrayElement.setAt

PrimitiveArrayElement a ⇒ ArrayOf s a → IntST s (Maybe a)

PrimitiveArrayElement.getAt

JavaType α ⇒ [(Int, α)] → STMutable β (JArray α)

JArray.genericFromIndexList

Class (β, α)

ArrayElement_(,).javaClass

Class (α→β)

ArrayElement_->.javaClass

((β, α) → (β, α)) → ArrayOf γ (β, α) → IntST γ ()

ArrayElement_(,).modifyAt

((γ, β) → (γ, β)) → ArrayOf α (γ, β) → IntST α ()

ArrayElement_(,).modifyElemAt

((α→γ) → α→γ) → ArrayOf β (α→γ) → IntST β ()

ArrayElement_->.modifyAt

((β→α) → β→α) → ArrayOf γ (β→α) → IntST γ ()

ArrayElement_->.modifyElemAt

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

ArrayElement_->.setAt

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

ArrayElement_->.getAt

ArrayOf β (α, γ) → IntMaybe (α, γ) → ST β ()

ArrayElement_(,).setAt

ArrayOf β (α, γ) → IntST β (α, γ)

ArrayElement_(,).getElemAt

ArrayOf β (α→γ) → Int → (α→γ) → ST β ()

ArrayElement_->.setElemAt

ArrayOf γ (β, α) → Int → (β, α) → ST γ ()

ArrayElement_(,).setElemAt

ArrayOf γ (β, α) → IntST γ (Maybe (β, α))

ArrayElement_(,).getAt

ArrayOf γ (β→α) → IntST γ (β→α)

ArrayElement_->.getElemAt

JArray (α, γ, β) → Int → (α, γ, β)

ArrayElement_(,,).elemAt

JArray (α, γ, β) → Int

ArrayElement_(,,).arrayLength

JArray (β, α, γ) → IntMaybe (β, α, γ)

ArrayElement_(,,).itemAt

JArray (β, α, γ) → [(β, α, γ)]

ArrayElement_(,,).listFromArray

JArray (γ, β, α) → [Maybe (γ, β, α)]

ArrayElement_(,,).maybeListFromArray

[(γ, β, α)] → JArray (γ, β, α)

ArrayElement_(,,).arrayFromList

[(Int, (β, α, γ))] → JArray (β, α, γ)

ArrayElement_(,,).arrayFromIndexList

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

ArrayElement_(,).arrayFromIndexListST

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

ArrayElement_->.arrayFromIndexListST

[(γ, β)] → STMutable α (JArray (γ, β))

ArrayElement_(,).arrayFromListST

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

ArrayElement_->.arrayFromListST

[Maybe (γ, β, α)] → JArray (γ, β, α)

ArrayElement_(,,).arrayFromMaybeList

[Maybe (β, α)] → STMutable γ (JArray (β, α))

ArrayElement_(,).arrayFromMaybeListST

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

ArrayElement_->.arrayFromMaybeListST

IntSTMutable α (JArray (γ, β))

ArrayElement_(,).newArray

IntSTMutable γ (JArray (β→α))

ArrayElement_->.newArray

ArrayElement α ⇒ (β → α → β) → β → ArrayOf γ α → ST γ β

JArray.genericFold

Class (α, γ, β)

ArrayElement_(,,).javaClass

((α, γ, β) → (α, γ, β)) → ArrayOf δ (α, γ, β) → IntST δ ()

ArrayElement_(,,).modifyElemAt

((δ, γ, β) → (δ, γ, β)) → ArrayOf α (δ, γ, β) → IntST α ()

ArrayElement_(,,).modifyAt

ArrayOf α (δ, γ, β) → IntST α (δ, γ, β)

ArrayElement_(,,).getElemAt

ArrayOf α (δ, γ, β) → IntST α (Maybe (δ, γ, β))

ArrayElement_(,,).getAt

ArrayOf γ (δ, β, α) → Int → (δ, β, α) → ST γ ()

ArrayElement_(,,).setElemAt

ArrayOf δ (α, γ, β) → IntMaybe (α, γ, β) → ST δ ()

ArrayElement_(,,).setAt

[(β, α, δ)] → STMutable γ (JArray (β, α, δ))

ArrayElement_(,,).arrayFromListST

[(Int, (α, γ, β))] → STMutable δ (JArray (α, γ, β))

ArrayElement_(,,).arrayFromIndexListST

[Maybe (β, α, δ)] → STMutable γ (JArray (β, α, δ))

ArrayElement_(,,).arrayFromMaybeListST

IntSTMutable α (JArray (δ, γ, β))

ArrayElement_(,,).newArray

Valid HTML 4.01 Strict