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

Defined in Language.JVM.Staged

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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

Defined in Language.JVM.Staged

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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

Defined in Language.JVM.Staged

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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

Defined in Language.JVM.Staged

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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

Defined in Language.JVM.Staged

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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

Defined in Language.JVM.Staged

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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

Defined in Language.JVM.ByteCode

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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

Defined in Language.JVM.ByteCode

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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 Attribute

Defined in Language.JVM.Attribute.Base

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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 Signature

Defined in Language.JVM.Attribute.Signature

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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

Defined in Language.JVM.Attribute.Exceptions

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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 EnclosingMethod

Defined in Language.JVM.Attribute.EnclosingMethod

Methods

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

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

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

Staged ConstantValue

Defined in Language.JVM.Attribute.ConstantValue

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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 BootstrapMethod

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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 AnnotationDefault

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Staged FieldTypeAnnotation

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Staged MethodTypeAnnotation

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Staged ClassTypeAnnotation

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Staged EnumValue

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Staged ElementValue

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Staged ValuePair

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Staged Annotation

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Staged RuntimeInvisibleParameterAnnotations

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Staged RuntimeVisibleParameterAnnotations

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Staged RuntimeInvisibleAnnotations

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Staged RuntimeVisibleAnnotations

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Staged Code

Defined in Language.JVM.Attribute.Code

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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 MethodParameter

Defined in Language.JVM.Attribute.MethodParameters

Methods

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

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

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

Staged MethodParameters

Defined in Language.JVM.Attribute.MethodParameters

Methods

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

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

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

Staged Method

Defined in Language.JVM.Method

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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

Defined in Language.JVM.Field

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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 InnerClass

Defined in Language.JVM.Attribute.InnerClasses

Methods

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

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

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

Staged InnerClasses

Defined in Language.JVM.Attribute.InnerClasses

Methods

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

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

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

Staged ClassFile

Defined in Language.JVM.ClassFile

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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)

Staged m => Staged (RuntimeInvisibleTypeAnnotations m)

Defined in Language.JVM.Attribute.Annotations

Methods

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

evolve :: EvolveM m0 => RuntimeInvisibleTypeAnnotations m Low -> m0 (RuntimeInvisibleTypeAnnotations m High)

devolve :: DevolveM m0 => RuntimeInvisibleTypeAnnotations m High -> m0 (RuntimeInvisibleTypeAnnotations m Low)

Staged m => Staged (RuntimeVisibleTypeAnnotations m)

Defined in Language.JVM.Attribute.Annotations

Methods

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

evolve :: EvolveM m0 => RuntimeVisibleTypeAnnotations m Low -> m0 (RuntimeVisibleTypeAnnotations m High)

devolve :: DevolveM m0 => RuntimeVisibleTypeAnnotations m High -> m0 (RuntimeVisibleTypeAnnotations m Low)

Staged m => Staged (TypeAnnotation m)

Defined in Language.JVM.Attribute.Annotations

Methods

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

evolve :: EvolveM m0 => TypeAnnotation m Low -> m0 (TypeAnnotation m High)

devolve :: DevolveM m0 => TypeAnnotation m High -> m0 (TypeAnnotation m Low)

Monad Classes

class Monad m => LabelM m where

Minimal complete definition

Nothing

Methods

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

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

Instances

LabelM ConstantPoolBuilder

Defined in Language.JVM.ClassFileReader

Methods

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

LabelM Evolve

Defined in Language.JVM.ClassFileReader

Methods

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

class LabelM m => EvolveM m where

Methods

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

attributeFilter :: m ((AttributeLocation, Text) -> Bool)

evolveError :: String -> m r

Instances

EvolveM Evolve

Defined in Language.JVM.ClassFileReader

Methods

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

attributeFilter :: Evolve ((AttributeLocation, Text) -> Bool)

evolveError :: String -> Evolve r

class LabelM m => DevolveM m where

Methods

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

Instances

DevolveM ConstantPoolBuilder

Defined in Language.JVM.ClassFileReader

Methods

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

AttributeLocation

data AttributeLocation

Constructors

ClassAttribute

MethodAttribute

CodeAttribute

FieldAttribute

Instances

Eq AttributeLocation

Defined in Language.JVM.Staged

Methods

(==) :: AttributeLocation -> AttributeLocation -> Bool

(/=) :: AttributeLocation -> AttributeLocation -> Bool

Ord AttributeLocation

Defined in Language.JVM.Staged

Methods

compare :: AttributeLocation -> AttributeLocation -> Ordering

(<) :: AttributeLocation -> AttributeLocation -> Bool

(<=) :: AttributeLocation -> AttributeLocation -> Bool

(>) :: AttributeLocation -> AttributeLocation -> Bool

(>=) :: AttributeLocation -> AttributeLocation -> Bool

max :: AttributeLocation -> AttributeLocation -> AttributeLocation

min :: AttributeLocation -> AttributeLocation -> AttributeLocation

Show AttributeLocation

Defined in Language.JVM.Staged

Methods

showsPrec :: Int -> AttributeLocation -> ShowS

show :: AttributeLocation -> String

showList :: [AttributeLocation] -> ShowS

Re-exports

module Language.JVM.Stage

module Language.JVM.TH