Module Lib.Modules

Find frege modules

Imports

• import Compiler.Classtools as CT
• import Data.List as L
• import Data.Monoid as Monoid
• 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 Data.TreeMap as TreeMap
• import Java.util.Zip as Zip

Table of Content

• Definitions

  data RTree a

  data Y f

  zipWalk ∷ MutableIO ClassLoader → MutableIO ZipFile → IO [(String, String)]

  getX ∷ MutableIO ClassLoader → String → IO (Maybe (String, FregePackage))

  classAtEnd ∷ Regex

  dollars ∷ Regex

  dirSep ∷ Regex

  pathSep ∷ String

  pathRE ∷ Regex

  classPath ∷ [String]

  dirWalk ∷ MutableIO ClassLoader → String → MutableIO File → IO [(String, String)]

  walkThing ∷ String → IO [(String, String)]

  walkCP ∷ IO [(String, String)]

  walkPath ∷ String → IO [(String, String)]

  main ∷ [String] → IO ()

  noPacks ∷ Y RTree

  out ∷ Y α → α (Y α)

  pack ∷ Y RTree → ([String], String) → Y RTree

  pfind ∷ [String] → Y RTree → Maybe (Y RTree)

  flat ∷ Y RTree → [(String, Y RTree)]

  nf ∷ Y RTree → Y RTree

  unR ∷ Y RTree → Maybe String

• Instances

  instance Functor RTree

• Functions and Values by Type

Definitions

zipWalk ∷ MutableIO ClassLoader → MutableIO ZipFile → IO [(String, String)]

Walk a ZipFile and find Frege modules.

The classes inside the ZIP/JAR must be loadable with the given ClassLoader

Ignores ClassNotFoundExceptions and the strange Errors that can happen during class loading.

getX ∷ MutableIO ClassLoader → String → IO (Maybe (String, FregePackage))

load a package and return maybe a tuple of package name and FregePackage

classAtEnd ∷ Regex

dollars ∷ Regex

dirSep ∷ Regex

pathSep ∷ String

the path separator used here

pathRE ∷ Regex

a pattern that can be used to Regex.split a String by the path separator

classPath ∷ [String]

the class path this JVM started with, as [String]

dirWalk ∷ MutableIO ClassLoader → String → MutableIO File → IO [(String, String)]

Walk a directory and find Frege modules.

The classes in the directory must be loadable with the given ClassLoader

Ignores ClassNotFoundExceptions and the strange Errors that can happen during class loading.

walkThing ∷ String → IO [(String, String)]

Walk a directory or a zip file and search for Frege packages.

If the argument is neither a directory nor a ZIP/JAR file, an empty list is returned.

walkCP ∷ IO [(String, String)]

walk the class path

walkPath ∷ String → IO [(String, String)]

walk a given path

main ∷ [String] → IO ()

data RTree a

Constructors

R (String)

T (TreeMap String a)

data Y f

Constructors

Y (f (Y f))

noPacks ∷ Y RTree

out ∷ Y α → α (Y α)

pack ∷ Y RTree → ([String], String) → Y RTree

pfind ∷ [String] → Y RTree → Maybe (Y RTree)

flat ∷ Y RTree → [(String, Y RTree)]

nf ∷ Y RTree → Y RTree

unR ∷ Y RTree → Maybe String

Instances

instance Functor RTree

Member Functions

fmap ∷ (𝖆 → 𝖇) → RTree 𝖆 → RTree 𝖇
infixl  4

Functions and Values by Type

MutableIO ClassLoader → MutableIO ZipFile → IO [(String, String)]

zipWalk

MutableIO ClassLoader → String → MutableIO File → IO [(String, String)]

dirWalk

MutableIO ClassLoader → String → IO (Maybe (String, FregePackage))

getX

Y RTree → ([String], String) → Y RTree

pack

Y RTree → Y RTree

nf

Y RTree → Maybe String

unR

Y RTree → [(String, Y RTree)]

flat

String → IO [(String, String)]

walkPath, walkThing

[String] → Y RTree → Maybe (Y RTree)

pfind

[String] → IO ()

main

IO [(String, String)]

walkCP

Y RTree

noPacks

String

pathSep

[String]

classPath

Regex

classAtEnd, dirSep, dollars, pathRE

TreeMap String a → RTree a

RTree.T

Y α → α (Y α)

out

String → RTree a

RTree.R

f (Y f) → Y f

Y.Y

(𝖆 → 𝖇) → RTree 𝖆 → RTree 𝖇

Functor_RTree.fmap