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 VerificationTypeInfo

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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 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 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 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)

Referenceable r => Staged (InClass r)

Defined in Language.JVM.Staged

Methods

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

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)

attributeError :: String -> m r

Instances

EvolveM Evolve

Defined in Language.JVM.ClassFileReader

Methods

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

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

attributeError :: 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