Safe Haskell	None
Language	GHC2021

H2JVM.Descriptor

Synopsis

data MethodDescriptor = MethodDescriptor {
- params :: [FieldType]
- returnDesc :: ReturnDescriptor
}
data ReturnDescriptor
- = VoidReturn
- | TypeReturn FieldType
returnDescriptorType :: ReturnDescriptor -> Maybe FieldType
methodParam :: MethodDescriptor -> Int -> Maybe FieldType

Documentation

data MethodDescriptor Source #

Represents a JVM method type signature descriptor (§4.3.3).

Constructors

MethodDescriptor
Fields params :: [FieldType] The parameter types of the method. returnDesc :: ReturnDescriptor The return type descriptor of the method.

Instances

Instances details

Data MethodDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MethodDescriptor -> c MethodDescriptor # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MethodDescriptor # toConstr :: MethodDescriptor -> Constr # dataTypeOf :: MethodDescriptor -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MethodDescriptor) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MethodDescriptor) # gmapT :: (forall b. Data b => b -> b) -> MethodDescriptor -> MethodDescriptor # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MethodDescriptor -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MethodDescriptor -> r # gmapQ :: (forall d. Data d => d -> u) -> MethodDescriptor -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MethodDescriptor -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MethodDescriptor -> m MethodDescriptor # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodDescriptor -> m MethodDescriptor # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodDescriptor -> m MethodDescriptor #
Show MethodDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods showsPrec :: Int -> MethodDescriptor -> ShowS # show :: MethodDescriptor -> String # showList :: [MethodDescriptor] -> ShowS #
Eq MethodDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods (==) :: MethodDescriptor -> MethodDescriptor -> Bool # (/=) :: MethodDescriptor -> MethodDescriptor -> Bool #
Ord MethodDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods compare :: MethodDescriptor -> MethodDescriptor -> Ordering # (<) :: MethodDescriptor -> MethodDescriptor -> Bool # (<=) :: MethodDescriptor -> MethodDescriptor -> Bool # (>) :: MethodDescriptor -> MethodDescriptor -> Bool # (>=) :: MethodDescriptor -> MethodDescriptor -> Bool # max :: MethodDescriptor -> MethodDescriptor -> MethodDescriptor # min :: MethodDescriptor -> MethodDescriptor -> MethodDescriptor #
Pretty MethodDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods pretty :: MethodDescriptor -> Doc ann Source # prettyList :: [MethodDescriptor] -> Doc ann Source #

data ReturnDescriptor Source #

Represents a method return type descriptor.

Constructors

VoidReturn	A void return (`V`).
TypeReturn FieldType	A return of some `FieldType`.

Instances

Instances details

Data ReturnDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ReturnDescriptor -> c ReturnDescriptor # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ReturnDescriptor # toConstr :: ReturnDescriptor -> Constr # dataTypeOf :: ReturnDescriptor -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ReturnDescriptor) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ReturnDescriptor) # gmapT :: (forall b. Data b => b -> b) -> ReturnDescriptor -> ReturnDescriptor # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ReturnDescriptor -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ReturnDescriptor -> r # gmapQ :: (forall d. Data d => d -> u) -> ReturnDescriptor -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ReturnDescriptor -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ReturnDescriptor -> m ReturnDescriptor # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ReturnDescriptor -> m ReturnDescriptor # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ReturnDescriptor -> m ReturnDescriptor #
Show ReturnDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods showsPrec :: Int -> ReturnDescriptor -> ShowS # show :: ReturnDescriptor -> String # showList :: [ReturnDescriptor] -> ShowS #
Eq ReturnDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods (==) :: ReturnDescriptor -> ReturnDescriptor -> Bool # (/=) :: ReturnDescriptor -> ReturnDescriptor -> Bool #
Ord ReturnDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods compare :: ReturnDescriptor -> ReturnDescriptor -> Ordering # (<) :: ReturnDescriptor -> ReturnDescriptor -> Bool # (<=) :: ReturnDescriptor -> ReturnDescriptor -> Bool # (>) :: ReturnDescriptor -> ReturnDescriptor -> Bool # (>=) :: ReturnDescriptor -> ReturnDescriptor -> Bool # max :: ReturnDescriptor -> ReturnDescriptor -> ReturnDescriptor # min :: ReturnDescriptor -> ReturnDescriptor -> ReturnDescriptor #
Pretty ReturnDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods pretty :: ReturnDescriptor -> Doc ann Source # prettyList :: [ReturnDescriptor] -> Doc ann Source #

returnDescriptorType :: ReturnDescriptor -> Maybe FieldType Source #

methodParam :: MethodDescriptor -> Int -> Maybe FieldType Source #

Get the type of the i-th parameter of a method descriptor, if it exists.