Module Java.Net

Java types from java.net

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

type URLArray = JArray URL

data MalformedURLException = pure native java.net.MalformedURLException

data URI = pure native java.net.URI

data URISyntaxException = pure native java.net.URISyntaxException

data URL = pure native java.net.URL

data URLClassLoader = native java.net.URLClassLoader

data URLConnection = native java.net.URLConnection
Instances

instance ArrayElement URL

instance Exceptional MalformedURLException

instance Exceptional URISyntaxException
Functions and Values by Type

Definitions

data MalformedURLException = pure native java.net.MalformedURLException

data URISyntaxException = pure native java.net.URISyntaxException

data URL = pure native java.net.URL

Frege type for java.net.URL, note that we do not support operations that mutate the URL, hence we regard every instance as immutable.

Member Functions

new ∷ String → IO URL
         throws MalformedURLException
     | URL → String → IO URL
         throws MalformedURLException
native new
new𝖆 ∷ String → IO URL
native new throws MalformedURLException overloads new
new𝖇 ∷ URL → String → IO URL
native new throws MalformedURLException overloads new
openConnection ∷ URL → STMutable RealWorld URLConnection
native openConnection throws IOException: convenience method to get a URLConnection
openStream ∷ URL → STMutable RealWorld InputStream
native openStream throws IOException
toString ∷ URL → String
pure native toString

type URLArray = JArray URL

data URLConnection = native java.net.URLConnection

Member Functions

connect ∷ MutableIO URLConnection → IO ()
native connect throws IOException
getContentType ∷ MutableIO URLConnection → IO (Maybe String)
native getContentType
getInputStream ∷ MutableIO URLConnection → STMutable RealWorld InputStream
native getInputStream throws IOException

data URI = pure native java.net.URI

Member Functions

create ∷ String → URI
pure native java.net.URI.create
new ∷ String → (URISyntaxException | URI)
pure native new
relativize ∷ URI → URI → URI
pure native relativize
toASCIIString ∷ URI → String
pure native toASCIIString
toString ∷ URI → String
pure native toString
toURL ∷ URI → (MalformedURLException | URL)
pure native toURL

data URLClassLoader = native java.net.URLClassLoader

Member Functions

findResource ∷ MutableIO URLClassLoader → String → IO (Maybe URL)
native findResource
getResource ∷ MutableIO URLClassLoader → String → IO (Maybe URL)
native getResource
loadClass ∷ MutableIO URLClassLoader → String → IO (ClassNotFoundException | Class a)
native loadClass
new ∷ ArrayOf RealWorld URL → MutableIO ClassLoader → STMutable RealWorld URLClassLoader
native new

Instances

instance ArrayElement URL

Member Functions

arrayFromIndexList ∷ [(Int, URL)] → URLArray: inherited from ArrayElement.arrayFromIndexList
arrayFromIndexListST ∷ [(Int, URL)] → STMutable 𝖆 URLArray: inherited from ArrayElement.arrayFromIndexListST
arrayFromList ∷ [URL] → URLArray: inherited from ArrayElement.arrayFromList
arrayFromListST ∷ [URL] → STMutable 𝖆 URLArray: inherited from ArrayElement.arrayFromListST
arrayFromMaybeList ∷ [Maybe URL] → URLArray: inherited from ArrayElement.arrayFromMaybeList
arrayFromMaybeListST ∷ [Maybe URL] → STMutable 𝖆 URLArray: inherited from ArrayElement.arrayFromMaybeListST
arrayLength ∷ URLArray → Int
pure native .length: inherited from ArrayElement.arrayLength
elemAt ∷ URLArray → Int → URL
pure native [i]: inherited from ArrayElement.elemAt
getAt ∷ ArrayOf 𝖆 URL → Int → ST 𝖆 (Maybe URL)
native [i]: inherited from ArrayElement.getAt
getElemAt ∷ ArrayOf 𝖆 URL → Int → ST 𝖆 URL
native [i]: inherited from ArrayElement.getElemAt
itemAt ∷ URLArray → Int → Maybe URL
pure native [i]: inherited from ArrayElement.itemAt
javaClass ∷ Class URL
pure native java.net.URL.class
listFromArray ∷ URLArray → [URL]: inherited from ArrayElement.listFromArray
maybeListFromArray ∷ URLArray → [Maybe URL]: inherited from ArrayElement.maybeListFromArray
modifyAt ∷ (URL → URL) → ArrayOf 𝖆 URL → Int → ST 𝖆 (): inherited from ArrayElement.modifyAt
modifyElemAt ∷ (URL → URL) → ArrayOf 𝖆 URL → Int → ST 𝖆 (): inherited from ArrayElement.modifyElemAt
newArray ∷ Int → STMutable 𝖆 URLArray
native new[]: inherited from ArrayElement.newArray
setAt ∷ ArrayOf 𝖆 URL → Int → Maybe URL → ST 𝖆 ()
native []=: inherited from ArrayElement.setAt
setElemAt ∷ ArrayOf 𝖆 URL → Int → URL → ST 𝖆 ()
native []=: inherited from ArrayElement.setElemAt

