Module Java.util.Zip

Java classes from package java.util.zip

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
import Java.Util as Util

Table of Content

Definitions

data ZipEntry = native java.util.zip.ZipEntry

data ZipException = pure native java.util.zip.ZipException

data ZipFile = native java.util.zip.ZipFile
Instances

instance Exceptional ZipException
Functions and Values by Type

Definitions

data ZipException = pure native java.util.zip.ZipException

data ZipFile = native java.util.zip.ZipFile

Member Functions

entries ∷ MutableIO ZipFile → STMutable RealWorld (Enumeration (MutableIO ZipEntry))
entries' ∷ MutableIO ZipFile → STMutable RealWorld (Enumeration <)
native entries
getEntry ∷ MutableIO ZipFile → String → IO (Maybe (MutableIO ZipEntry))
native getEntry: get the ZipEntry for the specified name, or Maybe.Nothing if not found.
getInputStream ∷ MutableIO ZipFile → MutableIO ZipEntry → STMutable RealWorld InputStream
native getInputStream throws IOException
new ∷ MutableIO File → STMutable RealWorld ZipFile
native new throws ZipException, IOException

data ZipEntry = native java.util.zip.ZipEntry

Member Functions

getName ∷ MutableIO ZipEntry → IO String
native getName
isDirectory ∷ MutableIO ZipEntry → IO Bool
native isDirectory
new ∷ MutableIO ZipEntry → STMutable RealWorld ZipEntry
| String → STMutable RealWorld ZipEntry
native new
new𝖆 ∷ MutableIO ZipEntry → STMutable RealWorld ZipEntry
native new overloads new
new𝖇 ∷ String → STMutable RealWorld ZipEntry
native new overloads new

Instances

instance Exceptional ZipException

Member Functions

javaClass ∷ Class ZipException
pure native java.util.zip.ZipException.class

Functions and Values by Type