Language.JVM.Attribute

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

Documentation

module Language.JVM.Attribute.Base

Subattributes

data BootstrapMethods r

Is a list of bootstrapped methods.

Instances

Staged BootstrapMethods

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

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

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

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

Eq (BootstrapMethods High)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

(==) :: BootstrapMethods High -> BootstrapMethods High -> Bool

(/=) :: BootstrapMethods High -> BootstrapMethods High -> Bool

Eq (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

(==) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool

(/=) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool

Ord (BootstrapMethods Low)

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)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

showsPrec :: Int -> BootstrapMethods High -> ShowS

show :: BootstrapMethods High -> String

showList :: [BootstrapMethods High] -> ShowS

Show (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

showsPrec :: Int -> BootstrapMethods Low -> ShowS

show :: BootstrapMethods Low -> String

showList :: [BootstrapMethods Low] -> ShowS

Generic (BootstrapMethods High)

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)

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)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

put :: BootstrapMethods Low -> Put

get :: Get (BootstrapMethods Low)

putList :: [BootstrapMethods Low] -> Put

NFData (BootstrapMethods High)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

rnf :: BootstrapMethods High -> ()

NFData (BootstrapMethods Low)

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

rnf :: BootstrapMethods Low -> ()

IsAttribute (BootstrapMethods Low)

BootstrapMethods is an Attribute.

Defined in Language.JVM.Attribute.BootstrapMethods

Methods

attrName :: Const Text (BootstrapMethods Low)

type Rep (BootstrapMethods High)

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)

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

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

Defined in Language.JVM.Attribute.Code

Methods

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

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

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

Eq (Code High)

Defined in Language.JVM.Attribute.Code

Methods

(==) :: Code High -> Code High -> Bool

(/=) :: Code High -> Code High -> Bool

Eq (Code Low)

Defined in Language.JVM.Attribute.Code

Methods

(==) :: Code Low -> Code Low -> Bool

(/=) :: Code Low -> Code Low -> Bool

Ord (Code Low)

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)

Defined in Language.JVM.Attribute.Code

Methods

showsPrec :: Int -> Code High -> ShowS

show :: Code High -> String

showList :: [Code High] -> ShowS

Show (Code Low)

Defined in Language.JVM.Attribute.Code

Methods

showsPrec :: Int -> Code Low -> ShowS

show :: Code Low -> String

showList :: [Code Low] -> ShowS

Generic (Code High)

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)

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)

Defined in Language.JVM.Attribute.Code

Methods

put :: Code Low -> Put

get :: Get (Code Low)

putList :: [Code Low] -> Put

NFData (Code High)

Defined in Language.JVM.Attribute.Code

Methods

rnf :: Code High -> ()

NFData (Code Low)

Defined in Language.JVM.Attribute.Code

Methods

rnf :: Code Low -> ()

IsAttribute (Code Low)

Code is an Attribute.

Defined in Language.JVM.Attribute.Code

Methods

attrName :: Const Text (Code Low)

type Rep (Code High)

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)

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

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

Instances

Staged ConstantValue

Defined in Language.JVM.Attribute.ConstantValue

Methods

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

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

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

Eq (ConstantValue High)

Defined in Language.JVM.Attribute.ConstantValue

Methods

(==) :: ConstantValue High -> ConstantValue High -> Bool

(/=) :: ConstantValue High -> ConstantValue High -> Bool

Eq (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

Methods

(==) :: ConstantValue Low -> ConstantValue Low -> Bool

(/=) :: ConstantValue Low -> ConstantValue Low -> Bool

Ord (ConstantValue Low)

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)

Defined in Language.JVM.Attribute.ConstantValue

Methods

showsPrec :: Int -> ConstantValue High -> ShowS

show :: ConstantValue High -> String

showList :: [ConstantValue High] -> ShowS

Show (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

Methods

showsPrec :: Int -> ConstantValue Low -> ShowS

show :: ConstantValue Low -> String

showList :: [ConstantValue Low] -> ShowS

Generic (ConstantValue High)

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)

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)

Defined in Language.JVM.Attribute.ConstantValue

Methods

put :: ConstantValue Low -> Put

get :: Get (ConstantValue Low)

putList :: [ConstantValue Low] -> Put

NFData (ConstantValue High)

Defined in Language.JVM.Attribute.ConstantValue

Methods

rnf :: ConstantValue High -> ()

NFData (ConstantValue Low)

