Safe Haskell	None
Language	Haskell98

JVM.Builder.Monad

Contents

Orphan instances

Description

This module defines Generate[IO] monad, which helps generating JVM code and creating Java class constants pool.

Code generation could be done using one of two monads: Generate and GenerateIO. Generate monad is pure (simply State monad), while GenerateIO is IO-related. In GenerateIO additional actions are available, such as setting up ClassPath and loading classes (from .class files or JAR archives).

Synopsis

data GState = GState {
- generated :: [Instruction]
- currentPool :: Pool Direct
- nextPoolIndex :: Word16
- doneMethods :: [Method Direct]
- currentMethod :: Maybe (Method Direct)
- stackSize :: Word16
- locals :: Word16
- classPath :: [Tree CPEntry]
}
emptyGState :: GState
class Monad m => GeneratorMonad m where
- getGState :: m GState
- putGState :: GState -> m ()
class (Monad (g e), GeneratorMonad (g e)) => Generator e g where
- throwG :: (Exception x, Throws x e) => x -> g e a
newtype Generate e a = Generate {
- runGenerate :: EMT e (State GState) a
}
newtype GenerateIO e a = GenerateIO {
- runGenerateIO :: EMT e (StateT GState IO) a
}
addToPool :: Generator e g => Constant Direct -> g e Word16
i0 :: Generator e g => Instruction -> g e ()
i1 :: Generator e g => (Word16 -> Instruction) -> Constant Direct -> g e ()
i8 :: Generator e g => (Word8 -> Instruction) -> Constant Direct -> g e ()
newMethod :: (Generator e g, Throws UnexpectedEndMethod e) => [AccessFlag] -> ByteString -> [ArgumentSignature] -> ReturnSignature -> g e () -> g e (NameType (Method Direct))
setStackSize :: Generator e g => Word16 -> g e ()
setMaxLocals :: Generator e g => Word16 -> g e ()
withClassPath :: ClassPath () -> GenerateIO e ()
getClassField :: (Throws ENotFound e, Throws ENotLoaded e) => String -> ByteString -> GenerateIO e (NameType (Field Direct))
getClassMethod :: (Throws ENotFound e, Throws ENotLoaded e) => String -> ByteString -> GenerateIO e (NameType (Method Direct))
generate :: [Tree CPEntry] -> ByteString -> Generate (Caught SomeException NoExceptions) () -> Class Direct
generateIO :: [Tree CPEntry] -> ByteString -> GenerateIO (Caught SomeException NoExceptions) () -> IO (Class Direct)
generateCodeLength :: Generate (Caught SomeException NoExceptions) a -> Word32

Documentation

data GState Source #

Generator state

Constructors

GState

Fields

generated :: [Instruction]
Already generated code (in current method)
currentPool :: Pool Direct
Already generated constants pool
nextPoolIndex :: Word16
Next index to be used in constants pool
doneMethods :: [Method Direct]
Already generated class methods
currentMethod :: Maybe (Method Direct)
Current method
stackSize :: Word16
Maximum stack size for current method
locals :: Word16
Maximum number of local variables for current method
classPath :: [Tree CPEntry]

Instances

Eq GState Source #
Instance details Defined in JVM.Builder.Monad Methods (==) :: GState -> GState -> Bool # (/=) :: GState -> GState -> Bool #
Show GState Source #
Instance details Defined in JVM.Builder.Monad Methods showsPrec :: Int -> GState -> ShowS # show :: GState -> String # showList :: [GState] -> ShowS #
MonadState GState (GenerateIO e) Source #
Instance details Defined in JVM.Builder.Monad Methods get :: GenerateIO e GState # put :: GState -> GenerateIO e () # state :: (GState -> (a, GState)) -> GenerateIO e a #
MonadState GState (Generate e) Source #
Instance details Defined in JVM.Builder.Monad Methods get :: Generate e GState # put :: GState -> Generate e () # state :: (GState -> (a, GState)) -> Generate e a #
MonadIO (EMT e (StateT GState IO)) Source #
Instance details Defined in JVM.Builder.Monad Methods liftIO :: IO a -> EMT e (StateT GState IO) a #

emptyGState :: GState Source #

Empty generator state

class Monad m => GeneratorMonad m where Source #

Methods

getGState :: m GState Source #

putGState :: GState -> m () Source #

Instances

(Monad m, MonadState GState m) => GeneratorMonad m Source #
Instance details Defined in JVM.Builder.Monad Methods getGState :: m GState Source # putGState :: GState -> m () Source #

class (Monad (g e), GeneratorMonad (g e)) => Generator e g where Source #

Methods

throwG :: (Exception x, Throws x e) => x -> g e a Source #

Instances

MonadState GState (EMT e (State GState)) => Generator e Generate Source #
Instance details Defined in JVM.Builder.Monad Methods throwG :: (Exception x, Throws x e) => x -> Generate e a Source #
Generator e GenerateIO Source #
Instance details Defined in JVM.Builder.Monad Methods throwG :: (Exception x, Throws x e) => x -> GenerateIO e a Source #

newtype Generate e a Source #

Generate monad

Constructors

Generate
Fields runGenerate :: EMT e (State GState) a

Instances