instance Exceptional MalformedURLException

Member Functions

javaClass ∷ Class MalformedURLException
pure native java.net.MalformedURLException.class

instance Exceptional URISyntaxException

Member Functions

javaClass ∷ Class URISyntaxException
pure native java.net.URISyntaxException.class

Functions and Values by Type

ArrayOf RealWorld URL → MutableIO ClassLoader → STMutable RealWorld URLClassLoader: URLClassLoader.new
MutableIO URLClassLoader → String → IO (Maybe URL): URLClassLoader.findResource, URLClassLoader.getResource
MutableIO URLConnection → STMutable RealWorld InputStream: URLConnection.getInputStream
MutableIO URLConnection → IO (Maybe String): URLConnection.getContentType
MutableIO URLConnection → IO (): URLConnection.connect
URLArray → Int → Maybe URL: ArrayElement_URL.itemAt
URLArray → Int → URL: ArrayElement_URL.elemAt
URLArray → [Maybe URL]: ArrayElement_URL.maybeListFromArray
URLArray → [URL]: ArrayElement_URL.listFromArray
URLArray → Int: ArrayElement_URL.arrayLength
String → (URISyntaxException | URI): URI.new
String → IO URL: URL.new𝖆
String → URI: URI.create
[(Int, URL)] → URLArray: ArrayElement_URL.arrayFromIndexList
[Maybe URL] → URLArray: ArrayElement_URL.arrayFromMaybeList
[URL] → URLArray: ArrayElement_URL.arrayFromList
URI → URI → URI: URI.relativize
URI → (MalformedURLException | URL): URI.toURL
URI → String: URI.toASCIIString, URI.toString
URL → String → IO URL: URL.new𝖇
URL → STMutable RealWorld InputStream: URL.openStream
URL → STMutable RealWorld URLConnection: URL.openConnection
URL → String: URL.toString
Class MalformedURLException: Exceptional_MalformedURLException.javaClass
Class URISyntaxException: Exceptional_URISyntaxException.javaClass
Class URL: ArrayElement_URL.javaClass
(URL → URL) → ArrayOf 𝖆 URL → Int → ST 𝖆 (): ArrayElement_URL.modifyElemAt, ArrayElement_URL.modifyAt
MutableIO URLClassLoader → String → IO (ClassNotFoundException | Class a): URLClassLoader.loadClass
ArrayOf 𝖆 URL → Int → Maybe URL → ST 𝖆 (): ArrayElement_URL.setAt
ArrayOf 𝖆 URL → Int → URL → ST 𝖆 (): ArrayElement_URL.setElemAt
ArrayOf 𝖆 URL → Int → ST 𝖆 (Maybe URL): ArrayElement_URL.getAt
ArrayOf 𝖆 URL → Int → ST 𝖆 URL: ArrayElement_URL.getElemAt
[(Int, URL)] → STMutable 𝖆 URLArray: ArrayElement_URL.arrayFromIndexListST
[Maybe URL] → STMutable 𝖆 URLArray: ArrayElement_URL.arrayFromMaybeListST
[URL] → STMutable 𝖆 URLArray: ArrayElement_URL.arrayFromListST
Int → STMutable 𝖆 URLArray: ArrayElement_URL.newArray
ω: URL.new