Defined in Language.JVM.Attribute.ConstantValue

Methods

rnf :: ConstantValue Low -> ()

IsAttribute (ConstantValue Low)

ConstantValue is an Attribute.

Defined in Language.JVM.Attribute.ConstantValue

Methods

attrName :: Const Text (ConstantValue Low)

type Rep (ConstantValue High)

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)

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

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

Instances

Staged Exceptions

Defined in Language.JVM.Attribute.Exceptions

Methods

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

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

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

Eq (Exceptions High)

Defined in Language.JVM.Attribute.Exceptions

Methods

(==) :: Exceptions High -> Exceptions High -> Bool

(/=) :: Exceptions High -> Exceptions High -> Bool

Eq (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Methods

(==) :: Exceptions Low -> Exceptions Low -> Bool

(/=) :: Exceptions Low -> Exceptions Low -> Bool

Ord (Exceptions Low)

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)

Defined in Language.JVM.Attribute.Exceptions

Methods

showsPrec :: Int -> Exceptions High -> ShowS

show :: Exceptions High -> String

showList :: [Exceptions High] -> ShowS

Show (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Methods

showsPrec :: Int -> Exceptions Low -> ShowS

show :: Exceptions Low -> String

showList :: [Exceptions Low] -> ShowS

Generic (Exceptions High)

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)

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)

Defined in Language.JVM.Attribute.Exceptions

Methods

put :: Exceptions Low -> Put

get :: Get (Exceptions Low)

putList :: [Exceptions Low] -> Put

NFData (Exceptions High)

Defined in Language.JVM.Attribute.Exceptions

Methods

rnf :: Exceptions High -> ()

NFData (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Methods

rnf :: Exceptions Low -> ()

IsAttribute (Exceptions Low)

Exceptions is an Attribute.

Defined in Language.JVM.Attribute.Exceptions

Methods

attrName :: Const Text (Exceptions Low)

type Rep (Exceptions High)

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)

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

The LineNumberTable is just a mapping from offsets to linenumbers.

Instances

ByteCodeStaged LineNumberTable

Defined in Language.JVM.Attribute.LineNumberTable

Methods

evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> LineNumberTable Low -> m (LineNumberTable High)

devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> LineNumberTable High -> m (LineNumberTable Low)

Eq (LineNumberTable r)

Defined in Language.JVM.Attribute.LineNumberTable

Methods

(==) :: LineNumberTable r -> LineNumberTable r -> Bool

(/=) :: LineNumberTable r -> LineNumberTable r -> Bool

Ord (LineNumberTable r)

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)

Defined in Language.JVM.Attribute.LineNumberTable

Methods

showsPrec :: Int -> LineNumberTable r -> ShowS

show :: LineNumberTable r -> String

showList :: [LineNumberTable r] -> ShowS

Generic (LineNumberTable r)

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)

Defined in Language.JVM.Attribute.LineNumberTable

Methods

put :: LineNumberTable Low -> Put

get :: Get (LineNumberTable Low)

putList :: [LineNumberTable Low] -> Put

NFData (LineNumberTable r)

Defined in Language.JVM.Attribute.LineNumberTable

Methods

rnf :: LineNumberTable r -> ()

IsAttribute (LineNumberTable Low)

Signature is an Attribute.

Defined in Language.JVM.Attribute.LineNumberTable

Methods

attrName :: Const Text (LineNumberTable Low)

type Rep (LineNumberTable r)

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

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

Instances

ByteCodeStaged StackMapTable

Defined in Language.JVM.Attribute.StackMapTable

Methods

evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> StackMapTable Low -> m (StackMapTable High)

devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> StackMapTable High -> m (StackMapTable Low)

Eq (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

(==) :: StackMapTable High -> StackMapTable High -> Bool

(/=) :: StackMapTable High -> StackMapTable High -> Bool

Eq (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

(==) :: StackMapTable Low -> StackMapTable Low -> Bool

(/=) :: StackMapTable Low -> StackMapTable Low -> Bool

Ord (StackMapTable Low)

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)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapTable High -> ShowS

show :: StackMapTable High -> String

showList :: [StackMapTable High] -> ShowS

Show (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapTable Low -> ShowS

show :: StackMapTable Low -> String

showList :: [StackMapTable Low] -> ShowS

Generic (StackMapTable High)

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)

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)

Defined in Language.JVM.Attribute.StackMapTable

