jvm-binary-0.4.0: A library for reading Java class-files

Copyright(c) Christian Gram Kalhauge 2018
LicenseMIT
Maintainerkalhuage@cs.ucla.edu
Safe HaskellNone
LanguageHaskell2010

Language.JVM.Attribute.InnerClasses

Description

Based on the InnerClasses Attribute, as documented here.

Synopsis

Documentation

newtype InnerClasses r Source #

The InnerClasses is a reference to the enclosing method of the class

Instances
Staged InnerClasses Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Methods

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

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

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

Eq (InnerClasses High) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Eq (InnerClasses Low) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Ord (InnerClasses Low) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Show (InnerClasses High) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Show (InnerClasses Low) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Generic (InnerClasses High) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Associated Types

type Rep (InnerClasses High) :: Type -> Type #

Generic (InnerClasses Low) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Associated Types

type Rep (InnerClasses Low) :: Type -> Type #

Binary (InnerClasses Low) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

NFData (InnerClasses High) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Methods

rnf :: InnerClasses High -> () #

NFData (InnerClasses Low) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Methods

rnf :: InnerClasses Low -> () #

IsAttribute (InnerClasses Low) Source #

InnerClasses is an Attribute.

Instance details

Defined in Language.JVM.Attribute.InnerClasses

type Rep (InnerClasses High) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

type Rep (InnerClasses High) = D1 (MetaData "InnerClasses" "Language.JVM.Attribute.InnerClasses" "jvm-binary-0.4.0-3E0hqhYBs599hoWoNCv9Kr" True) (C1 (MetaCons "InnerClasses" PrefixI True) (S1 (MetaSel (Just "innerClasses") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Choice (SizedList16 (InnerClass Low)) [InnerClass High] High))))
type Rep (InnerClasses Low) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

type Rep (InnerClasses Low) = D1 (MetaData "InnerClasses" "Language.JVM.Attribute.InnerClasses" "jvm-binary-0.4.0-3E0hqhYBs599hoWoNCv9Kr" True) (C1 (MetaCons "InnerClasses" PrefixI True) (S1 (MetaSel (Just "innerClasses") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Choice (SizedList16 (InnerClass Low)) [InnerClass High] Low))))

data InnerClass r Source #

Instances
Staged InnerClass Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Methods

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

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

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

Eq (InnerClass High) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Eq (InnerClass Low) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Ord (InnerClass Low) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Show (InnerClass High) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Show (InnerClass Low) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Generic (InnerClass High) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Associated Types

type Rep (InnerClass High) :: Type -> Type #

Generic (InnerClass Low) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Associated Types

type Rep (InnerClass Low) :: Type -> Type #

Binary (InnerClass Low) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

NFData (InnerClass High) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Methods

rnf :: InnerClass High -> () #

NFData (InnerClass Low) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

Methods

rnf :: InnerClass Low -> () #

type Rep (InnerClass High) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

type Rep (InnerClass High) = D1 (MetaData "InnerClass" "Language.JVM.Attribute.InnerClasses" "jvm-binary-0.4.0-3E0hqhYBs599hoWoNCv9Kr" False) (C1 (MetaCons "InnerClass" PrefixI True) ((S1 (MetaSel (Just "icClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName High)) :*: S1 (MetaSel (Just "icOuterClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref (Maybe ClassName) High))) :*: (S1 (MetaSel (Just "icInnerName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref (Maybe Text) High)) :*: S1 (MetaSel (Just "icInnerAccessFlags") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 ICAccessFlag)))))
type Rep (InnerClass Low) Source # 
Instance details

Defined in Language.JVM.Attribute.InnerClasses

type Rep (InnerClass Low) = D1 (MetaData "InnerClass" "Language.JVM.Attribute.InnerClasses" "jvm-binary-0.4.0-3E0hqhYBs599hoWoNCv9Kr" False) (C1 (MetaCons "InnerClass" PrefixI True) ((S1 (MetaSel (Just "icClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName Low)) :*: S1 (MetaSel (Just "icOuterClassName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref (Maybe ClassName) Low))) :*: (S1 (MetaSel (Just "icInnerName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref (Maybe Text) Low)) :*: S1 (MetaSel (Just "icInnerAccessFlags") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 ICAccessFlag)))))