jvm-binary-0.10.0: A library for reading Java class-files
Copyright(c) Christian Gram Kalhauge 2017
LicenseMIT
Maintainerkalhuage@cs.ucla.edu
Safe HaskellNone
LanguageHaskell2010

Language.JVM.Field

Contents

Description

 
Synopsis

Documentation

data Field r Source #

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

Instances

Instances details
Staged Field Source # 
Instance details

Defined in Language.JVM.Field

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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 # 
Instance details

Defined in Language.JVM.Field

Methods

(==) :: Field High -> Field High -> Bool #

(/=) :: Field High -> Field High -> Bool #

Eq (Field Low) Source # 
Instance details

Defined in Language.JVM.Field

Methods

(==) :: Field Low -> Field Low -> Bool #

(/=) :: Field Low -> Field Low -> Bool #

Ord (Field Low) Source # 
Instance details

Defined in Language.JVM.Field

Show (Field High) Source # 
Instance details

Defined in Language.JVM.Field

Show (Field Low) Source # 
Instance details

Defined in Language.JVM.Field

Generic (Field High) Source # 
Instance details

Defined in Language.JVM.Field

Associated Types

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

Methods

from :: Field High -> Rep (Field High) x #

to :: Rep (Field High) x -> Field High #

Generic (Field Low) Source # 
Instance details

Defined in Language.JVM.Field

Associated Types

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

Methods

from :: Field Low -> Rep (Field Low) x #

to :: Rep (Field Low) x -> Field Low #

Binary (Field Low) Source # 
Instance details

Defined in Language.JVM.Field

Methods

put :: Field Low -> Put #

get :: Get (Field Low) #

putList :: [Field Low] -> Put #

NFData (Field High) Source # 
Instance details

Defined in Language.JVM.Field

Methods

rnf :: Field High -> () #

NFData (Field Low) Source # 
Instance details

Defined in Language.JVM.Field

Methods

rnf :: Field Low -> () #

type Rep (Field High) Source # 
Instance details

Defined in Language.JVM.Field

type Rep (Field High) = D1 ('MetaData "Field" "Language.JVM.Field" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "Field" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fAccessFlags'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BitSet16 FAccessFlag)) :*: S1 ('MetaSel ('Just "fName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref Text High))) :*: (S1 ('MetaSel ('Just "fDescriptor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref FieldDescriptor High)) :*: S1 ('MetaSel ('Just "fAttributes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Attributes FieldAttributes High)))))
type Rep (Field Low) Source # 
Instance details

Defined in Language.JVM.Field

type Rep (Field Low) = D1 ('MetaData "Field" "Language.JVM.Field" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "Field" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fAccessFlags'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BitSet16 FAccessFlag)) :*: S1 ('MetaSel ('Just "fName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref Text Low))) :*: (S1 ('MetaSel ('Just "fDescriptor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref FieldDescriptor Low)) :*: S1 ('MetaSel ('Just "fAttributes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Attributes FieldAttributes Low)))))

fAccessFlags :: Field r -> Set FAccessFlag Source #

Get the set of access flags

Attributes

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

Fetches the Signature attribute, if any.

data FieldAttributes r Source #

Instances

Instances details
Eq (FieldAttributes High) Source # 
Instance details

Defined in Language.JVM.Field

Eq (FieldAttributes Low) Source # 
Instance details

Defined in Language.JVM.Field

Ord (FieldAttributes Low) Source # 
Instance details

Defined in Language.JVM.Field

Show (FieldAttributes High) Source # 
Instance details

Defined in Language.JVM.Field

Show (FieldAttributes Low) Source # 
Instance details

Defined in Language.JVM.Field

Generic (FieldAttributes High) Source # 
Instance details

Defined in Language.JVM.Field

Associated Types

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

Generic (FieldAttributes Low) Source # 
Instance details

Defined in Language.JVM.Field

Associated Types

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

NFData (FieldAttributes High) Source # 
Instance details

Defined in Language.JVM.Field

Methods

rnf :: FieldAttributes High -> () #

NFData (FieldAttributes Low) Source # 
Instance details

Defined in Language.JVM.Field

Methods

rnf :: FieldAttributes Low -> () #

type Rep (FieldAttributes High) Source # 
Instance details

Defined in Language.JVM.Field

type Rep (FieldAttributes Low) Source # 
Instance details

Defined in Language.JVM.Field