Methods

put :: StackMapTable Low -> Put

get :: Get (StackMapTable Low)

putList :: [StackMapTable Low] -> Put

NFData (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapTable High -> ()

NFData (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapTable Low -> ()

IsAttribute (StackMapTable Low)

StackMapTable is an Attribute.

Defined in Language.JVM.Attribute.StackMapTable

Methods

attrName :: Const Text (StackMapTable Low)

type Rep (StackMapTable High)

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)

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

Instances

Staged Signature

Defined in Language.JVM.Attribute.Signature

Methods

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

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

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

Eq (Signature High)

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: Signature High -> Signature High -> Bool

(/=) :: Signature High -> Signature High -> Bool

Eq (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: Signature Low -> Signature Low -> Bool

(/=) :: Signature Low -> Signature Low -> Bool

Ord (Signature Low)

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)

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> Signature High -> ShowS

show :: Signature High -> String

showList :: [Signature High] -> ShowS

Show (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> Signature Low -> ShowS

show :: Signature Low -> String

showList :: [Signature Low] -> ShowS

Generic (Signature High)

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)

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)

Defined in Language.JVM.Attribute.Signature

Methods

put :: Signature Low -> Put

get :: Get (Signature Low)

putList :: [Signature Low] -> Put

NFData (Signature High)

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: Signature High -> ()

NFData (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: Signature Low -> ()

IsAttribute (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

attrName :: Const Text (Signature Low)

type Rep (Signature High)

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)

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

RuntimeVisibleAnnotations

Instances

Staged RuntimeVisibleAnnotations

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Eq (RuntimeVisibleAnnotations High)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: RuntimeVisibleAnnotations High -> RuntimeVisibleAnnotations High -> Bool

(/=) :: RuntimeVisibleAnnotations High -> RuntimeVisibleAnnotations High -> Bool

Eq (RuntimeVisibleAnnotations Low)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: RuntimeVisibleAnnotations Low -> RuntimeVisibleAnnotations Low -> Bool

(/=) :: RuntimeVisibleAnnotations Low -> RuntimeVisibleAnnotations Low -> Bool

Ord (RuntimeVisibleAnnotations Low)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> RuntimeVisibleAnnotations High -> ShowS

show :: RuntimeVisibleAnnotations High -> String

showList :: [RuntimeVisibleAnnotations High] -> ShowS

Show (RuntimeVisibleAnnotations Low)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> RuntimeVisibleAnnotations Low -> ShowS

show :: RuntimeVisibleAnnotations Low -> String

showList :: [RuntimeVisibleAnnotations Low] -> ShowS

Generic (RuntimeVisibleAnnotations High)

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)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

put :: RuntimeVisibleAnnotations Low -> Put

get :: Get (RuntimeVisibleAnnotations Low)

putList :: [RuntimeVisibleAnnotations Low] -> Put

NFData (RuntimeVisibleAnnotations High)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: RuntimeVisibleAnnotations High -> ()

NFData (RuntimeVisibleAnnotations Low)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: RuntimeVisibleAnnotations Low -> ()

IsAttribute (RuntimeVisibleAnnotations Low)

Defined in Language.JVM.Attribute.Annotations

Methods

attrName :: Const Text (RuntimeVisibleAnnotations Low)

type Rep (RuntimeVisibleAnnotations High)

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)

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

Instances

Staged RuntimeInvisibleAnnotations

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Eq (RuntimeInvisibleAnnotations High)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: RuntimeInvisibleAnnotations High -> RuntimeInvisibleAnnotations High -> Bool

(/=) :: RuntimeInvisibleAnnotations High -> RuntimeInvisibleAnnotations High -> Bool

Eq (RuntimeInvisibleAnnotations Low)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: RuntimeInvisibleAnnotations Low -> RuntimeInvisibleAnnotations Low -> Bool

(/=) :: RuntimeInvisibleAnnotations Low -> RuntimeInvisibleAnnotations Low -> Bool

Ord (RuntimeInvisibleAnnotations Low)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> RuntimeInvisibleAnnotations High -> ShowS

show :: RuntimeInvisibleAnnotations High -> String

showList :: [RuntimeInvisibleAnnotations High] -> ShowS

Show (RuntimeInvisibleAnnotations Low)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> RuntimeInvisibleAnnotations Low -> ShowS

show :: RuntimeInvisibleAnnotations Low -> String

