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

Language.JVM.Attribute.BootstrapMethods

Description

Based on the BootstrapMethods Attribute, as documented [here](http:/docs.oracle.comjavasespecsjvmsse8html/jvms-4.html#jvms-4.7.23).

Synopsis

newtype BootstrapMethods r = BootstrapMethods {
- methods' :: SizedList16 (BootstrapMethod r)
}
methods :: BootstrapMethods r -> [BootstrapMethod r]
data BootstrapMethod r = BootstrapMethod {
- method :: !(DeepRef MethodHandle r)
- arguments :: !(SizedList16 (Ref JValue r))
}

Documentation

newtype BootstrapMethods r Source #

Is a list of bootstrapped methods.

Constructors

BootstrapMethods
Fields methods' :: SizedList16 (BootstrapMethod r)

Instances

Instances details

Staged BootstrapMethods Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods stage :: LabelM m => (forall (s' :: Type -> Type). Staged s' => s' r -> m (s' r')) -> BootstrapMethods r -> m (BootstrapMethods r') Source # evolve :: EvolveM m => BootstrapMethods Low -> m (BootstrapMethods High) Source # devolve :: DevolveM m => BootstrapMethods High -> m (BootstrapMethods Low) Source #
Eq (BootstrapMethods High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods (==) :: BootstrapMethods High -> BootstrapMethods High -> Bool # (/=) :: BootstrapMethods High -> BootstrapMethods High -> Bool #
Eq (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods (==) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # (/=) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool #
Ord (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods compare :: BootstrapMethods Low -> BootstrapMethods Low -> Ordering # (<) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # (<=) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # (>) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # (>=) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # max :: BootstrapMethods Low -> BootstrapMethods Low -> BootstrapMethods Low # min :: BootstrapMethods Low -> BootstrapMethods Low -> BootstrapMethods Low #
Show (BootstrapMethods High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods showsPrec :: Int -> BootstrapMethods High -> ShowS # show :: BootstrapMethods High -> String # showList :: [BootstrapMethods High] -> ShowS #
Show (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods showsPrec :: Int -> BootstrapMethods Low -> ShowS # show :: BootstrapMethods Low -> String # showList :: [BootstrapMethods Low] -> ShowS #
Generic (BootstrapMethods High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Associated Types type Rep (BootstrapMethods High) :: Type -> Type # Methods from :: BootstrapMethods High -> Rep (BootstrapMethods High) x # to :: Rep (BootstrapMethods High) x -> BootstrapMethods High #
Generic (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Associated Types type Rep (BootstrapMethods Low) :: Type -> Type # Methods from :: BootstrapMethods Low -> Rep (BootstrapMethods Low) x # to :: Rep (BootstrapMethods Low) x -> BootstrapMethods Low #
Binary (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods put :: BootstrapMethods Low -> Put # get :: Get (BootstrapMethods Low) # putList :: [BootstrapMethods Low] -> Put #
NFData (BootstrapMethods High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods rnf :: BootstrapMethods High -> () #
NFData (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods rnf :: BootstrapMethods Low -> () #
IsAttribute (BootstrapMethods Low) Source #	`BootstrapMethods` is an Attribute.
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods attrName :: Const Text (BootstrapMethods Low) Source #
type Rep (BootstrapMethods High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods type Rep (BootstrapMethods High) = D1 ('MetaData "BootstrapMethods" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "BootstrapMethods" 'PrefixI 'True) (S1 ('MetaSel ('Just "methods'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SizedList16 (BootstrapMethod High)))))
type Rep (BootstrapMethods Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods type Rep (BootstrapMethods Low) = D1 ('MetaData "BootstrapMethods" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "BootstrapMethods" 'PrefixI 'True) (S1 ('MetaSel ('Just "methods'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SizedList16 (BootstrapMethod Low)))))

methods :: BootstrapMethods r -> [BootstrapMethod r] Source #

The methods as list

data BootstrapMethod r Source #

A bootstraped methods.

Constructors

BootstrapMethod
Fields method :: !(DeepRef MethodHandle r) arguments :: !(SizedList16 (Ref JValue r))

Instances

Instances details

Staged BootstrapMethod Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods stage :: LabelM m => (forall (s' :: Type -> Type). Staged s' => s' r -> m (s' r')) -> BootstrapMethod r -> m (BootstrapMethod r') Source # evolve :: EvolveM m => BootstrapMethod Low -> m (BootstrapMethod High) Source # devolve :: DevolveM m => BootstrapMethod High -> m (BootstrapMethod Low) Source #
Eq (BootstrapMethod High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods (==) :: BootstrapMethod High -> BootstrapMethod High -> Bool # (/=) :: BootstrapMethod High -> BootstrapMethod High -> Bool #
Eq (BootstrapMethod Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods (==) :: BootstrapMethod Low -> BootstrapMethod Low -> Bool # (/=) :: BootstrapMethod Low -> BootstrapMethod Low -> Bool #
Ord (BootstrapMethod Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods compare :: BootstrapMethod Low -> BootstrapMethod Low -> Ordering # (<) :: BootstrapMethod Low -> BootstrapMethod Low -> Bool # (<=) :: BootstrapMethod Low -> BootstrapMethod Low -> Bool # (>) :: BootstrapMethod Low -> BootstrapMethod Low -> Bool # (>=) :: BootstrapMethod Low -> BootstrapMethod Low -> Bool # max :: BootstrapMethod Low -> BootstrapMethod Low -> BootstrapMethod Low # min :: BootstrapMethod Low -> BootstrapMethod Low -> BootstrapMethod Low #
Show (BootstrapMethod High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods showsPrec :: Int -> BootstrapMethod High -> ShowS # show :: BootstrapMethod High -> String # showList :: [BootstrapMethod High] -> ShowS #
Show (BootstrapMethod Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods showsPrec :: Int -> BootstrapMethod Low -> ShowS # show :: BootstrapMethod Low -> String # showList :: [BootstrapMethod Low] -> ShowS #
Generic (BootstrapMethod High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Associated Types type Rep (BootstrapMethod High) :: Type -> Type # Methods from :: BootstrapMethod High -> Rep (BootstrapMethod High) x # to :: Rep (BootstrapMethod High) x -> BootstrapMethod High #
Generic (BootstrapMethod Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Associated Types type Rep (BootstrapMethod Low) :: Type -> Type # Methods from :: BootstrapMethod Low -> Rep (BootstrapMethod Low) x # to :: Rep (BootstrapMethod Low) x -> BootstrapMethod Low #
Binary (BootstrapMethod Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods put :: BootstrapMethod Low -> Put # get :: Get (BootstrapMethod Low) # putList :: [BootstrapMethod Low] -> Put #
NFData (BootstrapMethod High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods rnf :: BootstrapMethod High -> () #
NFData (BootstrapMethod Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods rnf :: BootstrapMethod Low -> () #
type Rep (BootstrapMethod High) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods type Rep (BootstrapMethod High) = D1 ('MetaData "BootstrapMethod" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "BootstrapMethod" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DeepRef MethodHandle High)) :*: S1 ('MetaSel ('Just "arguments") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SizedList16 (Ref JValue High)))))
type Rep (BootstrapMethod Low) Source #
Instance details Defined in Language.JVM.Attribute.BootstrapMethods type Rep (BootstrapMethod Low) = D1 ('MetaData "BootstrapMethod" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "BootstrapMethod" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DeepRef MethodHandle Low)) :*: S1 ('MetaSel ('Just "arguments") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SizedList16 (Ref JValue Low)))))