Language.JVM.Attribute.ConstantValue

Based on the ConstantValue, as documented here.

Documentation

newtype ConstantValue r

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

Constructors

ConstantValue

Fields

• constantValue :: Ref JValue r

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.10.0-6UZh5809b0fJPIjalFrBq2" '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.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "ConstantValue" 'PrefixI 'True) (S1 ('MetaSel ('Just "constantValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Ref JValue Low))))