showList :: [RuntimeInvisibleAnnotations Low] -> ShowS

Generic (RuntimeInvisibleAnnotations High)

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)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

put :: RuntimeInvisibleAnnotations Low -> Put

get :: Get (RuntimeInvisibleAnnotations Low)

putList :: [RuntimeInvisibleAnnotations Low] -> Put

NFData (RuntimeInvisibleAnnotations High)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: RuntimeInvisibleAnnotations High -> ()

NFData (RuntimeInvisibleAnnotations Low)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: RuntimeInvisibleAnnotations Low -> ()

IsAttribute (RuntimeInvisibleAnnotations Low)

Defined in Language.JVM.Attribute.Annotations

Methods

attrName :: Const Text (RuntimeInvisibleAnnotations Low)

type Rep (RuntimeInvisibleAnnotations High)

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)

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

Instances

Staged RuntimeVisibleParameterAnnotations

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Eq (RuntimeVisibleParameterAnnotations High)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: RuntimeVisibleParameterAnnotations High -> RuntimeVisibleParameterAnnotations High -> Bool

(/=) :: RuntimeVisibleParameterAnnotations High -> RuntimeVisibleParameterAnnotations High -> Bool

Eq (RuntimeVisibleParameterAnnotations Low)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: RuntimeVisibleParameterAnnotations Low -> RuntimeVisibleParameterAnnotations Low -> Bool

(/=) :: RuntimeVisibleParameterAnnotations Low -> RuntimeVisibleParameterAnnotations Low -> Bool

Ord (RuntimeVisibleParameterAnnotations Low)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> RuntimeVisibleParameterAnnotations High -> ShowS

show :: RuntimeVisibleParameterAnnotations High -> String

showList :: [RuntimeVisibleParameterAnnotations High] -> ShowS

Show (RuntimeVisibleParameterAnnotations Low)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> RuntimeVisibleParameterAnnotations Low -> ShowS

show :: RuntimeVisibleParameterAnnotations Low -> String

showList :: [RuntimeVisibleParameterAnnotations Low] -> ShowS

Generic (RuntimeVisibleParameterAnnotations High)

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)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

put :: RuntimeVisibleParameterAnnotations Low -> Put

get :: Get (RuntimeVisibleParameterAnnotations Low)

putList :: [RuntimeVisibleParameterAnnotations Low] -> Put

NFData (RuntimeVisibleParameterAnnotations High)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: RuntimeVisibleParameterAnnotations High -> ()

NFData (RuntimeVisibleParameterAnnotations Low)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: RuntimeVisibleParameterAnnotations Low -> ()

IsAttribute (RuntimeVisibleParameterAnnotations Low)

RuntimeVisibleParameterAnnotations is an Attribute.

Defined in Language.JVM.Attribute.Annotations

Methods

attrName :: Const Text (RuntimeVisibleParameterAnnotations Low)

type Rep (RuntimeVisibleParameterAnnotations High)

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)

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

Instances

Staged RuntimeInvisibleParameterAnnotations

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Eq (RuntimeInvisibleParameterAnnotations High)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: RuntimeInvisibleParameterAnnotations High -> RuntimeInvisibleParameterAnnotations High -> Bool

(/=) :: RuntimeInvisibleParameterAnnotations High -> RuntimeInvisibleParameterAnnotations High -> Bool

Eq (RuntimeInvisibleParameterAnnotations Low)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: RuntimeInvisibleParameterAnnotations Low -> RuntimeInvisibleParameterAnnotations Low -> Bool

(/=) :: RuntimeInvisibleParameterAnnotations Low -> RuntimeInvisibleParameterAnnotations Low -> Bool

Ord (RuntimeInvisibleParameterAnnotations Low)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> RuntimeInvisibleParameterAnnotations High -> ShowS

show :: RuntimeInvisibleParameterAnnotations High -> String

showList :: [RuntimeInvisibleParameterAnnotations High] -> ShowS

Show (RuntimeInvisibleParameterAnnotations Low)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> RuntimeInvisibleParameterAnnotations Low -> ShowS

show :: RuntimeInvisibleParameterAnnotations Low -> String

showList :: [RuntimeInvisibleParameterAnnotations Low] -> ShowS

Generic (RuntimeInvisibleParameterAnnotations High)

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)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

put :: RuntimeInvisibleParameterAnnotations Low -> Put

get :: Get (RuntimeInvisibleParameterAnnotations Low)

