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

Language.JVM.Field

Contents

Attributes

Description

Synopsis

Documentation

data Field r Source #

A Field in the class-file, as described here.

Constructors

Field
Fields fAccessFlags' :: !(BitSet16 FAccessFlag) fName :: !(Ref Text r) fDescriptor :: !(Ref FieldDescriptor r) fAttributes :: !(Attributes FieldAttributes r)

Instances

Staged Field Source #
Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Field r -> m (Field r') Source # evolve :: EvolveM m => Field Low -> m (Field High) Source # devolve :: DevolveM m => Field High -> m (Field Low) Source #
Eq (Field High) Source #
Methods (==) :: Field High -> Field High -> Bool # (/=) :: Field High -> Field High -> Bool #
Eq (Field Low) Source #
Methods (==) :: Field Low -> Field Low -> Bool # (/=) :: Field Low -> Field Low -> Bool #
Ord (Field Low) Source #
Methods compare :: Field Low -> Field Low -> Ordering # (<) :: Field Low -> Field Low -> Bool # (<=) :: Field Low -> Field Low -> Bool # (>) :: Field Low -> Field Low -> Bool # (>=) :: Field Low -> Field Low -> Bool # max :: Field Low -> Field Low -> Field Low # min :: Field Low -> Field Low -> Field Low #
Show (Field High) Source #
Methods showsPrec :: Int -> Field High -> ShowS # show :: Field High -> String # showList :: [Field High] -> ShowS #
Show (Field Low) Source #
Methods showsPrec :: Int -> Field Low -> ShowS # show :: Field Low -> String # showList :: [Field Low] -> ShowS #
Generic (Field High) Source #
Associated Types type Rep (Field High) :: * -> * # Methods from :: Field High -> Rep (Field High) x # to :: Rep (Field High) x -> Field High #
Generic (Field Low) Source #
Associated Types type Rep (Field Low) :: * -> * # Methods from :: Field Low -> Rep (Field Low) x # to :: Rep (Field Low) x -> Field Low #
Binary (Field Low) Source #
Methods put :: Field Low -> Put # get :: Get (Field Low) # putList :: [Field Low] -> Put #
NFData (Field High) Source #
Methods rnf :: Field High -> () #
NFData (Field Low) Source #
Methods rnf :: Field Low -> () #
type Rep (Field High) Source #
type Rep (Field High) = D1 * (MetaData "Field" "Language.JVM.Field" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Field" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "fAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (BitSet16 FAccessFlag))) (S1 * (MetaSel (Just Symbol "fName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref Text High)))) ((::) (S1 * (MetaSel (Just Symbol "fDescriptor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref FieldDescriptor High))) (S1 * (MetaSel (Just Symbol "fAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Attributes FieldAttributes High))))))
type Rep (Field Low) Source #
type Rep (Field Low) = D1 * (MetaData "Field" "Language.JVM.Field" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Field" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "fAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (BitSet16 FAccessFlag))) (S1 * (MetaSel (Just Symbol "fName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref Text Low)))) ((::) (S1 * (MetaSel (Just Symbol "fDescriptor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref FieldDescriptor Low))) (S1 * (MetaSel (Just Symbol "fAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Attributes FieldAttributes Low))))))

fAccessFlags :: Field r -> Set FAccessFlag Source #

Get the set of access flags

Attributes

fConstantValue :: Field High -> Maybe (ConstantValue High) Source #

Fetch the ConstantValue attribute.

fSignature :: Field High -> Maybe (Signature High) Source #

Fetches the Signature attribute, if any.

data FieldAttributes r Source #

Constructors

FieldAttributes
Fields faConstantValues :: [ConstantValue r] faSignatures :: [Signature r] faOthers :: [Attribute r]

Instances

Eq (FieldAttributes High) Source #
Methods (==) :: FieldAttributes High -> FieldAttributes High -> Bool # (/=) :: FieldAttributes High -> FieldAttributes High -> Bool #
Eq (FieldAttributes Low) Source #
Methods (==) :: FieldAttributes Low -> FieldAttributes Low -> Bool # (/=) :: FieldAttributes Low -> FieldAttributes Low -> Bool #
Ord (FieldAttributes Low) Source #
Methods compare :: FieldAttributes Low -> FieldAttributes Low -> Ordering # (<) :: FieldAttributes Low -> FieldAttributes Low -> Bool # (<=) :: FieldAttributes Low -> FieldAttributes Low -> Bool # (>) :: FieldAttributes Low -> FieldAttributes Low -> Bool # (>=) :: FieldAttributes Low -> FieldAttributes Low -> Bool # max :: FieldAttributes Low -> FieldAttributes Low -> FieldAttributes Low # min :: FieldAttributes Low -> FieldAttributes Low -> FieldAttributes Low #
Show (FieldAttributes High) Source #
Methods showsPrec :: Int -> FieldAttributes High -> ShowS # show :: FieldAttributes High -> String # showList :: [FieldAttributes High] -> ShowS #
Show (FieldAttributes Low) Source #
Methods showsPrec :: Int -> FieldAttributes Low -> ShowS # show :: FieldAttributes Low -> String # showList :: [FieldAttributes Low] -> ShowS #
Generic (FieldAttributes High) Source #
Associated Types type Rep (FieldAttributes High) :: * -> * # Methods from :: FieldAttributes High -> Rep (FieldAttributes High) x # to :: Rep (FieldAttributes High) x -> FieldAttributes High #
Generic (FieldAttributes Low) Source #
Associated Types type Rep (FieldAttributes Low) :: * -> * # Methods from :: FieldAttributes Low -> Rep (FieldAttributes Low) x # to :: Rep (FieldAttributes Low) x -> FieldAttributes Low #
NFData (FieldAttributes High) Source #
Methods rnf :: FieldAttributes High -> () #
NFData (FieldAttributes Low) Source #
Methods rnf :: FieldAttributes Low -> () #
type Rep (FieldAttributes High) Source #
type Rep (FieldAttributes High) = D1 * (MetaData "FieldAttributes" "Language.JVM.Field" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "FieldAttributes" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "faConstantValues") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ConstantValue High])) ((::) (S1 * (MetaSel (Just Symbol "faSignatures") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Signature High])) (S1 * (MetaSel (Just Symbol "faOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Attribute High])))))
type Rep (FieldAttributes Low) Source #
type Rep (FieldAttributes Low) = D1 * (MetaData "FieldAttributes" "Language.JVM.Field" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "FieldAttributes" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "faConstantValues") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ConstantValue Low])) ((::) (S1 * (MetaSel (Just Symbol "faSignatures") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Signature Low])) (S1 * (MetaSel (Just Symbol "faOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Attribute Low])))))