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

Documentation

newtype BootstrapMethods r Source #

Is a list of bootstrapped methods.

Constructors

BootstrapMethods
Fields methods' :: SizedList16 (BootstrapMethod r)

Instances

Staged BootstrapMethods Source #
Methods stage :: LabelM m => (forall (s' :: * -> *). 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 #
Methods (==) :: BootstrapMethods High -> BootstrapMethods High -> Bool # (/=) :: BootstrapMethods High -> BootstrapMethods High -> Bool #
Eq (BootstrapMethods Low) Source #
Methods (==) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool # (/=) :: BootstrapMethods Low -> BootstrapMethods Low -> Bool #
Ord (BootstrapMethods Low) Source #
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 #
Methods showsPrec :: Int -> BootstrapMethods High -> ShowS # show :: BootstrapMethods High -> String # showList :: [BootstrapMethods High] -> ShowS #
Show (BootstrapMethods Low) Source #
Methods showsPrec :: Int -> BootstrapMethods Low -> ShowS # show :: BootstrapMethods Low -> String # showList :: [BootstrapMethods Low] -> ShowS #
Generic (BootstrapMethods High) Source #
Associated Types type Rep (BootstrapMethods High) :: * -> * # Methods from :: BootstrapMethods High -> Rep (BootstrapMethods High) x # to :: Rep (BootstrapMethods High) x -> BootstrapMethods High #
Generic (BootstrapMethods Low) Source #
Associated Types type Rep (BootstrapMethods Low) :: * -> * # Methods from :: BootstrapMethods Low -> Rep (BootstrapMethods Low) x # to :: Rep (BootstrapMethods Low) x -> BootstrapMethods Low #
Binary (BootstrapMethods Low) Source #
Methods put :: BootstrapMethods Low -> Put # get :: Get (BootstrapMethods Low) # putList :: [BootstrapMethods Low] -> Put #
NFData (BootstrapMethods High) Source #
Methods rnf :: BootstrapMethods High -> () #
NFData (BootstrapMethods Low) Source #
Methods rnf :: BootstrapMethods Low -> () #
IsAttribute (BootstrapMethods Low) Source #	`BootstrapMethods` is an Attribute.
Methods attrName :: Const Text (BootstrapMethods Low) Source #
type Rep (BootstrapMethods High) Source #
type Rep (BootstrapMethods High) = D1 * (MetaData "BootstrapMethods" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "BootstrapMethods" PrefixI True) (S1 * (MetaSel (Just Symbol "methods'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (SizedList16 (BootstrapMethod High)))))
type Rep (BootstrapMethods Low) Source #
type Rep (BootstrapMethods Low) = D1 * (MetaData "BootstrapMethods" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "BootstrapMethods" PrefixI True) (S1 * (MetaSel (Just Symbol "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

Staged BootstrapMethod Source #
Methods stage :: LabelM m => (forall (s' :: * -> *). 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 #
Methods (==) :: BootstrapMethod High -> BootstrapMethod High -> Bool # (/=) :: BootstrapMethod High -> BootstrapMethod High -> Bool #
Eq (BootstrapMethod Low) Source #
Methods (==) :: BootstrapMethod Low -> BootstrapMethod Low -> Bool # (/=) :: BootstrapMethod Low -> BootstrapMethod Low -> Bool #
Ord (BootstrapMethod Low) Source #
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 #
Methods showsPrec :: Int -> BootstrapMethod High -> ShowS # show :: BootstrapMethod High -> String # showList :: [BootstrapMethod High] -> ShowS #
Show (BootstrapMethod Low) Source #
Methods showsPrec :: Int -> BootstrapMethod Low -> ShowS # show :: BootstrapMethod Low -> String # showList :: [BootstrapMethod Low] -> ShowS #
Generic (BootstrapMethod High) Source #
Associated Types type Rep (BootstrapMethod High) :: * -> * # Methods from :: BootstrapMethod High -> Rep (BootstrapMethod High) x # to :: Rep (BootstrapMethod High) x -> BootstrapMethod High #
Generic (BootstrapMethod Low) Source #
Associated Types type Rep (BootstrapMethod Low) :: * -> * # Methods from :: BootstrapMethod Low -> Rep (BootstrapMethod Low) x # to :: Rep (BootstrapMethod Low) x -> BootstrapMethod Low #
Binary (BootstrapMethod Low) Source #
Methods put :: BootstrapMethod Low -> Put # get :: Get (BootstrapMethod Low) # putList :: [BootstrapMethod Low] -> Put #
NFData (BootstrapMethod High) Source #
Methods rnf :: BootstrapMethod High -> () #
NFData (BootstrapMethod Low) Source #
Methods rnf :: BootstrapMethod Low -> () #
type Rep (BootstrapMethod High) Source #
type Rep (BootstrapMethod High) = D1 * (MetaData "BootstrapMethod" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "BootstrapMethod" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "method") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef MethodHandle High))) (S1 * (MetaSel (Just Symbol "arguments") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Ref JValue High))))))
type Rep (BootstrapMethod Low) Source #
type Rep (BootstrapMethod Low) = D1 * (MetaData "BootstrapMethod" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "BootstrapMethod" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "method") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (DeepRef MethodHandle Low))) (S1 * (MetaSel (Just Symbol "arguments") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Ref JValue Low))))))