Foreign.Java.Bindings

This module provides type classes and instances for supporting the high level bindings. This module should not be imported directly.

Documentation

object' :: String -> Q

class JBoolean a where

Methods

toBoolean :: a -> Java Bool

Instances

JBoolean Bool

class JChar a where

Methods

toChar :: a -> Java Word16

Instances

JChar Char

JChar Int8

JChar Word16

class JByte a where

Methods

toByte :: a -> Java Int8

Instances

JByte Int8

class JShort a where

Methods

toShort :: a -> Java Int16

Instances

JShort Int8

JShort Int16

JShort Word8

class JInt a where

Methods

toInt :: a -> Java Int32

Instances

JInt Int

JInt Int8

JInt Int16

JInt Int32

JInt Word8

JInt Word16

class JLong a where

Methods

toLong :: a -> Java Int64

Instances

JLong Int

JLong Int8

JLong Int16

JLong Int32

JLong Int64

JLong Word8

JLong Word16

JLong Word32

class JFloat a where

Methods

toFloat :: a -> Java Float

Instances

JFloat Float

JFloat CFloat

class JDouble a where

Methods

toDouble :: a -> Java Double

Instances

JDouble Double

JDouble CDouble

class Array a where

Methods

asMaybeArrayObject :: a -> Java (Maybe JObject)

class BooleanResult m where

The result of a function call that is of type boolean.

Methods

toBooleanResult :: Either JThrowable Bool -> Java m

Instances

BooleanResult Bool

BooleanResult (Either JThrowable Bool)

class CharResult m where

The result of a function call that is of type char.

Methods

toCharResult :: Either JThrowable Word16 -> Java m

Instances

CharResult Word16

CharResult (Either JThrowable Word16)

class ByteResult m where

The result of a function call that is of type byte.

Methods

toByteResult :: Either JThrowable Int8 -> Java m

Instances

ByteResult Int8

ByteResult (Either JThrowable Int8)

class ShortResult m where

The result of a function call that is of type short.

Methods

toShortResult :: Either JThrowable Int16 -> Java m

Instances

ShortResult Int16

ShortResult (Either JThrowable Int16)

class IntResult m where

The result of a function call that is of type int.

Methods

toIntResult :: Either JThrowable Int32 -> Java m

Instances

IntResult Int32

IntResult (Either JThrowable Int32)

class LongResult m where

The result of a function call that is of type long.

Methods

toLongResult :: Either JThrowable Int64 -> Java m

Instances

LongResult Int64

LongResult (Either JThrowable Int64)

class FloatResult m where

The result of a function call that is of type float.

Methods

toFloatResult :: Either JThrowable Float -> Java m

Instances

FloatResult Float

FloatResult (Either JThrowable Float)

class DoubleResult m where

The result of a function call that is of type double.

Methods

toDoubleResult :: Either JThrowable Double -> Java m

Instances

DoubleResult Double

DoubleResult (Either JThrowable Double)

class VoidResult m where

The result of a function call that is of type void.

Methods

toVoidResult :: Either JThrowable () -> Java m

Instances

VoidResult ()

VoidResult (Maybe JThrowable)

VoidResult (Either JThrowable ())

class JavaArray (ArrayResultType m) (ArrayResultComponent m) => ArrayResult m where

An array result of a function call.

Associated Types

type ArrayResultType m

The JVM machine type of the components of the array.

type ArrayResultComponent m

The type of the component of the array as returned by the low level JNI call.

Methods

toArrayResult :: Either JThrowable (Maybe (JArray (ArrayResultType m))) -> Java m

Convert the array to a sophisticated type.

Instances

ArrayResult [Bool]

ArrayResult [Char]

ArrayResult [Double]

ArrayResult [Float]

ArrayResult [Int8]

ArrayResult [Int16]

ArrayResult [Int32]

ArrayResult [Int64]

ArrayResult [Word16]

ArrayResult [String]

ArrayResult a => ArrayResult (Either JThrowable a)

class ObjectResult m where

The result of a function call that is of type object.

Methods

toObjectResult :: Either JThrowable (Maybe JObject) -> Java m

Instances

ObjectResult [Char]

UnsafeCast a => ObjectResult (Maybe a)

UnsafeCast a => ObjectResult (Either (Maybe JThrowable) a)

UnsafeCast a => ObjectResult (Either JThrowable (Maybe a))

UnsafeCast a => ObjectResult (Value JThrowable a)

class InstanceOf a where

A convenient alternative to isInstanceOf.

Minimal complete definition: coerce or whenInstanceOf.

Associated Types

type CoercedType a

Methods

instanceOf :: JavaObject o => o -> a -> Java Bool

Check if the object of type a is an instance of the type represented by b.

whenInstanceOf :: JavaObject o => o -> a -> (CoercedType a -> Java d) -> Java (Maybe d)

Check if the object of type a is an instance of the type c, represented by b. If so, it will coerce the object of type a and pass it to the given action.

If a was an instance of c (where c is represented by b) this function will return Just d, where d is the result of the optional computation. If not, Nothing is returned.

coerce :: JavaObject o => o -> a -> Java (Maybe (CoercedType a))

Coerces the given object of type a to an object of c, where c is represented by a value of type b. Returns Nothing if this is not possible.

class UnsafeCast a where

For INTERNAL use only. Is however not in a hidden module, so that other libraries can link against it.

Methods

unsafeFromJObject :: JObject -> Java a

For INTERNAL use only. Do not use yourself.

registerCallbacks :: JClass -> Java Bool

Yepp. Register callbacks. Do it.

type WrappedFun = Ptr JVM -> Ptr JObjectRef -> Ptr JObjectRef -> Ptr JObjectRef -> IO (Ptr JObjectRef)

A wrapped function can be used as a callback from the JVM into the Haskell runtime environment.

runJava_ :: Ptr JVM -> Java a -> IO a

wrap_ :: WrappedFun -> IO (FunPtr WrappedFun)

freeFunPtr :: FunPtr WrappedFun -> IO ()

wrap :: Java () -> IO (FunPtr WrappedFun)

intify :: Java () -> IO Int64

sushimaki :: String -> Java () -> Java JObject

delete :: JObject -> Java ()