putList :: [RuntimeInvisibleParameterAnnotations Low] -> Put

NFData (RuntimeInvisibleParameterAnnotations High)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: RuntimeInvisibleParameterAnnotations High -> ()

NFData (RuntimeInvisibleParameterAnnotations Low)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: RuntimeInvisibleParameterAnnotations Low -> ()

IsAttribute (RuntimeInvisibleParameterAnnotations Low)

RuntimeInvisibleParameterAnnotations is an Attribute.

Defined in Language.JVM.Attribute.Annotations

Methods

attrName :: Const Text (RuntimeInvisibleParameterAnnotations Low)

type Rep (RuntimeInvisibleParameterAnnotations High)

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)

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

Instances

Staged m => Staged (RuntimeVisibleTypeAnnotations m)

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

ByteCodeStaged m => ByteCodeStaged (RuntimeVisibleTypeAnnotations m)

Defined in Language.JVM.Attribute.Annotations

Methods

evolveBC :: EvolveM m0 => (ByteCodeOffset -> m0 ByteCodeIndex) -> RuntimeVisibleTypeAnnotations m Low -> m0 (RuntimeVisibleTypeAnnotations m High)

devolveBC :: DevolveM m0 => (ByteCodeIndex -> m0 ByteCodeOffset) -> RuntimeVisibleTypeAnnotations m High -> m0 (RuntimeVisibleTypeAnnotations m Low)

Eq (m Low) => Eq (RuntimeVisibleTypeAnnotations m Low)

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)

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)

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)

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)

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)

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)

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)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: RuntimeVisibleTypeAnnotations m Low -> ()

(Generic (m High), NFData (m High)) => NFData (RuntimeVisibleTypeAnnotations m High)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: RuntimeVisibleTypeAnnotations m High -> ()

(Generic (m Low), Binary (m Low)) => IsAttribute (RuntimeVisibleTypeAnnotations m Low)

Defined in Language.JVM.Attribute.Annotations

Methods

attrName :: Const Text (RuntimeVisibleTypeAnnotations m Low)

type Rep (RuntimeVisibleTypeAnnotations m Low)

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)

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

Instances

Staged m => Staged (RuntimeInvisibleTypeAnnotations m)

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

ByteCodeStaged m => ByteCodeStaged (RuntimeInvisibleTypeAnnotations m)

Defined in Language.JVM.Attribute.Annotations

Methods

evolveBC :: EvolveM m0 => (ByteCodeOffset -> m0 ByteCodeIndex) -> RuntimeInvisibleTypeAnnotations m Low -> m0 (RuntimeInvisibleTypeAnnotations m High)

devolveBC :: DevolveM m0 => (ByteCodeIndex -> m0 ByteCodeOffset) -> RuntimeInvisibleTypeAnnotations m High -> m0 (RuntimeInvisibleTypeAnnotations m Low)

Eq (m Low) => Eq (RuntimeInvisibleTypeAnnotations m Low)

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)

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)

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)

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)

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)

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)

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)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: RuntimeInvisibleTypeAnnotations m Low -> ()

(Generic (m High), NFData (m High)) => NFData (RuntimeInvisibleTypeAnnotations m High)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: RuntimeInvisibleTypeAnnotations m High -> ()

(Generic (m Low), Binary (m Low)) => IsAttribute (RuntimeInvisibleTypeAnnotations m Low)

RuntimeInvisibleTypeAnnotations is an Attribute.

Defined in Language.JVM.Attribute.Annotations

Methods

attrName :: Const Text (RuntimeInvisibleTypeAnnotations m Low)

type Rep (RuntimeInvisibleTypeAnnotations m Low)

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)

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

From here

Instances

Staged ClassTypeAnnotation

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Eq (ClassTypeAnnotation High)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: ClassTypeAnnotation High -> ClassTypeAnnotation High -> Bool

(/=) :: ClassTypeAnnotation High -> ClassTypeAnnotation High -> Bool

Eq (ClassTypeAnnotation Low)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: ClassTypeAnnotation Low -> ClassTypeAnnotation Low -> Bool

(/=) :: ClassTypeAnnotation Low -> ClassTypeAnnotation Low -> Bool

Ord (ClassTypeAnnotation High)

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)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> ClassTypeAnnotation High -> ShowS

show :: ClassTypeAnnotation High -> String

showList :: [ClassTypeAnnotation High] -> ShowS

