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

Language.JVM.Attribute.InnerClasses

Description

Based on the InnerClasses Attribute, as documented here.

Synopsis

newtype InnerClasses r = InnerClasses {
- innerClasses :: Choice (SizedList16 (InnerClass Low)) [InnerClass High] r
}
data InnerClass r = InnerClass {
- icClassName :: !(Ref ClassName r)
- icOuterClassName :: !(Ref (Maybe ClassName) r)
- icInnerName :: !(Ref (Maybe Text) r)
- icInnerAccessFlags :: !(BitSet16 ICAccessFlag)
}

Documentation

newtype InnerClasses r Source #

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

Constructors

InnerClasses
Fields innerClasses :: Choice (SizedList16 (InnerClass Low)) [InnerClass High] r

Instances

Instances details

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 Methods (==) :: InnerClasses High -> InnerClasses High -> Bool # (/=) :: InnerClasses High -> InnerClasses High -> Bool #
Eq (InnerClasses Low) Source #
Instance details Defined in Language.JVM.Attribute.InnerClasses Methods (==) :: InnerClasses Low -> InnerClasses Low -> Bool # (/=) :: InnerClasses Low -> InnerClasses Low -> Bool #
Ord (InnerClasses Low) Source #
Instance details Defined in Language.JVM.Attribute.InnerClasses Methods compare :: InnerClasses Low -> InnerClasses Low -> Ordering # (<) :: InnerClasses Low -> InnerClasses Low -> Bool # (<=) :: InnerClasses Low -> InnerClasses Low -> Bool # (>) :: InnerClasses Low -> InnerClasses Low -> Bool # (>=) :: InnerClasses Low -> InnerClasses Low -> Bool # max :: InnerClasses Low -> InnerClasses Low -> InnerClasses Low # min :: InnerClasses Low -> InnerClasses Low -> InnerClasses Low #
Show (InnerClasses High) Source #
Instance details Defined in Language.JVM.Attribute.InnerClasses Methods showsPrec :: Int -> InnerClasses High -> ShowS # show :: InnerClasses High -> String # showList :: [InnerClasses High] -> ShowS #
Show (InnerClasses Low) Source #
Instance details Defined in Language.JVM.Attribute.InnerClasses Methods showsPrec :: Int -> InnerClasses Low -> ShowS # show :: InnerClasses Low -> String # showList :: [InnerClasses Low] -> ShowS #
Generic (InnerClasses High) Source #
Instance details Defined in Language.JVM.Attribute.InnerClasses Associated Types type Rep (InnerClasses High) :: Type -> Type # Methods from :: InnerClasses High -> Rep (InnerClasses High) x # to :: Rep (InnerClasses High) x -> InnerClasses High #
Generic (InnerClasses Low) Source #
Instance details Defined in Language.JVM.Attribute.InnerClasses Associated Types type Rep (InnerClasses Low) :: Type -> Type # Methods from :: InnerClasses Low -> Rep (InnerClasses Low) x # to :: Rep (InnerClasses Low) x -> InnerClasses Low #
Binary (InnerClasses Low) Source #
Instance details Defined in Language.JVM.Attribute.InnerClasses Methods put :: InnerClasses Low -> Put # get :: Get (InnerClasses Low) # putList :: [InnerClasses Low] -> Put #
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 Methods attrName :: Const Text (InnerClasses Low) Source #
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.10.0-6UZh5809b0fJPIjalFrBq2" '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.10.0-6UZh5809b0fJPIjalFrBq2" '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 #

Constructors

InnerClass
Fields icClassName :: !(Ref ClassName r) icOuterClassName :: !(Ref (Maybe ClassName) r) icInnerName :: !(Ref (Maybe Text) r) icInnerAccessFlags :: !(BitSet16 ICAccessFlag)

Instances

Instances details

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 Methods (==) :: InnerClass High -> InnerClass High -> Bool # (/=) :: InnerClass High -> InnerClass High -> Bool #
Eq (InnerClass Low) Source #
Instance details Defined in Language.JVM.Attribute.InnerClasses Methods (==) :: InnerClass Low -> InnerClass Low -> Bool # (/=) :: InnerClass Low -> InnerClass Low -> Bool #
Ord (InnerClass Low) Source #
Instance details Defined in Language.JVM.Attribute.InnerClasses Methods compare :: InnerClass Low -> InnerClass Low -> Ordering # (<) :: InnerClass Low -> InnerClass Low -> Bool # (<=) :: InnerClass Low -> InnerClass Low -> Bool # (>) :: InnerClass Low -> InnerClass Low -> Bool # (>=) :: InnerClass Low -> InnerClass Low -> Bool # max :: InnerClass Low -> InnerClass Low -> InnerClass Low # min :: InnerClass Low -> InnerClass Low -> InnerClass Low #
Show (InnerClass High) Source #
Instance details Defined in Language.JVM.Attribute.InnerClasses Methods showsPrec :: Int -> InnerClass High -> ShowS # show :: InnerClass High -> String # showList :: [InnerClass High] -> ShowS #
Show (InnerClass Low) Source #
Instance details Defined in Language.JVM.Attribute.InnerClasses Methods showsPrec :: Int -> InnerClass Low -> ShowS # show :: InnerClass Low -> String # showList :: [InnerClass Low] -> ShowS #
Generic (InnerClass High) Source #
Instance details Defined in Language.JVM.Attribute.InnerClasses Associated Types type Rep (InnerClass High) :: Type -> Type # Methods from :: InnerClass High -> Rep (InnerClass High) x # to :: Rep (InnerClass High) x -> InnerClass High #
Generic (InnerClass Low) Source #
Instance details Defined in Language.JVM.Attribute.InnerClasses Associated Types type Rep (InnerClass Low) :: Type -> Type # Methods from :: InnerClass Low -> Rep (InnerClass Low) x # to :: Rep (InnerClass Low) x -> InnerClass Low #
Binary (InnerClass Low) Source #
Instance details Defined in Language.JVM.Attribute.InnerClasses Methods put :: InnerClass Low -> Put # get :: Get (InnerClass Low) # putList :: [InnerClass Low] -> Put #
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.10.0-6UZh5809b0fJPIjalFrBq2" '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.10.0-6UZh5809b0fJPIjalFrBq2" '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)))))