Copyright	(c) Christian Gram Kalhauge 2018
License	MIT
Maintainer	kalhuage@cs.ucla.edu
Safe Haskell	None
Language	Haskell2010

Language.JVM.Staged

Contents

Monad Classes
AttributeLocation
Re-exports

Description

Synopsis

class Staged s where
- 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)
class Monad m => LabelM m where
- label :: String -> m a -> m a
class LabelM m => EvolveM m where
- link :: Referenceable r => Index -> m r
- attributeFilter :: m ((AttributeLocation, Text) -> Bool)
- evolveError :: String -> m r
class LabelM m => DevolveM m where
- unlink :: Referenceable r => r -> m Index
data AttributeLocation
- = ClassAttribute
- | MethodAttribute
- | CodeAttribute
- | FieldAttribute
module Language.JVM.Stage
module Language.JVM.TH

Documentation

class Staged s where Source #

Minimal complete definition

stage | evolve, devolve

Methods

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

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

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

Instances

Staged InvokeDynamic Source #
Instance details 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') Source # evolve :: EvolveM m => InvokeDynamic Low -> m (InvokeDynamic High) Source # devolve :: DevolveM m => InvokeDynamic High -> m (InvokeDynamic Low) Source #
Staged MethodHandleInterface Source #
Instance details 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') Source # evolve :: EvolveM m => MethodHandleInterface Low -> m (MethodHandleInterface High) Source # devolve :: DevolveM m => MethodHandleInterface High -> m (MethodHandleInterface Low) Source #
Staged MethodHandleMethod Source #
Instance details 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') Source # evolve :: EvolveM m => MethodHandleMethod Low -> m (MethodHandleMethod High) Source # devolve :: DevolveM m => MethodHandleMethod High -> m (MethodHandleMethod Low) Source #
Staged MethodHandleField Source #
Instance details 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') Source # evolve :: EvolveM m => MethodHandleField Low -> m (MethodHandleField High) Source # devolve :: DevolveM m => MethodHandleField High -> m (MethodHandleField Low) Source #
Staged MethodHandle Source #
Instance details 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') Source # evolve :: EvolveM m => MethodHandle Low -> m (MethodHandle High) Source # devolve :: DevolveM m => MethodHandle High -> m (MethodHandle Low) Source #
Staged Constant Source #
Instance details 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') Source # evolve :: EvolveM m => Constant Low -> m (Constant High) Source # devolve :: DevolveM m => Constant High -> m (Constant Low) Source #
Staged CConstant Source #
Instance details 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') Source # evolve :: EvolveM m => CConstant Low -> m (CConstant High) Source # devolve :: DevolveM m => CConstant High -> m (CConstant Low) Source #
Staged Invocation Source #
Instance details 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') Source # evolve :: EvolveM m => Invocation Low -> m (Invocation High) Source # devolve :: DevolveM m => Invocation High -> m (Invocation Low) Source #
Staged Attribute Source #
Instance details 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') Source # evolve :: EvolveM m => Attribute Low -> m (Attribute High) Source # devolve :: DevolveM m => Attribute High -> m (Attribute Low) Source #
Staged Signature Source #
Instance details 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') Source # evolve :: EvolveM m => Signature Low -> m (Signature High) Source # devolve :: DevolveM m => Signature High -> m (Signature Low) Source #
Staged Exceptions Source #
Instance details 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') Source # evolve :: EvolveM m => Exceptions Low -> m (Exceptions High) Source # devolve :: DevolveM m => Exceptions High -> m (Exceptions Low) Source #
Staged EnclosingMethod Source #
Instance details 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') Source # evolve :: EvolveM m => EnclosingMethod Low -> m (EnclosingMethod High) Source # devolve :: DevolveM m => EnclosingMethod High -> m (EnclosingMethod Low) Source #
Staged ConstantValue Source #
Instance details 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') Source # evolve :: EvolveM m => ConstantValue Low -> m (ConstantValue High) Source # devolve :: DevolveM m => ConstantValue High -> m (ConstantValue Low) Source #
Staged BootstrapMethod Source #
Instance details 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') Source # evolve :: EvolveM m => BootstrapMethod Low -> m (BootstrapMethod High) Source # devolve :: DevolveM m => BootstrapMethod High -> m (BootstrapMethod Low) Source #
Staged BootstrapMethods Source #
Instance details 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') Source # evolve :: EvolveM m => BootstrapMethods Low -> m (BootstrapMethods High) Source # devolve :: DevolveM m => BootstrapMethods High -> m (BootstrapMethods Low) Source #
Staged AnnotationDefault Source #
Instance details 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') Source # evolve :: EvolveM m => AnnotationDefault Low -> m (AnnotationDefault High) Source # devolve :: DevolveM m => AnnotationDefault High -> m (AnnotationDefault Low) Source #
Staged FieldTypeAnnotation Source #
Instance details 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') Source # evolve :: EvolveM m => FieldTypeAnnotation Low -> m (FieldTypeAnnotation High) Source # devolve :: DevolveM m => FieldTypeAnnotation High -> m (FieldTypeAnnotation Low) Source #
Staged MethodTypeAnnotation Source #
Instance details 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') Source # evolve :: EvolveM m => MethodTypeAnnotation Low -> m (MethodTypeAnnotation High) Source # devolve :: DevolveM m => MethodTypeAnnotation High -> m (MethodTypeAnnotation Low) Source #
Staged ClassTypeAnnotation Source #
Instance details 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') Source # evolve :: EvolveM m => ClassTypeAnnotation Low -> m (ClassTypeAnnotation High) Source # devolve :: DevolveM m => ClassTypeAnnotation High -> m (ClassTypeAnnotation Low) Source #
Staged EnumValue Source #
Instance details 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') Source # evolve :: EvolveM m => EnumValue Low -> m (EnumValue High) Source # devolve :: DevolveM m => EnumValue High -> m (EnumValue Low) Source #
Staged ElementValue Source #
Instance details 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') Source # evolve :: EvolveM m => ElementValue Low -> m (ElementValue High) Source # devolve :: DevolveM m => ElementValue High -> m (ElementValue Low) Source #
Staged ValuePair Source #
Instance details 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') Source # evolve :: EvolveM m => ValuePair Low -> m (ValuePair High) Source # devolve :: DevolveM m => ValuePair High -> m (ValuePair Low) Source #
Staged Annotation Source #
Instance details 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') Source # evolve :: EvolveM m => Annotation Low -> m (Annotation High) Source # devolve :: DevolveM m => Annotation High -> m (Annotation Low) Source #
Staged RuntimeInvisibleParameterAnnotations Source #
Instance details 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') Source # evolve :: EvolveM m => RuntimeInvisibleParameterAnnotations Low -> m (RuntimeInvisibleParameterAnnotations High) Source # devolve :: DevolveM m => RuntimeInvisibleParameterAnnotations High -> m (RuntimeInvisibleParameterAnnotations Low) Source #
Staged RuntimeVisibleParameterAnnotations Source #
Instance details 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') Source # evolve :: EvolveM m => RuntimeVisibleParameterAnnotations Low -> m (RuntimeVisibleParameterAnnotations High) Source # devolve :: DevolveM m => RuntimeVisibleParameterAnnotations High -> m (RuntimeVisibleParameterAnnotations Low) Source #
Staged RuntimeInvisibleAnnotations Source #
Instance details 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') Source # evolve :: EvolveM m => RuntimeInvisibleAnnotations Low -> m (RuntimeInvisibleAnnotations High) Source # devolve :: DevolveM m => RuntimeInvisibleAnnotations High -> m (RuntimeInvisibleAnnotations Low) Source #
Staged RuntimeVisibleAnnotations Source #
Instance details 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') Source # evolve :: EvolveM m => RuntimeVisibleAnnotations Low -> m (RuntimeVisibleAnnotations High) Source # devolve :: DevolveM m => RuntimeVisibleAnnotations High -> m (RuntimeVisibleAnnotations Low) Source #
Staged Code Source #
Instance details 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') Source # evolve :: EvolveM m => Code Low -> m (Code High) Source # devolve :: DevolveM m => Code High -> m (Code Low) Source #
Staged MethodParameter Source #
Instance details 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') Source # evolve :: EvolveM m => MethodParameter Low -> m (MethodParameter High) Source # devolve :: DevolveM m => MethodParameter High -> m (MethodParameter Low) Source #
Staged MethodParameters Source #
Instance details 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') Source # evolve :: EvolveM m => MethodParameters Low -> m (MethodParameters High) Source # devolve :: DevolveM m => MethodParameters High -> m (MethodParameters Low) Source #
Staged Method Source #
Instance details 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') Source # evolve :: EvolveM m => Method Low -> m (Method High) Source # devolve :: DevolveM m => Method High -> m (Method Low) Source #
Staged Field Source #
Instance details 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') Source # evolve :: EvolveM m => Field Low -> m (Field High) Source # devolve :: DevolveM m => Field High -> m (Field Low) Source #
Staged InnerClass Source #
Instance details 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') Source # evolve :: EvolveM m => InnerClass Low -> m (InnerClass High) Source # devolve :: DevolveM m => InnerClass High -> m (InnerClass Low) Source #
Staged InnerClasses Source #
Instance details 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') Source # evolve :: EvolveM m => InnerClasses Low -> m (InnerClasses High) Source # devolve :: DevolveM m => InnerClasses High -> m (InnerClasses Low) Source #
Staged ClassFile Source #
Instance details 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') Source # evolve :: EvolveM m => ClassFile Low -> m (ClassFile High) Source # devolve :: DevolveM m => ClassFile High -> m (ClassFile Low) Source #
Staged m => Staged (RuntimeInvisibleTypeAnnotations m) Source #
Instance details 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') Source # evolve :: EvolveM m0 => RuntimeInvisibleTypeAnnotations m Low -> m0 (RuntimeInvisibleTypeAnnotations m High) Source # devolve :: DevolveM m0 => RuntimeInvisibleTypeAnnotations m High -> m0 (RuntimeInvisibleTypeAnnotations m Low) Source #
Staged m => Staged (RuntimeVisibleTypeAnnotations m) Source #
Instance details 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') Source # evolve :: EvolveM m0 => RuntimeVisibleTypeAnnotations m Low -> m0 (RuntimeVisibleTypeAnnotations m High) Source # devolve :: DevolveM m0 => RuntimeVisibleTypeAnnotations m High -> m0 (RuntimeVisibleTypeAnnotations m Low) Source #
Staged m => Staged (TypeAnnotation m) Source #
Instance details 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') Source # evolve :: EvolveM m0 => TypeAnnotation m Low -> m0 (TypeAnnotation m High) Source # devolve :: DevolveM m0 => TypeAnnotation m High -> m0 (TypeAnnotation m Low) Source #