Show (ClassTypeAnnotation Low)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> ClassTypeAnnotation Low -> ShowS

show :: ClassTypeAnnotation Low -> String

showList :: [ClassTypeAnnotation Low] -> ShowS

Generic (ClassTypeAnnotation High)

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)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

put :: ClassTypeAnnotation Low -> Put

get :: Get (ClassTypeAnnotation Low)

putList :: [ClassTypeAnnotation Low] -> Put

NFData (ClassTypeAnnotation High)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: ClassTypeAnnotation High -> ()

NFData (ClassTypeAnnotation Low)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: ClassTypeAnnotation Low -> ()

type Rep (ClassTypeAnnotation High)

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)

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

Instances

Staged MethodTypeAnnotation

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Eq (MethodTypeAnnotation High)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: MethodTypeAnnotation High -> MethodTypeAnnotation High -> Bool

(/=) :: MethodTypeAnnotation High -> MethodTypeAnnotation High -> Bool

Eq (MethodTypeAnnotation Low)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: MethodTypeAnnotation Low -> MethodTypeAnnotation Low -> Bool

(/=) :: MethodTypeAnnotation Low -> MethodTypeAnnotation Low -> Bool

Ord (MethodTypeAnnotation High)

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)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> MethodTypeAnnotation High -> ShowS

show :: MethodTypeAnnotation High -> String

showList :: [MethodTypeAnnotation High] -> ShowS

Show (MethodTypeAnnotation Low)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> MethodTypeAnnotation Low -> ShowS

show :: MethodTypeAnnotation Low -> String

showList :: [MethodTypeAnnotation Low] -> ShowS

Generic (MethodTypeAnnotation High)

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)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

put :: MethodTypeAnnotation Low -> Put

get :: Get (MethodTypeAnnotation Low)

putList :: [MethodTypeAnnotation Low] -> Put

NFData (MethodTypeAnnotation High)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: MethodTypeAnnotation High -> ()

NFData (MethodTypeAnnotation Low)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: MethodTypeAnnotation Low -> ()

type Rep (MethodTypeAnnotation High)

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)

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

Instances

Staged FieldTypeAnnotation

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Eq (FieldTypeAnnotation High)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: FieldTypeAnnotation High -> FieldTypeAnnotation High -> Bool

(/=) :: FieldTypeAnnotation High -> FieldTypeAnnotation High -> Bool

Eq (FieldTypeAnnotation Low)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: FieldTypeAnnotation Low -> FieldTypeAnnotation Low -> Bool

(/=) :: FieldTypeAnnotation Low -> FieldTypeAnnotation Low -> Bool

Ord (FieldTypeAnnotation High)

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)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> FieldTypeAnnotation High -> ShowS

show :: FieldTypeAnnotation High -> String

showList :: [FieldTypeAnnotation High] -> ShowS

Show (FieldTypeAnnotation Low)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> FieldTypeAnnotation Low -> ShowS

show :: FieldTypeAnnotation Low -> String

showList :: [FieldTypeAnnotation Low] -> ShowS

Generic (FieldTypeAnnotation High)

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)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

put :: FieldTypeAnnotation Low -> Put

get :: Get (FieldTypeAnnotation Low)

putList :: [FieldTypeAnnotation Low] -> Put

NFData (FieldTypeAnnotation High)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: FieldTypeAnnotation High -> ()

NFData (FieldTypeAnnotation Low)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: FieldTypeAnnotation Low -> ()

type Rep (FieldTypeAnnotation High)

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)

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

Instances

ByteCodeStaged CodeTypeAnnotation

Defined in Language.JVM.Attribute.Annotations

Methods

evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> CodeTypeAnnotation Low -> m (CodeTypeAnnotation High)

devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> CodeTypeAnnotation High -> m (CodeTypeAnnotation Low)

Eq (CodeTypeAnnotation High)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: CodeTypeAnnotation High -> CodeTypeAnnotation High -> Bool

(/=) :: CodeTypeAnnotation High -> CodeTypeAnnotation High -> Bool

Eq (CodeTypeAnnotation Low)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: CodeTypeAnnotation Low -> CodeTypeAnnotation Low -> Bool

(/=) :: CodeTypeAnnotation Low -> CodeTypeAnnotation Low -> Bool

Ord (CodeTypeAnnotation High)

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)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> CodeTypeAnnotation High -> ShowS

show :: CodeTypeAnnotation High -> String

