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

Language.JVM.Attribute

Contents

Subattributes

Description

This is the main module for accessing all kinds of Attributes.

Synopsis

module Language.JVM.Attribute.Base
data BootstrapMethods r
data Code r
data ConstantValue r
data Exceptions r
data LineNumberTable r
data StackMapTable r
data Signature a
data RuntimeVisibleAnnotations r
data RuntimeInvisibleAnnotations r
data RuntimeVisibleParameterAnnotations r
data RuntimeInvisibleParameterAnnotations r
data RuntimeVisibleTypeAnnotations m r
data RuntimeInvisibleTypeAnnotations m r
data ClassTypeAnnotation r
data MethodTypeAnnotation r
data FieldTypeAnnotation r
data CodeTypeAnnotation r
data AnnotationDefault r
data MethodParameters r

Documentation

module Language.JVM.Attribute.Base

Subattributes

data BootstrapMethods r Source #

Is a list of bootstrapped methods.

Instances

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 #
Eq (BootstrapMethods High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods (==) :: BootstrapMethods High -> BootstrapMethods High -> Bool # (/=) :: BootstrapMethods High -> BootstrapMethods High -> Bool #
Eq (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods (==) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # (/=) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool #
Ord (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods compare :: BootstrapMethods Low -> BootstrapMethods Low -> Ordering # (<) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # (<=) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # (>) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # (>=) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # max :: BootstrapMethods Low -> BootstrapMethods Low -> BootstrapMethods Low # min :: BootstrapMethods Low -> BootstrapMethods Low -> BootstrapMethods Low #
Show (BootstrapMethods High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods showsPrec :: Int -> BootstrapMethods High -> ShowS # show :: BootstrapMethods High -> String # showList :: [BootstrapMethods High] -> ShowS #
Show (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods showsPrec :: Int -> BootstrapMethods Low -> ShowS # show :: BootstrapMethods Low -> String # showList :: [BootstrapMethods Low] -> ShowS #
Generic (BootstrapMethods High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Associated Types type Rep (BootstrapMethods High) :: Type -> Type # Methods from :: BootstrapMethods High -> Rep (BootstrapMethods High) x # to :: Rep (BootstrapMethods High) x -> BootstrapMethods High #
Generic (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Associated Types type Rep (BootstrapMethods Low) :: Type -> Type # Methods from :: BootstrapMethods Low -> Rep (BootstrapMethods Low) x # to :: Rep (BootstrapMethods Low) x -> BootstrapMethods Low #
Binary (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods put :: BootstrapMethods Low -> Put # get :: Get (BootstrapMethods Low) # putList :: [BootstrapMethods Low] -> Put #
NFData (BootstrapMethods High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods rnf :: BootstrapMethods High -> () #
NFData (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods rnf :: BootstrapMethods Low -> () #
IsAttribute (BootstrapMethods Low) Source #	`BootstrapMethods` is an Attribute.
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods attrName :: Const Text (BootstrapMethods Low) Source #
type Rep (BootstrapMethods High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods type Rep (BootstrapMethods High) = D1 (MetaData "BootstrapMethods" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "BootstrapMethods" PrefixI True) (S1 (MetaSel (Just "methods'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (BootstrapMethod High)))))
type Rep (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods type Rep (BootstrapMethods Low) = D1 (MetaData "BootstrapMethods" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "BootstrapMethods" PrefixI True) (S1 (MetaSel (Just "methods'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (BootstrapMethod Low)))))

data Code r Source #

Code contains the actual byte-code. The i type parameter is added to allow indicate the two stages of the code file, before and after access to the ConstantPool. i should be either Ref or Deref.

Instances

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 #
Eq (Code High) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods (==) :: Code High -> Code High -> Bool # (/=) :: Code High -> Code High -> Bool #
Eq (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods (==) :: Code Low -> Code Low -> Bool # (/=) :: Code Low -> Code Low -> Bool #
Ord (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods compare :: Code Low -> Code Low -> Ordering # (<) :: Code Low -> Code Low -> Bool # (<=) :: Code Low -> Code Low -> Bool # (>) :: Code Low -> Code Low -> Bool # (>=) :: Code Low -> Code Low -> Bool # max :: Code Low -> Code Low -> Code Low # min :: Code Low -> Code Low -> Code Low #
Show (Code High) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods showsPrec :: Int -> Code High -> ShowS # show :: Code High -> String # showList :: [Code High] -> ShowS #
Show (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods showsPrec :: Int -> Code Low -> ShowS # show :: Code Low -> String # showList :: [Code Low] -> ShowS #
Generic (Code High) Source #
Instance details Defined in Language.JVM.Attribute.Code Associated Types type Rep (Code High) :: Type -> Type # Methods from :: Code High -> Rep (Code High) x # to :: Rep (Code High) x -> Code High #
Generic (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Associated Types type Rep (Code Low) :: Type -> Type # Methods from :: Code Low -> Rep (Code Low) x # to :: Rep (Code Low) x -> Code Low #
Binary (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods put :: Code Low -> Put # get :: Get (Code Low) # putList :: [Code Low] -> Put #
NFData (Code High) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods rnf :: Code High -> () #
NFData (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods rnf :: Code Low -> () #
IsAttribute (Code Low) Source #	`Code` is an Attribute.
Instance details Defined in Language.JVM.Attribute.Code Methods attrName :: Const Text (Code Low) Source #
type Rep (Code High) Source #
Instance details Defined in Language.JVM.Attribute.Code type Rep (Code High) = D1 (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "Code" PrefixI True) ((S1 (MetaSel (Just "codeMaxStack") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :: S1 (MetaSel (Just "codeMaxLocals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16)) :: (S1 (MetaSel (Just "codeByteCode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCode High)) :: (S1 (MetaSel (Just "codeExceptionTable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (ExceptionTable High))) :: S1 (MetaSel (Just "codeAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes CodeAttributes High))))))
type Rep (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code type Rep (Code Low) = D1 (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "Code" PrefixI True) ((S1 (MetaSel (Just "codeMaxStack") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :: S1 (MetaSel (Just "codeMaxLocals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16)) :: (S1 (MetaSel (Just "codeByteCode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCode Low)) :: (S1 (MetaSel (Just "codeExceptionTable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (ExceptionTable Low))) :: S1 (MetaSel (Just "codeAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes CodeAttributes Low))))))

data ConstantValue r Source #

A constant value is just a index into the constant pool.

Instances

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 #
Eq (ConstantValue High) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods (==) :: ConstantValue High -> ConstantValue High -> Bool # (/=) :: ConstantValue High -> ConstantValue High -> Bool #
Eq (ConstantValue Low) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods (==) :: ConstantValue Low -> ConstantValue Low -> Bool # (/=) :: ConstantValue Low -> ConstantValue Low -> Bool #
Ord (ConstantValue Low) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods compare :: ConstantValue Low -> ConstantValue Low -> Ordering # (<) :: ConstantValue Low -> ConstantValue Low -> Bool # (<=) :: ConstantValue Low -> ConstantValue Low -> Bool # (>) :: ConstantValue Low -> ConstantValue Low -> Bool # (>=) :: ConstantValue Low -> ConstantValue Low -> Bool # max :: ConstantValue Low -> ConstantValue Low -> ConstantValue Low # min :: ConstantValue Low -> ConstantValue Low -> ConstantValue Low #
Show (ConstantValue High) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods showsPrec :: Int -> ConstantValue High -> ShowS # show :: ConstantValue High -> String # showList :: [ConstantValue High] -> ShowS #
Show (ConstantValue Low) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods showsPrec :: Int -> ConstantValue Low -> ShowS # show :: ConstantValue Low -> String # showList :: [ConstantValue Low] -> ShowS #
Generic (ConstantValue High) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Associated Types type Rep (ConstantValue High) :: Type -> Type # Methods from :: ConstantValue High -> Rep (ConstantValue High) x # to :: Rep (ConstantValue High) x -> ConstantValue High #
Generic (ConstantValue Low) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Associated Types type Rep (ConstantValue Low) :: Type -> Type # Methods from :: ConstantValue Low -> Rep (ConstantValue Low) x # to :: Rep (ConstantValue Low) x -> ConstantValue Low #
Binary (ConstantValue Low) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods put :: ConstantValue Low -> Put # get :: Get (ConstantValue Low) # putList :: [ConstantValue Low] -> Put #
NFData (ConstantValue High) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods rnf :: ConstantValue High -> () #
NFData (ConstantValue Low) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods rnf :: ConstantValue Low -> () #
IsAttribute (ConstantValue Low) Source #	`ConstantValue` is an Attribute.
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods attrName :: Const Text (ConstantValue Low) Source #
type Rep (ConstantValue High) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue type Rep (ConstantValue High) = D1 (MetaData "ConstantValue" "Language.JVM.Attribute.ConstantValue" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "ConstantValue" PrefixI True) (S1 (MetaSel (Just "constantValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ref JValue High))))
type Rep (ConstantValue Low) Source #
Instance details Defined in Language.JVM.Attribute.ConstantValue type Rep (ConstantValue Low) = D1 (MetaData "ConstantValue" "Language.JVM.Attribute.ConstantValue" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "ConstantValue" PrefixI True) (S1 (MetaSel (Just "constantValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ref JValue Low))))

data Exceptions r Source #

An Exceptions attribute is a list of references into the constant pool.

Instances

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 #
Eq (Exceptions High) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods (==) :: Exceptions High -> Exceptions High -> Bool # (/=) :: Exceptions High -> Exceptions High -> Bool #
Eq (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods (==) :: Exceptions Low -> Exceptions Low -> Bool # (/=) :: Exceptions Low -> Exceptions Low -> Bool #
Ord (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods compare :: Exceptions Low -> Exceptions Low -> Ordering # (<) :: Exceptions Low -> Exceptions Low -> Bool # (<=) :: Exceptions Low -> Exceptions Low -> Bool # (>) :: Exceptions Low -> Exceptions Low -> Bool # (>=) :: Exceptions Low -> Exceptions Low -> Bool # max :: Exceptions Low -> Exceptions Low -> Exceptions Low # min :: Exceptions Low -> Exceptions Low -> Exceptions Low #
Show (Exceptions High) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods showsPrec :: Int -> Exceptions High -> ShowS # show :: Exceptions High -> String # showList :: [Exceptions High] -> ShowS #
Show (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods showsPrec :: Int -> Exceptions Low -> ShowS # show :: Exceptions Low -> String # showList :: [Exceptions Low] -> ShowS #
Generic (Exceptions High) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Associated Types type Rep (Exceptions High) :: Type -> Type # Methods from :: Exceptions High -> Rep (Exceptions High) x # to :: Rep (Exceptions High) x -> Exceptions High #
Generic (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Associated Types type Rep (Exceptions Low) :: Type -> Type # Methods from :: Exceptions Low -> Rep (Exceptions Low) x # to :: Rep (Exceptions Low) x -> Exceptions Low #
Binary (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods put :: Exceptions Low -> Put # get :: Get (Exceptions Low) # putList :: [Exceptions Low] -> Put #
NFData (Exceptions High) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods rnf :: Exceptions High -> () #
NFData (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods rnf :: Exceptions Low -> () #
IsAttribute (Exceptions Low) Source #	`Exceptions` is an Attribute.
Instance details Defined in Language.JVM.Attribute.Exceptions Methods attrName :: Const Text (Exceptions Low) Source #
type Rep (Exceptions High) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions type Rep (Exceptions High) = D1 (MetaData "Exceptions" "Language.JVM.Attribute.Exceptions" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "Exceptions" PrefixI True) (S1 (MetaSel (Just "exceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (Ref ClassName High)))))
type Rep (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions type Rep (Exceptions Low) = D1 (MetaData "Exceptions" "Language.JVM.Attribute.Exceptions" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "Exceptions" PrefixI True) (S1 (MetaSel (Just "exceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (Ref ClassName Low)))))

data LineNumberTable r Source #

The LineNumberTable is just a mapping from offsets to linenumbers.

Instances

ByteCodeStaged LineNumberTable Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> LineNumberTable Low -> m (LineNumberTable High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> LineNumberTable High -> m (LineNumberTable Low) Source #
Eq (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods (==) :: LineNumberTable r -> LineNumberTable r -> Bool # (/=) :: LineNumberTable r -> LineNumberTable r -> Bool #
Ord (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods compare :: LineNumberTable r -> LineNumberTable r -> Ordering # (<) :: LineNumberTable r -> LineNumberTable r -> Bool # (<=) :: LineNumberTable r -> LineNumberTable r -> Bool # (>) :: LineNumberTable r -> LineNumberTable r -> Bool # (>=) :: LineNumberTable r -> LineNumberTable r -> Bool # max :: LineNumberTable r -> LineNumberTable r -> LineNumberTable r # min :: LineNumberTable r -> LineNumberTable r -> LineNumberTable r #
Show (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods showsPrec :: Int -> LineNumberTable r -> ShowS # show :: LineNumberTable r -> String # showList :: [LineNumberTable r] -> ShowS #
Generic (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Associated Types type Rep (LineNumberTable r) :: Type -> Type # Methods from :: LineNumberTable r -> Rep (LineNumberTable r) x # to :: Rep (LineNumberTable r) x -> LineNumberTable r #
Binary (LineNumberTable Low) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods put :: LineNumberTable Low -> Put # get :: Get (LineNumberTable Low) # putList :: [LineNumberTable Low] -> Put #
NFData (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods rnf :: LineNumberTable r -> () #
IsAttribute (LineNumberTable Low) Source #	`Signature` is an Attribute.
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods attrName :: Const Text (LineNumberTable Low) Source #
type Rep (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable type Rep (LineNumberTable r) = D1 (MetaData "LineNumberTable" "Language.JVM.Attribute.LineNumberTable" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "LineNumberTable" PrefixI True) (S1 (MetaSel (Just "lineNumberTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (IntMap LineNumber))))

data StackMapTable r Source #

An Exceptions attribute is a list of references into the constant pool.

Instances

ByteCodeStaged StackMapTable Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> StackMapTable Low -> m (StackMapTable High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> StackMapTable High -> m (StackMapTable Low) Source #
Eq (StackMapTable High) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods (==) :: StackMapTable High -> StackMapTable High -> Bool # (/=) :: StackMapTable High -> StackMapTable High -> Bool #
Eq (StackMapTable Low) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods (==) :: StackMapTable Low -> StackMapTable Low -> Bool # (/=) :: StackMapTable Low -> StackMapTable Low -> Bool #
Ord (StackMapTable Low) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods compare :: StackMapTable Low -> StackMapTable Low -> Ordering # (<) :: StackMapTable Low -> StackMapTable Low -> Bool # (<=) :: StackMapTable Low -> StackMapTable Low -> Bool # (>) :: StackMapTable Low -> StackMapTable Low -> Bool # (>=) :: StackMapTable Low -> StackMapTable Low -> Bool # max :: StackMapTable Low -> StackMapTable Low -> StackMapTable Low # min :: StackMapTable Low -> StackMapTable Low -> StackMapTable Low #
Show (StackMapTable High) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods showsPrec :: Int -> StackMapTable High -> ShowS # show :: StackMapTable High -> String # showList :: [StackMapTable High] -> ShowS #
Show (StackMapTable Low) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods showsPrec :: Int -> StackMapTable Low -> ShowS # show :: StackMapTable Low -> String # showList :: [StackMapTable Low] -> ShowS #
Generic (StackMapTable High) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Associated Types type Rep (StackMapTable High) :: Type -> Type # Methods from :: StackMapTable High -> Rep (StackMapTable High) x # to :: Rep (StackMapTable High) x -> StackMapTable High #
Generic (StackMapTable Low) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Associated Types type Rep (StackMapTable Low) :: Type -> Type # Methods from :: StackMapTable Low -> Rep (StackMapTable Low) x # to :: Rep (StackMapTable Low) x -> StackMapTable Low #
Binary (StackMapTable Low) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods put :: StackMapTable Low -> Put # get :: Get (StackMapTable Low) # putList :: [StackMapTable Low] -> Put #
NFData (StackMapTable High) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods rnf :: StackMapTable High -> () #
NFData (StackMapTable Low) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods rnf :: StackMapTable Low -> () #
IsAttribute (StackMapTable Low) Source #	`StackMapTable` is an Attribute.
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods attrName :: Const Text (StackMapTable Low) Source #
type Rep (StackMapTable High) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable type Rep (StackMapTable High) = D1 (MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "StackMapTable" PrefixI True) (S1 (MetaSel (Just "stackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Choice (SizedList16 (StackMapFrame Low)) [StackMapFrame High] High))))
type Rep (StackMapTable Low) Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable type Rep (StackMapTable Low) = D1 (MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "StackMapTable" PrefixI True) (S1 (MetaSel (Just "stackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Choice (SizedList16 (StackMapFrame Low)) [StackMapFrame High] Low))))

data Signature a Source #

Instances

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 #
Eq (Signature High) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: Signature High -> Signature High -> Bool # (/=) :: Signature High -> Signature High -> Bool #
Eq (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: Signature Low -> Signature Low -> Bool # (/=) :: Signature Low -> Signature Low -> Bool #
Ord (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods compare :: Signature Low -> Signature Low -> Ordering # (<) :: Signature Low -> Signature Low -> Bool # (<=) :: Signature Low -> Signature Low -> Bool # (>) :: Signature Low -> Signature Low -> Bool # (>=) :: Signature Low -> Signature Low -> Bool # max :: Signature Low -> Signature Low -> Signature Low # min :: Signature Low -> Signature Low -> Signature Low #
Show (Signature High) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> Signature High -> ShowS # show :: Signature High -> String # showList :: [Signature High] -> ShowS #
Show (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> Signature Low -> ShowS # show :: Signature Low -> String # showList :: [Signature Low] -> ShowS #
Generic (Signature High) Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep (Signature High) :: Type -> Type # Methods from :: Signature High -> Rep (Signature High) x # to :: Rep (Signature High) x -> Signature High #
Generic (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep (Signature Low) :: Type -> Type # Methods from :: Signature Low -> Rep (Signature Low) x # to :: Rep (Signature Low) x -> Signature Low #
Binary (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods put :: Signature Low -> Put # get :: Get (Signature Low) # putList :: [Signature Low] -> Put #
NFData (Signature High) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: Signature High -> () #
NFData (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: Signature Low -> () #
IsAttribute (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods attrName :: Const Text (Signature Low) Source #
type Rep (Signature High) Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep (Signature High) = D1 (MetaData "Signature" "Language.JVM.Attribute.Signature" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "Signature" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ref Text High))))
type Rep (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep (Signature Low) = D1 (MetaData "Signature" "Language.JVM.Attribute.Signature" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "Signature" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ref Text Low))))

data RuntimeVisibleAnnotations r Source #

RuntimeVisibleAnnotations

Instances

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 #
Eq (RuntimeVisibleAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: RuntimeVisibleAnnotations High -> RuntimeVisibleAnnotations High -> Bool # (/=) :: RuntimeVisibleAnnotations High -> RuntimeVisibleAnnotations High -> Bool #
Eq (RuntimeVisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: RuntimeVisibleAnnotations Low -> RuntimeVisibleAnnotations Low -> Bool # (/=) :: RuntimeVisibleAnnotations Low -> RuntimeVisibleAnnotations Low -> Bool #
Ord (RuntimeVisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods compare :: RuntimeVisibleAnnotations Low -> RuntimeVisibleAnnotations Low -> Ordering # (<) :: RuntimeVisibleAnnotations Low -> RuntimeVisibleAnnotations Low -> Bool # (<=) :: RuntimeVisibleAnnotations Low -> RuntimeVisibleAnnotations Low -> Bool # (>) :: RuntimeVisibleAnnotations Low -> RuntimeVisibleAnnotations Low -> Bool # (>=) :: RuntimeVisibleAnnotations Low -> RuntimeVisibleAnnotations Low -> Bool # max :: RuntimeVisibleAnnotations Low -> RuntimeVisibleAnnotations Low -> RuntimeVisibleAnnotations Low # min :: RuntimeVisibleAnnotations Low -> RuntimeVisibleAnnotations Low -> RuntimeVisibleAnnotations Low #
Show (RuntimeVisibleAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> RuntimeVisibleAnnotations High -> ShowS # show :: RuntimeVisibleAnnotations High -> String # showList :: [RuntimeVisibleAnnotations High] -> ShowS #
Show (RuntimeVisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> RuntimeVisibleAnnotations Low -> ShowS # show :: RuntimeVisibleAnnotations Low -> String # showList :: [RuntimeVisibleAnnotations Low] -> ShowS #
Generic (RuntimeVisibleAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (RuntimeVisibleAnnotations High) :: Type -> Type # Methods from :: RuntimeVisibleAnnotations High -> Rep (RuntimeVisibleAnnotations High) x # to :: Rep (RuntimeVisibleAnnotations High) x -> RuntimeVisibleAnnotations High #
Generic (RuntimeVisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (RuntimeVisibleAnnotations Low) :: Type -> Type # Methods from :: RuntimeVisibleAnnotations Low -> Rep (RuntimeVisibleAnnotations Low) x # to :: Rep (RuntimeVisibleAnnotations Low) x -> RuntimeVisibleAnnotations Low #
Binary (RuntimeVisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods put :: RuntimeVisibleAnnotations Low -> Put # get :: Get (RuntimeVisibleAnnotations Low) # putList :: [RuntimeVisibleAnnotations Low] -> Put #
NFData (RuntimeVisibleAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: RuntimeVisibleAnnotations High -> () #
NFData (RuntimeVisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: RuntimeVisibleAnnotations Low -> () #
IsAttribute (RuntimeVisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods attrName :: Const Text (RuntimeVisibleAnnotations Low) Source #
type Rep (RuntimeVisibleAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (RuntimeVisibleAnnotations High) = D1 (MetaData "RuntimeVisibleAnnotations" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "RuntimeVisibleAnnotations" PrefixI True) (S1 (MetaSel (Just "asListOfRuntimeVisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (Annotation High)))))
type Rep (RuntimeVisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (RuntimeVisibleAnnotations Low) = D1 (MetaData "RuntimeVisibleAnnotations" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "RuntimeVisibleAnnotations" PrefixI True) (S1 (MetaSel (Just "asListOfRuntimeVisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (Annotation Low)))))

data RuntimeInvisibleAnnotations r Source #

Instances

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 #
Eq (RuntimeInvisibleAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: RuntimeInvisibleAnnotations High -> RuntimeInvisibleAnnotations High -> Bool # (/=) :: RuntimeInvisibleAnnotations High -> RuntimeInvisibleAnnotations High -> Bool #
Eq (RuntimeInvisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: RuntimeInvisibleAnnotations Low -> RuntimeInvisibleAnnotations Low -> Bool # (/=) :: RuntimeInvisibleAnnotations Low -> RuntimeInvisibleAnnotations Low -> Bool #
Ord (RuntimeInvisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods compare :: RuntimeInvisibleAnnotations Low -> RuntimeInvisibleAnnotations Low -> Ordering # (<) :: RuntimeInvisibleAnnotations Low -> RuntimeInvisibleAnnotations Low -> Bool # (<=) :: RuntimeInvisibleAnnotations Low -> RuntimeInvisibleAnnotations Low -> Bool # (>) :: RuntimeInvisibleAnnotations Low -> RuntimeInvisibleAnnotations Low -> Bool # (>=) :: RuntimeInvisibleAnnotations Low -> RuntimeInvisibleAnnotations Low -> Bool # max :: RuntimeInvisibleAnnotations Low -> RuntimeInvisibleAnnotations Low -> RuntimeInvisibleAnnotations Low # min :: RuntimeInvisibleAnnotations Low -> RuntimeInvisibleAnnotations Low -> RuntimeInvisibleAnnotations Low #
Show (RuntimeInvisibleAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> RuntimeInvisibleAnnotations High -> ShowS # show :: RuntimeInvisibleAnnotations High -> String # showList :: [RuntimeInvisibleAnnotations High] -> ShowS #
Show (RuntimeInvisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> RuntimeInvisibleAnnotations Low -> ShowS # show :: RuntimeInvisibleAnnotations Low -> String # showList :: [RuntimeInvisibleAnnotations Low] -> ShowS #
Generic (RuntimeInvisibleAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (RuntimeInvisibleAnnotations High) :: Type -> Type # Methods from :: RuntimeInvisibleAnnotations High -> Rep (RuntimeInvisibleAnnotations High) x # to :: Rep (RuntimeInvisibleAnnotations High) x -> RuntimeInvisibleAnnotations High #
Generic (RuntimeInvisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (RuntimeInvisibleAnnotations Low) :: Type -> Type # Methods from :: RuntimeInvisibleAnnotations Low -> Rep (RuntimeInvisibleAnnotations Low) x # to :: Rep (RuntimeInvisibleAnnotations Low) x -> RuntimeInvisibleAnnotations Low #
Binary (RuntimeInvisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods put :: RuntimeInvisibleAnnotations Low -> Put # get :: Get (RuntimeInvisibleAnnotations Low) # putList :: [RuntimeInvisibleAnnotations Low] -> Put #
NFData (RuntimeInvisibleAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: RuntimeInvisibleAnnotations High -> () #
NFData (RuntimeInvisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: RuntimeInvisibleAnnotations Low -> () #
IsAttribute (RuntimeInvisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods attrName :: Const Text (RuntimeInvisibleAnnotations Low) Source #
type Rep (RuntimeInvisibleAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (RuntimeInvisibleAnnotations High) = D1 (MetaData "RuntimeInvisibleAnnotations" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "RuntimeInvisibleAnnotations" PrefixI True) (S1 (MetaSel (Just "asListOfRuntimeInvisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (Annotation High)))))
type Rep (RuntimeInvisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (RuntimeInvisibleAnnotations Low) = D1 (MetaData "RuntimeInvisibleAnnotations" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "RuntimeInvisibleAnnotations" PrefixI True) (S1 (MetaSel (Just "asListOfRuntimeInvisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (Annotation Low)))))

data RuntimeVisibleParameterAnnotations r Source #

Instances

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 #
Eq (RuntimeVisibleParameterAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: RuntimeVisibleParameterAnnotations High -> RuntimeVisibleParameterAnnotations High -> Bool # (/=) :: RuntimeVisibleParameterAnnotations High -> RuntimeVisibleParameterAnnotations High -> Bool #
Eq (RuntimeVisibleParameterAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: RuntimeVisibleParameterAnnotations Low -> RuntimeVisibleParameterAnnotations Low -> Bool # (/=) :: RuntimeVisibleParameterAnnotations Low -> RuntimeVisibleParameterAnnotations Low -> Bool #
Ord (RuntimeVisibleParameterAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods compare :: RuntimeVisibleParameterAnnotations Low -> RuntimeVisibleParameterAnnotations Low -> Ordering # (<) :: RuntimeVisibleParameterAnnotations Low -> RuntimeVisibleParameterAnnotations Low -> Bool # (<=) :: RuntimeVisibleParameterAnnotations Low -> RuntimeVisibleParameterAnnotations Low -> Bool # (>) :: RuntimeVisibleParameterAnnotations Low -> RuntimeVisibleParameterAnnotations Low -> Bool # (>=) :: RuntimeVisibleParameterAnnotations Low -> RuntimeVisibleParameterAnnotations Low -> Bool # max :: RuntimeVisibleParameterAnnotations Low -> RuntimeVisibleParameterAnnotations Low -> RuntimeVisibleParameterAnnotations Low # min :: RuntimeVisibleParameterAnnotations Low -> RuntimeVisibleParameterAnnotations Low -> RuntimeVisibleParameterAnnotations Low #
Show (RuntimeVisibleParameterAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> RuntimeVisibleParameterAnnotations High -> ShowS # show :: RuntimeVisibleParameterAnnotations High -> String # showList :: [RuntimeVisibleParameterAnnotations High] -> ShowS #
Show (RuntimeVisibleParameterAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> RuntimeVisibleParameterAnnotations Low -> ShowS # show :: RuntimeVisibleParameterAnnotations Low -> String # showList :: [RuntimeVisibleParameterAnnotations Low] -> ShowS #
Generic (RuntimeVisibleParameterAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (RuntimeVisibleParameterAnnotations High) :: Type -> Type # Methods from :: RuntimeVisibleParameterAnnotations High -> Rep (RuntimeVisibleParameterAnnotations High) x # to :: Rep (RuntimeVisibleParameterAnnotations High) x -> RuntimeVisibleParameterAnnotations High #
Generic (RuntimeVisibleParameterAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (RuntimeVisibleParameterAnnotations Low) :: Type -> Type # Methods from :: RuntimeVisibleParameterAnnotations Low -> Rep (RuntimeVisibleParameterAnnotations Low) x # to :: Rep (RuntimeVisibleParameterAnnotations Low) x -> RuntimeVisibleParameterAnnotations Low #
Binary (RuntimeVisibleParameterAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods put :: RuntimeVisibleParameterAnnotations Low -> Put # get :: Get (RuntimeVisibleParameterAnnotations Low) # putList :: [RuntimeVisibleParameterAnnotations Low] -> Put #
NFData (RuntimeVisibleParameterAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: RuntimeVisibleParameterAnnotations High -> () #
NFData (RuntimeVisibleParameterAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: RuntimeVisibleParameterAnnotations Low -> () #
IsAttribute (RuntimeVisibleParameterAnnotations Low) Source #	`RuntimeVisibleParameterAnnotations` is an Attribute.
Instance details Defined in Language.JVM.Attribute.Annotations Methods attrName :: Const Text (RuntimeVisibleParameterAnnotations Low) Source #
type Rep (RuntimeVisibleParameterAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (RuntimeVisibleParameterAnnotations High) = D1 (MetaData "RuntimeVisibleParameterAnnotations" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "RuntimeVisibleParameterAnnotations" PrefixI True) (S1 (MetaSel (Just "asListOfVisibleParameterAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList8 (SizedList16 (Annotation High))))))
type Rep (RuntimeVisibleParameterAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (RuntimeVisibleParameterAnnotations Low) = D1 (MetaData "RuntimeVisibleParameterAnnotations" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "RuntimeVisibleParameterAnnotations" PrefixI True) (S1 (MetaSel (Just "asListOfVisibleParameterAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList8 (SizedList16 (Annotation Low))))))

data RuntimeInvisibleParameterAnnotations r Source #

Instances

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 #
Eq (RuntimeInvisibleParameterAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: RuntimeInvisibleParameterAnnotations High -> RuntimeInvisibleParameterAnnotations High -> Bool # (/=) :: RuntimeInvisibleParameterAnnotations High -> RuntimeInvisibleParameterAnnotations High -> Bool #
Eq (RuntimeInvisibleParameterAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: RuntimeInvisibleParameterAnnotations Low -> RuntimeInvisibleParameterAnnotations Low -> Bool # (/=) :: RuntimeInvisibleParameterAnnotations Low -> RuntimeInvisibleParameterAnnotations Low -> Bool #
Ord (RuntimeInvisibleParameterAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods compare :: RuntimeInvisibleParameterAnnotations Low -> RuntimeInvisibleParameterAnnotations Low -> Ordering # (<) :: RuntimeInvisibleParameterAnnotations Low -> RuntimeInvisibleParameterAnnotations Low -> Bool # (<=) :: RuntimeInvisibleParameterAnnotations Low -> RuntimeInvisibleParameterAnnotations Low -> Bool # (>) :: RuntimeInvisibleParameterAnnotations Low -> RuntimeInvisibleParameterAnnotations Low -> Bool # (>=) :: RuntimeInvisibleParameterAnnotations Low -> RuntimeInvisibleParameterAnnotations Low -> Bool # max :: RuntimeInvisibleParameterAnnotations Low -> RuntimeInvisibleParameterAnnotations Low -> RuntimeInvisibleParameterAnnotations Low # min :: RuntimeInvisibleParameterAnnotations Low -> RuntimeInvisibleParameterAnnotations Low -> RuntimeInvisibleParameterAnnotations Low #
Show (RuntimeInvisibleParameterAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> RuntimeInvisibleParameterAnnotations High -> ShowS # show :: RuntimeInvisibleParameterAnnotations High -> String # showList :: [RuntimeInvisibleParameterAnnotations High] -> ShowS #
Show (RuntimeInvisibleParameterAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> RuntimeInvisibleParameterAnnotations Low -> ShowS # show :: RuntimeInvisibleParameterAnnotations Low -> String # showList :: [RuntimeInvisibleParameterAnnotations Low] -> ShowS #
Generic (RuntimeInvisibleParameterAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (RuntimeInvisibleParameterAnnotations High) :: Type -> Type # Methods from :: RuntimeInvisibleParameterAnnotations High -> Rep (RuntimeInvisibleParameterAnnotations High) x # to :: Rep (RuntimeInvisibleParameterAnnotations High) x -> RuntimeInvisibleParameterAnnotations High #
Generic (RuntimeInvisibleParameterAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (RuntimeInvisibleParameterAnnotations Low) :: Type -> Type # Methods from :: RuntimeInvisibleParameterAnnotations Low -> Rep (RuntimeInvisibleParameterAnnotations Low) x # to :: Rep (RuntimeInvisibleParameterAnnotations Low) x -> RuntimeInvisibleParameterAnnotations Low #
Binary (RuntimeInvisibleParameterAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods put :: RuntimeInvisibleParameterAnnotations Low -> Put # get :: Get (RuntimeInvisibleParameterAnnotations Low) # putList :: [RuntimeInvisibleParameterAnnotations Low] -> Put #
NFData (RuntimeInvisibleParameterAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: RuntimeInvisibleParameterAnnotations High -> () #
NFData (RuntimeInvisibleParameterAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: RuntimeInvisibleParameterAnnotations Low -> () #
IsAttribute (RuntimeInvisibleParameterAnnotations Low) Source #	`RuntimeInvisibleParameterAnnotations` is an Attribute.
Instance details Defined in Language.JVM.Attribute.Annotations Methods attrName :: Const Text (RuntimeInvisibleParameterAnnotations Low) Source #
type Rep (RuntimeInvisibleParameterAnnotations High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (RuntimeInvisibleParameterAnnotations High) = D1 (MetaData "RuntimeInvisibleParameterAnnotations" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "RuntimeInvisibleParameterAnnotations" PrefixI True) (S1 (MetaSel (Just "asListOfInvisibleParameterAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList8 (SizedList16 (Annotation High))))))
type Rep (RuntimeInvisibleParameterAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (RuntimeInvisibleParameterAnnotations Low) = D1 (MetaData "RuntimeInvisibleParameterAnnotations" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "RuntimeInvisibleParameterAnnotations" PrefixI True) (S1 (MetaSel (Just "asListOfInvisibleParameterAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList8 (SizedList16 (Annotation Low))))))

data RuntimeVisibleTypeAnnotations m r Source #

Instances

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 #
ByteCodeStaged m => ByteCodeStaged (RuntimeVisibleTypeAnnotations m) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods evolveBC :: EvolveM m0 => (ByteCodeOffset -> m0 ByteCodeIndex) -> RuntimeVisibleTypeAnnotations m Low -> m0 (RuntimeVisibleTypeAnnotations m High) Source # devolveBC :: DevolveM m0 => (ByteCodeIndex -> m0 ByteCodeOffset) -> RuntimeVisibleTypeAnnotations m High -> m0 (RuntimeVisibleTypeAnnotations m Low) Source #
Eq (m Low) => Eq (RuntimeVisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: RuntimeVisibleTypeAnnotations m Low -> RuntimeVisibleTypeAnnotations m Low -> Bool # (/=) :: RuntimeVisibleTypeAnnotations m Low -> RuntimeVisibleTypeAnnotations m Low -> Bool #
Eq (m High) => Eq (RuntimeVisibleTypeAnnotations m High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: RuntimeVisibleTypeAnnotations m High -> RuntimeVisibleTypeAnnotations m High -> Bool # (/=) :: RuntimeVisibleTypeAnnotations m High -> RuntimeVisibleTypeAnnotations m High -> Bool #
Ord (m Low) => Ord (RuntimeVisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods compare :: RuntimeVisibleTypeAnnotations m Low -> RuntimeVisibleTypeAnnotations m Low -> Ordering # (<) :: RuntimeVisibleTypeAnnotations m Low -> RuntimeVisibleTypeAnnotations m Low -> Bool # (<=) :: RuntimeVisibleTypeAnnotations m Low -> RuntimeVisibleTypeAnnotations m Low -> Bool # (>) :: RuntimeVisibleTypeAnnotations m Low -> RuntimeVisibleTypeAnnotations m Low -> Bool # (>=) :: RuntimeVisibleTypeAnnotations m Low -> RuntimeVisibleTypeAnnotations m Low -> Bool # max :: RuntimeVisibleTypeAnnotations m Low -> RuntimeVisibleTypeAnnotations m Low -> RuntimeVisibleTypeAnnotations m Low # min :: RuntimeVisibleTypeAnnotations m Low -> RuntimeVisibleTypeAnnotations m Low -> RuntimeVisibleTypeAnnotations m Low #
Show (m Low) => Show (RuntimeVisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> RuntimeVisibleTypeAnnotations m Low -> ShowS # show :: RuntimeVisibleTypeAnnotations m Low -> String # showList :: [RuntimeVisibleTypeAnnotations m Low] -> ShowS #
Show (m High) => Show (RuntimeVisibleTypeAnnotations m High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> RuntimeVisibleTypeAnnotations m High -> ShowS # show :: RuntimeVisibleTypeAnnotations m High -> String # showList :: [RuntimeVisibleTypeAnnotations m High] -> ShowS #
Generic (m Low) => Generic (RuntimeVisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (RuntimeVisibleTypeAnnotations m Low) :: Type -> Type # Methods from :: RuntimeVisibleTypeAnnotations m Low -> Rep (RuntimeVisibleTypeAnnotations m Low) x # to :: Rep (RuntimeVisibleTypeAnnotations m Low) x -> RuntimeVisibleTypeAnnotations m Low #
Generic (m High) => Generic (RuntimeVisibleTypeAnnotations m High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (RuntimeVisibleTypeAnnotations m High) :: Type -> Type # Methods from :: RuntimeVisibleTypeAnnotations m High -> Rep (RuntimeVisibleTypeAnnotations m High) x # to :: Rep (RuntimeVisibleTypeAnnotations m High) x -> RuntimeVisibleTypeAnnotations m High #
(Generic (m Low), Binary (m Low)) => Binary (RuntimeVisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods put :: RuntimeVisibleTypeAnnotations m Low -> Put # get :: Get (RuntimeVisibleTypeAnnotations m Low) # putList :: [RuntimeVisibleTypeAnnotations m Low] -> Put #
(Generic (m Low), NFData (m Low)) => NFData (RuntimeVisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: RuntimeVisibleTypeAnnotations m Low -> () #
(Generic (m High), NFData (m High)) => NFData (RuntimeVisibleTypeAnnotations m High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: RuntimeVisibleTypeAnnotations m High -> () #
(Generic (m Low), Binary (m Low)) => IsAttribute (RuntimeVisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods attrName :: Const Text (RuntimeVisibleTypeAnnotations m Low) Source #
type Rep (RuntimeVisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (RuntimeVisibleTypeAnnotations m Low) = D1 (MetaData "RuntimeVisibleTypeAnnotations" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "RuntimeVisibleTypeAnnotations" PrefixI True) (S1 (MetaSel (Just "asListOfVisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (TypeAnnotation m Low)))))
type Rep (RuntimeVisibleTypeAnnotations m High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (RuntimeVisibleTypeAnnotations m High) = D1 (MetaData "RuntimeVisibleTypeAnnotations" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "RuntimeVisibleTypeAnnotations" PrefixI True) (S1 (MetaSel (Just "asListOfVisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (TypeAnnotation m High)))))

data RuntimeInvisibleTypeAnnotations m r Source #

Instances

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 #
ByteCodeStaged m => ByteCodeStaged (RuntimeInvisibleTypeAnnotations m) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods evolveBC :: EvolveM m0 => (ByteCodeOffset -> m0 ByteCodeIndex) -> RuntimeInvisibleTypeAnnotations m Low -> m0 (RuntimeInvisibleTypeAnnotations m High) Source # devolveBC :: DevolveM m0 => (ByteCodeIndex -> m0 ByteCodeOffset) -> RuntimeInvisibleTypeAnnotations m High -> m0 (RuntimeInvisibleTypeAnnotations m Low) Source #
Eq (m Low) => Eq (RuntimeInvisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: RuntimeInvisibleTypeAnnotations m Low -> RuntimeInvisibleTypeAnnotations m Low -> Bool # (/=) :: RuntimeInvisibleTypeAnnotations m Low -> RuntimeInvisibleTypeAnnotations m Low -> Bool #
Eq (m High) => Eq (RuntimeInvisibleTypeAnnotations m High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: RuntimeInvisibleTypeAnnotations m High -> RuntimeInvisibleTypeAnnotations m High -> Bool # (/=) :: RuntimeInvisibleTypeAnnotations m High -> RuntimeInvisibleTypeAnnotations m High -> Bool #
Ord (m Low) => Ord (RuntimeInvisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods compare :: RuntimeInvisibleTypeAnnotations m Low -> RuntimeInvisibleTypeAnnotations m Low -> Ordering # (<) :: RuntimeInvisibleTypeAnnotations m Low -> RuntimeInvisibleTypeAnnotations m Low -> Bool # (<=) :: RuntimeInvisibleTypeAnnotations m Low -> RuntimeInvisibleTypeAnnotations m Low -> Bool # (>) :: RuntimeInvisibleTypeAnnotations m Low -> RuntimeInvisibleTypeAnnotations m Low -> Bool # (>=) :: RuntimeInvisibleTypeAnnotations m Low -> RuntimeInvisibleTypeAnnotations m Low -> Bool # max :: RuntimeInvisibleTypeAnnotations m Low -> RuntimeInvisibleTypeAnnotations m Low -> RuntimeInvisibleTypeAnnotations m Low # min :: RuntimeInvisibleTypeAnnotations m Low -> RuntimeInvisibleTypeAnnotations m Low -> RuntimeInvisibleTypeAnnotations m Low #
Show (m Low) => Show (RuntimeInvisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> RuntimeInvisibleTypeAnnotations m Low -> ShowS # show :: RuntimeInvisibleTypeAnnotations m Low -> String # showList :: [RuntimeInvisibleTypeAnnotations m Low] -> ShowS #
Show (m High) => Show (RuntimeInvisibleTypeAnnotations m High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> RuntimeInvisibleTypeAnnotations m High -> ShowS # show :: RuntimeInvisibleTypeAnnotations m High -> String # showList :: [RuntimeInvisibleTypeAnnotations m High] -> ShowS #
Generic (m Low) => Generic (RuntimeInvisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (RuntimeInvisibleTypeAnnotations m Low) :: Type -> Type # Methods from :: RuntimeInvisibleTypeAnnotations m Low -> Rep (RuntimeInvisibleTypeAnnotations m Low) x # to :: Rep (RuntimeInvisibleTypeAnnotations m Low) x -> RuntimeInvisibleTypeAnnotations m Low #
Generic (m High) => Generic (RuntimeInvisibleTypeAnnotations m High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (RuntimeInvisibleTypeAnnotations m High) :: Type -> Type # Methods from :: RuntimeInvisibleTypeAnnotations m High -> Rep (RuntimeInvisibleTypeAnnotations m High) x # to :: Rep (RuntimeInvisibleTypeAnnotations m High) x -> RuntimeInvisibleTypeAnnotations m High #
(Generic (m Low), Binary (m Low)) => Binary (RuntimeInvisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods put :: RuntimeInvisibleTypeAnnotations m Low -> Put # get :: Get (RuntimeInvisibleTypeAnnotations m Low) # putList :: [RuntimeInvisibleTypeAnnotations m Low] -> Put #
(Generic (m Low), NFData (m Low)) => NFData (RuntimeInvisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: RuntimeInvisibleTypeAnnotations m Low -> () #
(Generic (m High), NFData (m High)) => NFData (RuntimeInvisibleTypeAnnotations m High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: RuntimeInvisibleTypeAnnotations m High -> () #
(Generic (m Low), Binary (m Low)) => IsAttribute (RuntimeInvisibleTypeAnnotations m Low) Source #	`RuntimeInvisibleTypeAnnotations` is an Attribute.
Instance details Defined in Language.JVM.Attribute.Annotations Methods attrName :: Const Text (RuntimeInvisibleTypeAnnotations m Low) Source #
type Rep (RuntimeInvisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (RuntimeInvisibleTypeAnnotations m Low) = D1 (MetaData "RuntimeInvisibleTypeAnnotations" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "RuntimeInvisibleTypeAnnotations" PrefixI True) (S1 (MetaSel (Just "asListOfInvisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (TypeAnnotation m Low)))))
type Rep (RuntimeInvisibleTypeAnnotations m High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (RuntimeInvisibleTypeAnnotations m High) = D1 (MetaData "RuntimeInvisibleTypeAnnotations" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "RuntimeInvisibleTypeAnnotations" PrefixI True) (S1 (MetaSel (Just "asListOfInvisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (TypeAnnotation m High)))))

data ClassTypeAnnotation r Source #

From here

Instances

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 #
Eq (ClassTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: ClassTypeAnnotation High -> ClassTypeAnnotation High -> Bool # (/=) :: ClassTypeAnnotation High -> ClassTypeAnnotation High -> Bool #
Eq (ClassTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: ClassTypeAnnotation Low -> ClassTypeAnnotation Low -> Bool # (/=) :: ClassTypeAnnotation Low -> ClassTypeAnnotation Low -> Bool #
Ord (ClassTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods compare :: ClassTypeAnnotation High -> ClassTypeAnnotation High -> Ordering # (<) :: ClassTypeAnnotation High -> ClassTypeAnnotation High -> Bool # (<=) :: ClassTypeAnnotation High -> ClassTypeAnnotation High -> Bool # (>) :: ClassTypeAnnotation High -> ClassTypeAnnotation High -> Bool # (>=) :: ClassTypeAnnotation High -> ClassTypeAnnotation High -> Bool # max :: ClassTypeAnnotation High -> ClassTypeAnnotation High -> ClassTypeAnnotation High # min :: ClassTypeAnnotation High -> ClassTypeAnnotation High -> ClassTypeAnnotation High #
Ord (ClassTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods compare :: ClassTypeAnnotation Low -> ClassTypeAnnotation Low -> Ordering # (<) :: ClassTypeAnnotation Low -> ClassTypeAnnotation Low -> Bool # (<=) :: ClassTypeAnnotation Low -> ClassTypeAnnotation Low -> Bool # (>) :: ClassTypeAnnotation Low -> ClassTypeAnnotation Low -> Bool # (>=) :: ClassTypeAnnotation Low -> ClassTypeAnnotation Low -> Bool # max :: ClassTypeAnnotation Low -> ClassTypeAnnotation Low -> ClassTypeAnnotation Low # min :: ClassTypeAnnotation Low -> ClassTypeAnnotation Low -> ClassTypeAnnotation Low #
Show (ClassTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> ClassTypeAnnotation High -> ShowS # show :: ClassTypeAnnotation High -> String # showList :: [ClassTypeAnnotation High] -> ShowS #
Show (ClassTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> ClassTypeAnnotation Low -> ShowS # show :: ClassTypeAnnotation Low -> String # showList :: [ClassTypeAnnotation Low] -> ShowS #
Generic (ClassTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (ClassTypeAnnotation High) :: Type -> Type # Methods from :: ClassTypeAnnotation High -> Rep (ClassTypeAnnotation High) x # to :: Rep (ClassTypeAnnotation High) x -> ClassTypeAnnotation High #
Generic (ClassTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (ClassTypeAnnotation Low) :: Type -> Type # Methods from :: ClassTypeAnnotation Low -> Rep (ClassTypeAnnotation Low) x # to :: Rep (ClassTypeAnnotation Low) x -> ClassTypeAnnotation Low #
Binary (ClassTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods put :: ClassTypeAnnotation Low -> Put # get :: Get (ClassTypeAnnotation Low) # putList :: [ClassTypeAnnotation Low] -> Put #
NFData (ClassTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: ClassTypeAnnotation High -> () #
NFData (ClassTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: ClassTypeAnnotation Low -> () #
type Rep (ClassTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (ClassTypeAnnotation High) = D1 (MetaData "ClassTypeAnnotation" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "ClassTypeParameterDeclaration" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TypeParameterTarget)) :+: (C1 (MetaCons "ClassSuperType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SupertypeTarget)) :+: C1 (MetaCons "ClassBoundTypeParameterDeclaration" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TypeParameterBoundTarget))))
type Rep (ClassTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (ClassTypeAnnotation Low) = D1 (MetaData "ClassTypeAnnotation" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "ClassTypeParameterDeclaration" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TypeParameterTarget)) :+: (C1 (MetaCons "ClassSuperType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SupertypeTarget)) :+: C1 (MetaCons "ClassBoundTypeParameterDeclaration" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TypeParameterBoundTarget))))

data MethodTypeAnnotation r Source #

Instances

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 #
Eq (MethodTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: MethodTypeAnnotation High -> MethodTypeAnnotation High -> Bool # (/=) :: MethodTypeAnnotation High -> MethodTypeAnnotation High -> Bool #
Eq (MethodTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: MethodTypeAnnotation Low -> MethodTypeAnnotation Low -> Bool # (/=) :: MethodTypeAnnotation Low -> MethodTypeAnnotation Low -> Bool #
Ord (MethodTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods compare :: MethodTypeAnnotation High -> MethodTypeAnnotation High -> Ordering # (<) :: MethodTypeAnnotation High -> MethodTypeAnnotation High -> Bool # (<=) :: MethodTypeAnnotation High -> MethodTypeAnnotation High -> Bool # (>) :: MethodTypeAnnotation High -> MethodTypeAnnotation High -> Bool # (>=) :: MethodTypeAnnotation High -> MethodTypeAnnotation High -> Bool # max :: MethodTypeAnnotation High -> MethodTypeAnnotation High -> MethodTypeAnnotation High # min :: MethodTypeAnnotation High -> MethodTypeAnnotation High -> MethodTypeAnnotation High #
Ord (MethodTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods compare :: MethodTypeAnnotation Low -> MethodTypeAnnotation Low -> Ordering # (<) :: MethodTypeAnnotation Low -> MethodTypeAnnotation Low -> Bool # (<=) :: MethodTypeAnnotation Low -> MethodTypeAnnotation Low -> Bool # (>) :: MethodTypeAnnotation Low -> MethodTypeAnnotation Low -> Bool # (>=) :: MethodTypeAnnotation Low -> MethodTypeAnnotation Low -> Bool # max :: MethodTypeAnnotation Low -> MethodTypeAnnotation Low -> MethodTypeAnnotation Low # min :: MethodTypeAnnotation Low -> MethodTypeAnnotation Low -> MethodTypeAnnotation Low #
Show (MethodTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> MethodTypeAnnotation High -> ShowS # show :: MethodTypeAnnotation High -> String # showList :: [MethodTypeAnnotation High] -> ShowS #
Show (MethodTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> MethodTypeAnnotation Low -> ShowS # show :: MethodTypeAnnotation Low -> String # showList :: [MethodTypeAnnotation Low] -> ShowS #
Generic (MethodTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (MethodTypeAnnotation High) :: Type -> Type # Methods from :: MethodTypeAnnotation High -> Rep (MethodTypeAnnotation High) x # to :: Rep (MethodTypeAnnotation High) x -> MethodTypeAnnotation High #
Generic (MethodTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (MethodTypeAnnotation Low) :: Type -> Type # Methods from :: MethodTypeAnnotation Low -> Rep (MethodTypeAnnotation Low) x # to :: Rep (MethodTypeAnnotation Low) x -> MethodTypeAnnotation Low #
Binary (MethodTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods put :: MethodTypeAnnotation Low -> Put # get :: Get (MethodTypeAnnotation Low) # putList :: [MethodTypeAnnotation Low] -> Put #
NFData (MethodTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: MethodTypeAnnotation High -> () #
NFData (MethodTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: MethodTypeAnnotation Low -> () #
type Rep (MethodTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (MethodTypeAnnotation High) = D1 (MetaData "MethodTypeAnnotation" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) ((C1 (MetaCons "MethodTypeParameterDeclaration" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TypeParameterTarget)) :+: (C1 (MetaCons "MethodBoundTypeParameterDeclaration" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TypeParameterBoundTarget)) :+: C1 (MetaCons "MethodReturnType" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "MethodReceiverType" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "MethodFormalParameter" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 FormalParameterTarget)) :+: C1 (MetaCons "MethodThrowsClause" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ThrowsTarget)))))
type Rep (MethodTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (MethodTypeAnnotation Low) = D1 (MetaData "MethodTypeAnnotation" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) ((C1 (MetaCons "MethodTypeParameterDeclaration" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TypeParameterTarget)) :+: (C1 (MetaCons "MethodBoundTypeParameterDeclaration" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TypeParameterBoundTarget)) :+: C1 (MetaCons "MethodReturnType" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "MethodReceiverType" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "MethodFormalParameter" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 FormalParameterTarget)) :+: C1 (MetaCons "MethodThrowsClause" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ThrowsTarget)))))

data FieldTypeAnnotation r Source #

Instances

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 #
Eq (FieldTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: FieldTypeAnnotation High -> FieldTypeAnnotation High -> Bool # (/=) :: FieldTypeAnnotation High -> FieldTypeAnnotation High -> Bool #
Eq (FieldTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: FieldTypeAnnotation Low -> FieldTypeAnnotation Low -> Bool # (/=) :: FieldTypeAnnotation Low -> FieldTypeAnnotation Low -> Bool #
Ord (FieldTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods compare :: FieldTypeAnnotation High -> FieldTypeAnnotation High -> Ordering # (<) :: FieldTypeAnnotation High -> FieldTypeAnnotation High -> Bool # (<=) :: FieldTypeAnnotation High -> FieldTypeAnnotation High -> Bool # (>) :: FieldTypeAnnotation High -> FieldTypeAnnotation High -> Bool # (>=) :: FieldTypeAnnotation High -> FieldTypeAnnotation High -> Bool # max :: FieldTypeAnnotation High -> FieldTypeAnnotation High -> FieldTypeAnnotation High # min :: FieldTypeAnnotation High -> FieldTypeAnnotation High -> FieldTypeAnnotation High #
Ord (FieldTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods compare :: FieldTypeAnnotation Low -> FieldTypeAnnotation Low -> Ordering # (<) :: FieldTypeAnnotation Low -> FieldTypeAnnotation Low -> Bool # (<=) :: FieldTypeAnnotation Low -> FieldTypeAnnotation Low -> Bool # (>) :: FieldTypeAnnotation Low -> FieldTypeAnnotation Low -> Bool # (>=) :: FieldTypeAnnotation Low -> FieldTypeAnnotation Low -> Bool # max :: FieldTypeAnnotation Low -> FieldTypeAnnotation Low -> FieldTypeAnnotation Low # min :: FieldTypeAnnotation Low -> FieldTypeAnnotation Low -> FieldTypeAnnotation Low #
Show (FieldTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> FieldTypeAnnotation High -> ShowS # show :: FieldTypeAnnotation High -> String # showList :: [FieldTypeAnnotation High] -> ShowS #
Show (FieldTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> FieldTypeAnnotation Low -> ShowS # show :: FieldTypeAnnotation Low -> String # showList :: [FieldTypeAnnotation Low] -> ShowS #
Generic (FieldTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (FieldTypeAnnotation High) :: Type -> Type # Methods from :: FieldTypeAnnotation High -> Rep (FieldTypeAnnotation High) x # to :: Rep (FieldTypeAnnotation High) x -> FieldTypeAnnotation High #
Generic (FieldTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (FieldTypeAnnotation Low) :: Type -> Type # Methods from :: FieldTypeAnnotation Low -> Rep (FieldTypeAnnotation Low) x # to :: Rep (FieldTypeAnnotation Low) x -> FieldTypeAnnotation Low #
Binary (FieldTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods put :: FieldTypeAnnotation Low -> Put # get :: Get (FieldTypeAnnotation Low) # putList :: [FieldTypeAnnotation Low] -> Put #
NFData (FieldTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: FieldTypeAnnotation High -> () #
NFData (FieldTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: FieldTypeAnnotation Low -> () #
type Rep (FieldTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (FieldTypeAnnotation High) = D1 (MetaData "FieldTypeAnnotation" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "FieldTypeAnnotation" PrefixI False) (U1 :: Type -> Type))
type Rep (FieldTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (FieldTypeAnnotation Low) = D1 (MetaData "FieldTypeAnnotation" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "FieldTypeAnnotation" PrefixI False) (U1 :: Type -> Type))

data CodeTypeAnnotation r Source #

Instances

ByteCodeStaged CodeTypeAnnotation Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> CodeTypeAnnotation Low -> m (CodeTypeAnnotation High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> CodeTypeAnnotation High -> m (CodeTypeAnnotation Low) Source #
Eq (CodeTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: CodeTypeAnnotation High -> CodeTypeAnnotation High -> Bool # (/=) :: CodeTypeAnnotation High -> CodeTypeAnnotation High -> Bool #
Eq (CodeTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: CodeTypeAnnotation Low -> CodeTypeAnnotation Low -> Bool # (/=) :: CodeTypeAnnotation Low -> CodeTypeAnnotation Low -> Bool #
Ord (CodeTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods compare :: CodeTypeAnnotation High -> CodeTypeAnnotation High -> Ordering # (<) :: CodeTypeAnnotation High -> CodeTypeAnnotation High -> Bool # (<=) :: CodeTypeAnnotation High -> CodeTypeAnnotation High -> Bool # (>) :: CodeTypeAnnotation High -> CodeTypeAnnotation High -> Bool # (>=) :: CodeTypeAnnotation High -> CodeTypeAnnotation High -> Bool # max :: CodeTypeAnnotation High -> CodeTypeAnnotation High -> CodeTypeAnnotation High # min :: CodeTypeAnnotation High -> CodeTypeAnnotation High -> CodeTypeAnnotation High #
Ord (CodeTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods compare :: CodeTypeAnnotation Low -> CodeTypeAnnotation Low -> Ordering # (<) :: CodeTypeAnnotation Low -> CodeTypeAnnotation Low -> Bool # (<=) :: CodeTypeAnnotation Low -> CodeTypeAnnotation Low -> Bool # (>) :: CodeTypeAnnotation Low -> CodeTypeAnnotation Low -> Bool # (>=) :: CodeTypeAnnotation Low -> CodeTypeAnnotation Low -> Bool # max :: CodeTypeAnnotation Low -> CodeTypeAnnotation Low -> CodeTypeAnnotation Low # min :: CodeTypeAnnotation Low -> CodeTypeAnnotation Low -> CodeTypeAnnotation Low #
Show (CodeTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> CodeTypeAnnotation High -> ShowS # show :: CodeTypeAnnotation High -> String # showList :: [CodeTypeAnnotation High] -> ShowS #
Show (CodeTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> CodeTypeAnnotation Low -> ShowS # show :: CodeTypeAnnotation Low -> String # showList :: [CodeTypeAnnotation Low] -> ShowS #
Generic (CodeTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (CodeTypeAnnotation High) :: Type -> Type # Methods from :: CodeTypeAnnotation High -> Rep (CodeTypeAnnotation High) x # to :: Rep (CodeTypeAnnotation High) x -> CodeTypeAnnotation High #
Generic (CodeTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (CodeTypeAnnotation Low) :: Type -> Type # Methods from :: CodeTypeAnnotation Low -> Rep (CodeTypeAnnotation Low) x # to :: Rep (CodeTypeAnnotation Low) x -> CodeTypeAnnotation Low #
Binary (CodeTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods put :: CodeTypeAnnotation Low -> Put # get :: Get (CodeTypeAnnotation Low) # putList :: [CodeTypeAnnotation Low] -> Put #
NFData (CodeTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: CodeTypeAnnotation High -> () #
NFData (CodeTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: CodeTypeAnnotation Low -> () #
type Rep (CodeTypeAnnotation High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (CodeTypeAnnotation High) = D1 (MetaData "CodeTypeAnnotation" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (((C1 (MetaCons "LocalVariableDeclaration" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (LocalvarTarget High))) :+: (C1 (MetaCons "ResourceVariableDeclaration" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (LocalvarTarget High))) :+: C1 (MetaCons "ExceptionParameterDeclaration" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 CatchTarget)))) :+: (C1 (MetaCons "InstanceOfExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (OffsetTarget High))) :+: (C1 (MetaCons "NewExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (OffsetTarget High))) :+: C1 (MetaCons "NewMethodReferenceExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (OffsetTarget High)))))) :+: ((C1 (MetaCons "IdentifierMethodReferenceExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (OffsetTarget High))) :+: (C1 (MetaCons "CastExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (TypeArgumentTarget High))) :+: C1 (MetaCons "ConstructorExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (TypeArgumentTarget High))))) :+: (C1 (MetaCons "MethodIncovationExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (TypeArgumentTarget High))) :+: (C1 (MetaCons "GenericNewMethodReferenceExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (TypeArgumentTarget High))) :+: C1 (MetaCons "GenericIdentifierwMethodReferenceExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (TypeArgumentTarget High)))))))
type Rep (CodeTypeAnnotation Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (CodeTypeAnnotation Low) = D1 (MetaData "CodeTypeAnnotation" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (((C1 (MetaCons "LocalVariableDeclaration" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (LocalvarTarget Low))) :+: (C1 (MetaCons "ResourceVariableDeclaration" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (LocalvarTarget Low))) :+: C1 (MetaCons "ExceptionParameterDeclaration" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 CatchTarget)))) :+: (C1 (MetaCons "InstanceOfExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (OffsetTarget Low))) :+: (C1 (MetaCons "NewExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (OffsetTarget Low))) :+: C1 (MetaCons "NewMethodReferenceExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (OffsetTarget Low)))))) :+: ((C1 (MetaCons "IdentifierMethodReferenceExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (OffsetTarget Low))) :+: (C1 (MetaCons "CastExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (TypeArgumentTarget Low))) :+: C1 (MetaCons "ConstructorExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (TypeArgumentTarget Low))))) :+: (C1 (MetaCons "MethodIncovationExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (TypeArgumentTarget Low))) :+: (C1 (MetaCons "GenericNewMethodReferenceExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (TypeArgumentTarget Low))) :+: C1 (MetaCons "GenericIdentifierwMethodReferenceExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (TypeArgumentTarget Low)))))))

data AnnotationDefault r Source #

The AnnotationDefault attribute is a variable-length attribute in the attributes table of certain method_info structures (§4.6), namely those representing elements of annotation types (JLS §9.6.1). The AnnotationDefault attribute records the default value (JLS §9.6.2) for the element represented by the method_info structure. The Java Virtual Machine must make this default value available so it can be applied by appropriate reflective APIs.

Instances

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 #
Eq (AnnotationDefault High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: AnnotationDefault High -> AnnotationDefault High -> Bool # (/=) :: AnnotationDefault High -> AnnotationDefault High -> Bool #
Eq (AnnotationDefault Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods (==) :: AnnotationDefault Low -> AnnotationDefault Low -> Bool # (/=) :: AnnotationDefault Low -> AnnotationDefault Low -> Bool #
Ord (AnnotationDefault Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods compare :: AnnotationDefault Low -> AnnotationDefault Low -> Ordering # (<) :: AnnotationDefault Low -> AnnotationDefault Low -> Bool # (<=) :: AnnotationDefault Low -> AnnotationDefault Low -> Bool # (>) :: AnnotationDefault Low -> AnnotationDefault Low -> Bool # (>=) :: AnnotationDefault Low -> AnnotationDefault Low -> Bool # max :: AnnotationDefault Low -> AnnotationDefault Low -> AnnotationDefault Low # min :: AnnotationDefault Low -> AnnotationDefault Low -> AnnotationDefault Low #
Show (AnnotationDefault High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> AnnotationDefault High -> ShowS # show :: AnnotationDefault High -> String # showList :: [AnnotationDefault High] -> ShowS #
Show (AnnotationDefault Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods showsPrec :: Int -> AnnotationDefault Low -> ShowS # show :: AnnotationDefault Low -> String # showList :: [AnnotationDefault Low] -> ShowS #
Generic (AnnotationDefault High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (AnnotationDefault High) :: Type -> Type # Methods from :: AnnotationDefault High -> Rep (AnnotationDefault High) x # to :: Rep (AnnotationDefault High) x -> AnnotationDefault High #
Generic (AnnotationDefault Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Associated Types type Rep (AnnotationDefault Low) :: Type -> Type # Methods from :: AnnotationDefault Low -> Rep (AnnotationDefault Low) x # to :: Rep (AnnotationDefault Low) x -> AnnotationDefault Low #
Binary (AnnotationDefault Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods put :: AnnotationDefault Low -> Put # get :: Get (AnnotationDefault Low) # putList :: [AnnotationDefault Low] -> Put #
NFData (AnnotationDefault High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: AnnotationDefault High -> () #
NFData (AnnotationDefault Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods rnf :: AnnotationDefault Low -> () #
IsAttribute (AnnotationDefault Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods attrName :: Const Text (AnnotationDefault Low) Source #
type Rep (AnnotationDefault High) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (AnnotationDefault High) = D1 (MetaData "AnnotationDefault" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "AnnotationDefault" PrefixI True) (S1 (MetaSel (Just "defaultValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ElementValue High))))
type Rep (AnnotationDefault Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations type Rep (AnnotationDefault Low) = D1 (MetaData "AnnotationDefault" "Language.JVM.Attribute.Annotations" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "AnnotationDefault" PrefixI True) (S1 (MetaSel (Just "defaultValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ElementValue Low))))

data MethodParameters r Source #

Is a list of method parameters, one for each parameter

Instances

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 #
Eq (MethodParameters High) Source #
Instance details Defined in Language.JVM.Attribute.MethodParameters Methods (==) :: MethodParameters High -> MethodParameters High -> Bool # (/=) :: MethodParameters High -> MethodParameters High -> Bool #
Eq (MethodParameters Low) Source #
Instance details Defined in Language.JVM.Attribute.MethodParameters Methods (==) :: MethodParameters Low -> MethodParameters Low -> Bool # (/=) :: MethodParameters Low -> MethodParameters Low -> Bool #
Ord (MethodParameters Low) Source #
Instance details Defined in Language.JVM.Attribute.MethodParameters Methods compare :: MethodParameters Low -> MethodParameters Low -> Ordering # (<) :: MethodParameters Low -> MethodParameters Low -> Bool # (<=) :: MethodParameters Low -> MethodParameters Low -> Bool # (>) :: MethodParameters Low -> MethodParameters Low -> Bool # (>=) :: MethodParameters Low -> MethodParameters Low -> Bool # max :: MethodParameters Low -> MethodParameters Low -> MethodParameters Low # min :: MethodParameters Low -> MethodParameters Low -> MethodParameters Low #
Show (MethodParameters High) Source #
Instance details Defined in Language.JVM.Attribute.MethodParameters Methods showsPrec :: Int -> MethodParameters High -> ShowS # show :: MethodParameters High -> String # showList :: [MethodParameters High] -> ShowS #
Show (MethodParameters Low) Source #
Instance details Defined in Language.JVM.Attribute.MethodParameters Methods showsPrec :: Int -> MethodParameters Low -> ShowS # show :: MethodParameters Low -> String # showList :: [MethodParameters Low] -> ShowS #
Generic (MethodParameters High) Source #
Instance details Defined in Language.JVM.Attribute.MethodParameters Associated Types type Rep (MethodParameters High) :: Type -> Type # Methods from :: MethodParameters High -> Rep (MethodParameters High) x # to :: Rep (MethodParameters High) x -> MethodParameters High #
Generic (MethodParameters Low) Source #
Instance details Defined in Language.JVM.Attribute.MethodParameters Associated Types type Rep (MethodParameters Low) :: Type -> Type # Methods from :: MethodParameters Low -> Rep (MethodParameters Low) x # to :: Rep (MethodParameters Low) x -> MethodParameters Low #
Binary (MethodParameters Low) Source #
Instance details Defined in Language.JVM.Attribute.MethodParameters Methods put :: MethodParameters Low -> Put # get :: Get (MethodParameters Low) # putList :: [MethodParameters Low] -> Put #
NFData (MethodParameters High) Source #
Instance details Defined in Language.JVM.Attribute.MethodParameters Methods rnf :: MethodParameters High -> () #
NFData (MethodParameters Low) Source #
Instance details Defined in Language.JVM.Attribute.MethodParameters Methods rnf :: MethodParameters Low -> () #
IsAttribute (MethodParameters Low) Source #	`BootstrapMethods` is an Attribute.
Instance details Defined in Language.JVM.Attribute.MethodParameters Methods attrName :: Const Text (MethodParameters Low) Source #
type Rep (MethodParameters High) Source #
Instance details Defined in Language.JVM.Attribute.MethodParameters type Rep (MethodParameters High) = D1 (MetaData "MethodParameters" "Language.JVM.Attribute.MethodParameters" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "MethodParameters" PrefixI True) (S1 (MetaSel (Just "methodParameters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList8 (MethodParameter High)))))
type Rep (MethodParameters Low) Source #
Instance details Defined in Language.JVM.Attribute.MethodParameters type Rep (MethodParameters Low) = D1 (MetaData "MethodParameters" "Language.JVM.Attribute.MethodParameters" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "MethodParameters" PrefixI True) (S1 (MetaSel (Just "methodParameters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList8 (MethodParameter Low)))))