Monad Classes

class Monad m => LabelM m where Source #

Minimal complete definition

Nothing

Methods

label :: String -> m a -> m a Source #

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

Instances

LabelM ConstantPoolBuilder Source #
Instance details Defined in Language.JVM.ClassFileReader Methods label :: String -> ConstantPoolBuilder a -> ConstantPoolBuilder a Source #
LabelM Evolve Source #
Instance details Defined in Language.JVM.ClassFileReader Methods label :: String -> Evolve a -> Evolve a Source #

class LabelM m => EvolveM m where Source #

Methods

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

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

evolveError :: String -> m r Source #

Instances

EvolveM Evolve Source #
Instance details Defined in Language.JVM.ClassFileReader Methods link :: Referenceable r => Index -> Evolve r Source # attributeFilter :: Evolve ((AttributeLocation, Text) -> Bool) Source # evolveError :: String -> Evolve r Source #

class LabelM m => DevolveM m where Source #

Methods

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

Instances

DevolveM ConstantPoolBuilder Source #
Instance details Defined in Language.JVM.ClassFileReader Methods unlink :: Referenceable r => r -> ConstantPoolBuilder Index Source #

AttributeLocation

data AttributeLocation Source #

Constructors

ClassAttribute
MethodAttribute
CodeAttribute
FieldAttribute

Instances

Eq AttributeLocation Source #
Instance details Defined in Language.JVM.Staged Methods (==) :: AttributeLocation -> AttributeLocation -> Bool # (/=) :: AttributeLocation -> AttributeLocation -> Bool #
Ord AttributeLocation Source #
Instance details 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 Source #
Instance details 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