showList :: [CodeTypeAnnotation High] -> ShowS

Show (CodeTypeAnnotation Low)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> CodeTypeAnnotation Low -> ShowS

show :: CodeTypeAnnotation Low -> String

showList :: [CodeTypeAnnotation Low] -> ShowS

Generic (CodeTypeAnnotation High)

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)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

put :: CodeTypeAnnotation Low -> Put

get :: Get (CodeTypeAnnotation Low)

putList :: [CodeTypeAnnotation Low] -> Put

NFData (CodeTypeAnnotation High)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: CodeTypeAnnotation High -> ()

NFData (CodeTypeAnnotation Low)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: CodeTypeAnnotation Low -> ()

type Rep (CodeTypeAnnotation High)

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)

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

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

Defined in Language.JVM.Attribute.Annotations

Methods

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

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

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

Eq (AnnotationDefault High)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: AnnotationDefault High -> AnnotationDefault High -> Bool

(/=) :: AnnotationDefault High -> AnnotationDefault High -> Bool

Eq (AnnotationDefault Low)

Defined in Language.JVM.Attribute.Annotations

Methods

(==) :: AnnotationDefault Low -> AnnotationDefault Low -> Bool

(/=) :: AnnotationDefault Low -> AnnotationDefault Low -> Bool

Ord (AnnotationDefault Low)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> AnnotationDefault High -> ShowS

show :: AnnotationDefault High -> String

showList :: [AnnotationDefault High] -> ShowS

Show (AnnotationDefault Low)

Defined in Language.JVM.Attribute.Annotations

Methods

showsPrec :: Int -> AnnotationDefault Low -> ShowS

show :: AnnotationDefault Low -> String

showList :: [AnnotationDefault Low] -> ShowS

Generic (AnnotationDefault High)

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)

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)

Defined in Language.JVM.Attribute.Annotations

Methods

put :: AnnotationDefault Low -> Put

get :: Get (AnnotationDefault Low)

putList :: [AnnotationDefault Low] -> Put

NFData (AnnotationDefault High)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: AnnotationDefault High -> ()

NFData (AnnotationDefault Low)

Defined in Language.JVM.Attribute.Annotations

Methods

rnf :: AnnotationDefault Low -> ()

IsAttribute (AnnotationDefault Low)

Defined in Language.JVM.Attribute.Annotations

Methods

attrName :: Const Text (AnnotationDefault Low)

type Rep (AnnotationDefault High)

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)

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

Is a list of method parameters, one for each parameter

Instances

Staged MethodParameters

Defined in Language.JVM.Attribute.MethodParameters

Methods

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

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

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

Eq (MethodParameters High)

Defined in Language.JVM.Attribute.MethodParameters

Methods

(==) :: MethodParameters High -> MethodParameters High -> Bool

(/=) :: MethodParameters High -> MethodParameters High -> Bool

Eq (MethodParameters Low)

Defined in Language.JVM.Attribute.MethodParameters

Methods

(==) :: MethodParameters Low -> MethodParameters Low -> Bool

(/=) :: MethodParameters Low -> MethodParameters Low -> Bool

Ord (MethodParameters Low)

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)

Defined in Language.JVM.Attribute.MethodParameters

Methods

showsPrec :: Int -> MethodParameters High -> ShowS

show :: MethodParameters High -> String

showList :: [MethodParameters High] -> ShowS

Show (MethodParameters Low)

Defined in Language.JVM.Attribute.MethodParameters

Methods

showsPrec :: Int -> MethodParameters Low -> ShowS

show :: MethodParameters Low -> String

showList :: [MethodParameters Low] -> ShowS

Generic (MethodParameters High)

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)

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)

Defined in Language.JVM.Attribute.MethodParameters

Methods

put :: MethodParameters Low -> Put

get :: Get (MethodParameters Low)

putList :: [MethodParameters Low] -> Put

NFData (MethodParameters High)

Defined in Language.JVM.Attribute.MethodParameters

Methods

rnf :: MethodParameters High -> ()

NFData (MethodParameters Low)

Defined in Language.JVM.Attribute.MethodParameters

Methods

rnf :: MethodParameters Low -> ()

IsAttribute (MethodParameters Low)

BootstrapMethods is an Attribute.

Defined in Language.JVM.Attribute.MethodParameters

Methods

attrName :: Const Text (MethodParameters Low)

type Rep (MethodParameters High)

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)

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