Module Java.lang.Reflect

Java types from package java.lang.reflect

Imports

import frege.Prelude as Prelude
import Prelude.PreludeArrays as PreludeArrays
import Prelude.PreludeBase as PreludeBase
import Prelude.PreludeDecimal as PreludeDecimal
import Prelude.PreludeIO as PreludeIO
import Prelude.PreludeList as PreludeList
import Prelude.PreludeMonad as PreludeMonad
import Prelude.PreludeText as PreludeText
import Java.util.Regex as Regexp

Table of Content

Definitions

class ReflectedClass c

data Field = pure native java.lang.reflect.Field

data InvocationTargetException = pure native java.lang.reflect.InvocationTargetException
Instances

instance Exceptional InvocationTargetException

instance ReflectedClass (Class a)
Functions and Values by Type

Definitions

data InvocationTargetException = pure native java.lang.reflect.InvocationTargetException

class ReflectedClass c

This type class is used only to add methods to Class

Known Instances

Member Functions

getDeclaredField ∷ ReflectedClass c ⇒ c → String → IO Field
native getDeclaredField throws NoSuchFieldException

data Field = pure native java.lang.reflect.Field

Member Functions

get ∷ Field → Maybe Object → IO Object
native get throws IllegalAccessException, IllegalArgumentException, ExceptionInInitializerError

Instances

instance Exceptional InvocationTargetException

Member Functions

javaClass ∷ Class InvocationTargetException
pure native java.lang.reflect.InvocationTargetException.class

instance ReflectedClass (Class a)

Member Functions

getDeclaredField ∷ Class 𝖆 → String → IO Field
native getDeclaredField throws NoSuchFieldException: inherited from ReflectedClass.getDeclaredField

Functions and Values by Type

Field → Maybe Object → IO Object: Field.get
Class InvocationTargetException: Exceptional_InvocationTargetException.javaClass
Class 𝖆 → String → IO Field: ReflectedClass_Class.getDeclaredField
ReflectedClass c ⇒ c → String → IO Field: ReflectedClass.getDeclaredField