Language.JVM.Staged

Documentation

class Staged s where

Minimal complete definition

stage | evolve, devolve

Methods

stage :: LabelM m => (forall s'. Staged s' => s' r -> m (s' r')) -> s r -> m (s r')

evolve :: EvolveM m => s Low -> m (s High)

devolve :: DevolveM m => s High -> m (s Low)

Instances

Staged InvokeDynamic

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> InvokeDynamic r -> m (InvokeDynamic r')

evolve :: EvolveM m => InvokeDynamic Low -> m (InvokeDynamic High)

devolve :: DevolveM m => InvokeDynamic High -> m (InvokeDynamic Low)

Staged MethodHandleInterface

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> MethodHandleInterface r -> m (MethodHandleInterface r')

evolve :: EvolveM m => MethodHandleInterface Low -> m (MethodHandleInterface High)

devolve :: DevolveM m => MethodHandleInterface High -> m (MethodHandleInterface Low)

Staged MethodHandleMethod

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> MethodHandleMethod r -> m (MethodHandleMethod r')

evolve :: EvolveM m => MethodHandleMethod Low -> m (MethodHandleMethod High)

devolve :: DevolveM m => MethodHandleMethod High -> m (MethodHandleMethod Low)

Staged MethodHandleField

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> MethodHandleField r -> m (MethodHandleField r')

evolve :: EvolveM m => MethodHandleField Low -> m (MethodHandleField High)

devolve :: DevolveM m => MethodHandleField High -> m (MethodHandleField Low)

Staged MethodHandle

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> MethodHandle r -> m (MethodHandle r')

evolve :: EvolveM m => MethodHandle Low -> m (MethodHandle High)

devolve :: DevolveM m => MethodHandle High -> m (MethodHandle Low)

Staged Constant

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Constant r -> m (Constant r')

evolve :: EvolveM m => Constant Low -> m (Constant High)

devolve :: DevolveM m => Constant High -> m (Constant Low)

Staged CConstant

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> CConstant r -> m (CConstant r')

evolve :: EvolveM m => CConstant Low -> m (CConstant High)

devolve :: DevolveM m => CConstant High -> m (CConstant Low)

Staged Invocation

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Invocation r -> m (Invocation r')

evolve :: EvolveM m => Invocation Low -> m (Invocation High)

devolve :: DevolveM m => Invocation High -> m (Invocation Low)

Staged ExactArrayType

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> ExactArrayType r -> m (ExactArrayType r')

evolve :: EvolveM m => ExactArrayType Low -> m (ExactArrayType High)

devolve :: DevolveM m => ExactArrayType High -> m (ExactArrayType Low)

Staged Attribute

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Attribute r -> m (Attribute r')

evolve :: EvolveM m => Attribute Low -> m (Attribute High)

devolve :: DevolveM m => Attribute High -> m (Attribute Low)

Staged VerificationTypeInfo

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> VerificationTypeInfo r -> m (VerificationTypeInfo r')

evolve :: EvolveM m => VerificationTypeInfo Low -> m (VerificationTypeInfo High)

devolve :: DevolveM m => VerificationTypeInfo High -> m (VerificationTypeInfo Low)

Staged StackMapFrameType

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> StackMapFrameType r -> m (StackMapFrameType r')

evolve :: EvolveM m => StackMapFrameType Low -> m (StackMapFrameType High)

devolve :: DevolveM m => StackMapFrameType High -> m (StackMapFrameType Low)

Staged Signature

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Signature r -> m (Signature r')

evolve :: EvolveM m => Signature Low -> m (Signature High)

devolve :: DevolveM m => Signature High -> m (Signature Low)

Staged Exceptions

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Exceptions r -> m (Exceptions r')

evolve :: EvolveM m => Exceptions Low -> m (Exceptions High)

devolve :: DevolveM m => Exceptions High -> m (Exceptions Low)

Staged ConstantValue

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> ConstantValue r -> m (ConstantValue r')

evolve :: EvolveM m => ConstantValue Low -> m (ConstantValue High)

devolve :: DevolveM m => ConstantValue High -> m (ConstantValue Low)

Staged Code

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Code r -> m (Code r')

evolve :: EvolveM m => Code Low -> m (Code High)

devolve :: DevolveM m => Code High -> m (Code Low)

Staged BootstrapMethod

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> BootstrapMethod r -> m (BootstrapMethod r')

evolve :: EvolveM m => BootstrapMethod Low -> m (BootstrapMethod High)

devolve :: DevolveM m => BootstrapMethod High -> m (BootstrapMethod Low)

Staged BootstrapMethods

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> BootstrapMethods r -> m (BootstrapMethods r')

evolve :: EvolveM m => BootstrapMethods Low -> m (BootstrapMethods High)

devolve :: DevolveM m => BootstrapMethods High -> m (BootstrapMethods Low)

Staged Method

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Method r -> m (Method r')

evolve :: EvolveM m => Method Low -> m (Method High)

devolve :: DevolveM m => Method High -> m (Method Low)

Staged Field

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Field r -> m (Field r')

evolve :: EvolveM m => Field Low -> m (Field High)

devolve :: DevolveM m => Field High -> m (Field Low)

Staged ClassFile

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> ClassFile r -> m (ClassFile r')

evolve :: EvolveM m => ClassFile Low -> m (ClassFile High)

devolve :: DevolveM m => ClassFile High -> m (ClassFile Low)

Referenceable r => Staged (InClass r)

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> InClass r r -> m (InClass r r')

evolve :: EvolveM m => InClass r Low -> m (InClass r High)

devolve :: DevolveM m => InClass r High -> m (InClass r Low)

Monad Classes

class Monad m => LabelM m where

Methods

label :: String -> m a -> m a

label the current position in the class-file, good for debugging

Instances

LabelM ConstantPoolBuilder

Methods

label :: String -> ConstantPoolBuilder a -> ConstantPoolBuilder a

LabelM Evolve

Methods

label :: String -> Evolve a -> Evolve a

class LabelM m => EvolveM m where

Minimal complete definition

link, attributeError

Methods

link :: Referenceable r => Index -> m r

attributeError :: String -> m r

Instances

EvolveM Evolve

Methods

link :: Referenceable r => Index -> Evolve r

attributeError :: String -> Evolve r

class LabelM m => DevolveM m where

Minimal complete definition

unlink

Methods

unlink :: Referenceable r => r -> m Index

Instances

DevolveM ConstantPoolBuilder

Methods

unlink :: Referenceable r => r -> ConstantPoolBuilder Index

Re-exports

module Language.JVM.Stage

module Language.JVM.TH