MonadState GState (EMT e (State GState)) => Generator e Generate Source #
Instance details Defined in JVM.Builder.Monad Methods throwG :: (Exception x, Throws x e) => x -> Generate e a Source #
MonadState GState (Generate e) Source #
Instance details Defined in JVM.Builder.Monad Methods get :: Generate e GState # put :: GState -> Generate e () # state :: (GState -> (a, GState)) -> Generate e a #
Monad (Generate e) Source #
Instance details Defined in JVM.Builder.Monad Methods (>>=) :: Generate e a -> (a -> Generate e b) -> Generate e b # (>>) :: Generate e a -> Generate e b -> Generate e b # return :: a -> Generate e a # fail :: String -> Generate e a #
Functor (Generate e) Source #
Instance details Defined in JVM.Builder.Monad Methods fmap :: (a -> b) -> Generate e a -> Generate e b # (<$) :: a -> Generate e b -> Generate e a #
Applicative (Generate e) Source #
Instance details Defined in JVM.Builder.Monad Methods pure :: a -> Generate e a # (<>) :: Generate e (a -> b) -> Generate e a -> Generate e b # liftA2 :: (a -> b -> c) -> Generate e a -> Generate e b -> Generate e c # (>) :: Generate e a -> Generate e b -> Generate e b # (<*) :: Generate e a -> Generate e b -> Generate e a #

newtype GenerateIO e a Source #

IO version of Generate monad

Constructors

GenerateIO
Fields runGenerateIO :: EMT e (StateT GState IO) a

Instances

Generator e GenerateIO Source #
Instance details Defined in JVM.Builder.Monad Methods throwG :: (Exception x, Throws x e) => x -> GenerateIO e a Source #
MonadState GState (GenerateIO e) Source #
Instance details Defined in JVM.Builder.Monad Methods get :: GenerateIO e GState # put :: GState -> GenerateIO e () # state :: (GState -> (a, GState)) -> GenerateIO e a #
Monad (GenerateIO e) Source #
Instance details Defined in JVM.Builder.Monad Methods (>>=) :: GenerateIO e a -> (a -> GenerateIO e b) -> GenerateIO e b # (>>) :: GenerateIO e a -> GenerateIO e b -> GenerateIO e b # return :: a -> GenerateIO e a # fail :: String -> GenerateIO e a #
Functor (GenerateIO e) Source #
Instance details Defined in JVM.Builder.Monad Methods fmap :: (a -> b) -> GenerateIO e a -> GenerateIO e b # (<$) :: a -> GenerateIO e b -> GenerateIO e a #
Applicative (GenerateIO e) Source #
Instance details Defined in JVM.Builder.Monad Methods pure :: a -> GenerateIO e a # (<>) :: GenerateIO e (a -> b) -> GenerateIO e a -> GenerateIO e b # liftA2 :: (a -> b -> c) -> GenerateIO e a -> GenerateIO e b -> GenerateIO e c # (>) :: GenerateIO e a -> GenerateIO e b -> GenerateIO e b # (<*) :: GenerateIO e a -> GenerateIO e b -> GenerateIO e a #
MonadIO (GenerateIO e) Source #
Instance details Defined in JVM.Builder.Monad Methods liftIO :: IO a -> GenerateIO e a #

addToPool :: Generator e g => Constant Direct -> g e Word16 Source #

Add a constant into pool

i0 :: Generator e g => Instruction -> g e () Source #

Generate one (zero-arguments) instruction

i1 :: Generator e g => (Word16 -> Instruction) -> Constant Direct -> g e () Source #

Generate one one-argument instruction

i8 :: Generator e g => (Word8 -> Instruction) -> Constant Direct -> g e () Source #

Generate one one-argument instruction

newMethod Source #

Arguments

:: (Generator e g, Throws UnexpectedEndMethod e)
=> [AccessFlag]	Access flags for method (public, static etc)
-> ByteString	Method name
-> [ArgumentSignature]	Signatures of method arguments
-> ReturnSignature	Method return signature
-> g e ()	Generator for method code
-> g e (NameType (Method Direct))

Generate new method

setStackSize :: Generator e g => Word16 -> g e () Source #

Set maximum stack size for current method

setMaxLocals :: Generator e g => Word16 -> g e () Source #

Set maximum number of local variables for current method

withClassPath :: ClassPath () -> GenerateIO e () Source #

Update ClassPath

getClassField :: (Throws ENotFound e, Throws ENotLoaded e) => String -> ByteString -> GenerateIO e (NameType (Field Direct)) Source #

Get class field signature from current ClassPath

getClassMethod :: (Throws ENotFound e, Throws ENotLoaded e) => String -> ByteString -> GenerateIO e (NameType (Method Direct)) Source #

Get class method signature from current ClassPath

generate :: [Tree CPEntry] -> ByteString -> Generate (Caught SomeException NoExceptions) () -> Class Direct Source #

Generate a class

generateIO :: [Tree CPEntry] -> ByteString -> GenerateIO (Caught SomeException NoExceptions) () -> IO (Class Direct) Source #

Generate a class

generateCodeLength :: Generate (Caught SomeException NoExceptions) a -> Word32 Source #

Orphan instances

MonadState st (EMT e (State st)) Source #
Instance details Methods get :: EMT e (State st) st # put :: st -> EMT e (State st) () # state :: (st -> (a, st)) -> EMT e (State st) a #
MonadState st (EMT e (StateT st IO)) Source #
Instance details Methods get :: EMT e (StateT st IO) st # put :: st -> EMT e (StateT st IO) () # state :: (st -> (a, st)) -> EMT e (StateT st IO) a #