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

Language.JVM.Attribute.MethodParameters

Description

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

Synopsis

newtype MethodParameters r = MethodParameters {
- methodParameters :: SizedList8 (MethodParameter r)
}
data MethodParameter r = MethodParameter {
- parameterName :: !(Ref Text r)
- parameterAccessFlags :: !(BitSet16 PAccessFlag)
}

Documentation

newtype MethodParameters r Source #

Is a list of method parameters, one for each parameter

Constructors

MethodParameters
Fields methodParameters :: SizedList8 (MethodParameter r)

Instances

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

data MethodParameter r Source #

A method parameter

Constructors

MethodParameter
Fields parameterName :: !(Ref Text r) parameterAccessFlags :: !(BitSet16 PAccessFlag)

Instances

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