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

Language.JVM.Attribute.Signature

Contents

Top Level Definitions
Lower Level Definitions

Description

Based on the Signature Attribute, as documented here, and the signature syntax defined here.

Synopsis

data Signature a = Signature (Ref Text a)
signatureToText :: Signature High -> Text
signatureFromText :: Text -> Signature High
data ClassSignature = ClassSignature {
- csTypeParameters :: [TypeParameter]
- csSuperclassSignature :: ClassType
- csInterfaceSignatures :: [ClassType]
}
classSignatureToText :: ClassSignature -> Text
classSignatureFromText :: Text -> Either String ClassSignature
classSignatureP :: Parser ClassSignature
data MethodSignature = MethodSignature {
- msTypeParameters :: [TypeParameter]
- msArguments :: [TypeSignature]
- msResults :: Maybe TypeSignature
- msThrows :: [ThrowsSignature]
}
methodSignatureToText :: MethodSignature -> Text
methodSignatureFromText :: Text -> Either String MethodSignature
methodSignatureP :: Parser MethodSignature
newtype FieldSignature = FieldSignature {
- fsRefType :: ReferenceType
}
fieldSignatureToText :: FieldSignature -> Text
fieldSignatureFromText :: Text -> Either String FieldSignature
fieldSignatureP :: Parser FieldSignature
data ClassType
- = ClassType {
  - ctsClassName :: ClassName
  - ctsTypeArguments :: [Maybe TypeArgument]
  }
- | InnerClassType {
  - ctsInnerClassName :: Text
  - ctsOuterClassType :: ClassType
  - ctsTypeArguments :: [Maybe TypeArgument]
  }
classTypeP :: Parser ClassType
data ReferenceType
- = RefClassType ClassType
- | RefTypeVariable TypeVariable
- | RefArrayType TypeSignature
referenceTypeP :: Parser ReferenceType
data ThrowsSignature
- = ThrowsClass ClassType
- | ThrowsTypeVariable TypeVariable
data TypeArgument = TypeArgument {
- taWildcard :: Maybe Wildcard
- taType :: ReferenceType
}
data TypeParameter = TypeParameter {
- tpIndentifier :: Text
- tpClassBound :: Maybe ReferenceType
- tpInterfaceBound :: [ReferenceType]
}
data TypeSignature
- = ReferenceType ReferenceType
- | BaseType JBaseType
newtype TypeVariable = TypeVariable {
- tvAsText :: Text
}
typeVariableP :: Parser TypeVariable
data Wildcard
- = WildPlus
- | WildMinus
typeParameterP :: Parser TypeParameter
typeParametersP :: Parser [TypeParameter]

Documentation

data Signature a Source #

Constructors

Signature (Ref Text a)

Instances

Staged Signature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Signature r -> m (Signature r') Source # evolve :: EvolveM m => Signature Low -> m (Signature High) Source # devolve :: DevolveM m => Signature High -> m (Signature Low) Source #
Eq (Signature High) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: Signature High -> Signature High -> Bool # (/=) :: Signature High -> Signature High -> Bool #
Eq (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: Signature Low -> Signature Low -> Bool # (/=) :: Signature Low -> Signature Low -> Bool #
Ord (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods compare :: Signature Low -> Signature Low -> Ordering # (<) :: Signature Low -> Signature Low -> Bool # (<=) :: Signature Low -> Signature Low -> Bool # (>) :: Signature Low -> Signature Low -> Bool # (>=) :: Signature Low -> Signature Low -> Bool # max :: Signature Low -> Signature Low -> Signature Low # min :: Signature Low -> Signature Low -> Signature Low #
Show (Signature High) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> Signature High -> ShowS # show :: Signature High -> String # showList :: [Signature High] -> ShowS #
Show (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> Signature Low -> ShowS # show :: Signature Low -> String # showList :: [Signature Low] -> ShowS #
Generic (Signature High) Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep (Signature High) :: * -> * # Methods from :: Signature High -> Rep (Signature High) x # to :: Rep (Signature High) x -> Signature High #
Generic (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep (Signature Low) :: * -> * # Methods from :: Signature Low -> Rep (Signature Low) x # to :: Rep (Signature Low) x -> Signature Low #
Binary (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods put :: Signature Low -> Put # get :: Get (Signature Low) # putList :: [Signature Low] -> Put #
NFData (Signature High) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: Signature High -> () #
NFData (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: Signature Low -> () #
IsAttribute (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods attrName :: Const Text (Signature Low) Source #
type Rep (Signature High) Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep (Signature High) = D1 (MetaData "Signature" "Language.JVM.Attribute.Signature" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "Signature" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ref Text High))))
type Rep (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep (Signature Low) = D1 (MetaData "Signature" "Language.JVM.Attribute.Signature" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "Signature" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ref Text Low))))

signatureToText :: Signature High -> Text Source #

signatureFromText :: Text -> Signature High Source #

Top Level Definitions

data ClassSignature Source #

Constructors

ClassSignature
Fields csTypeParameters :: [TypeParameter] csSuperclassSignature :: ClassType csInterfaceSignatures :: [ClassType]

Instances

Eq ClassSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: ClassSignature -> ClassSignature -> Bool # (/=) :: ClassSignature -> ClassSignature -> Bool #
Show ClassSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> ClassSignature -> ShowS # show :: ClassSignature -> String # showList :: [ClassSignature] -> ShowS #
Generic ClassSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep ClassSignature :: * -> * # Methods from :: ClassSignature -> Rep ClassSignature x # to :: Rep ClassSignature x -> ClassSignature #
NFData ClassSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: ClassSignature -> () #
type Rep ClassSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep ClassSignature = D1 (MetaData "ClassSignature" "Language.JVM.Attribute.Signature" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "ClassSignature" PrefixI True) (S1 (MetaSel (Just "csTypeParameters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeParameter]) :: (S1 (MetaSel (Just "csSuperclassSignature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ClassType) :: S1 (MetaSel (Just "csInterfaceSignatures") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ClassType]))))

classSignatureToText :: ClassSignature -> Text Source #

classSignatureFromText :: Text -> Either String ClassSignature Source #

classSignatureP :: Parser ClassSignature Source #

data MethodSignature Source #

Constructors

MethodSignature
Fields msTypeParameters :: [TypeParameter] msArguments :: [TypeSignature] msResults :: Maybe TypeSignature msThrows :: [ThrowsSignature]

Instances

Eq MethodSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: MethodSignature -> MethodSignature -> Bool # (/=) :: MethodSignature -> MethodSignature -> Bool #
Show MethodSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> MethodSignature -> ShowS # show :: MethodSignature -> String # showList :: [MethodSignature] -> ShowS #
Generic MethodSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep MethodSignature :: * -> * # Methods from :: MethodSignature -> Rep MethodSignature x # to :: Rep MethodSignature x -> MethodSignature #
NFData MethodSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: MethodSignature -> () #
type Rep MethodSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep MethodSignature = D1 (MetaData "MethodSignature" "Language.JVM.Attribute.Signature" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "MethodSignature" PrefixI True) ((S1 (MetaSel (Just "msTypeParameters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeParameter]) :: S1 (MetaSel (Just "msArguments") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeSignature])) :: (S1 (MetaSel (Just "msResults") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe TypeSignature)) :*: S1 (MetaSel (Just "msThrows") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ThrowsSignature]))))

methodSignatureToText :: MethodSignature -> Text Source #

methodSignatureFromText :: Text -> Either String MethodSignature Source #

methodSignatureP :: Parser MethodSignature Source #

newtype FieldSignature Source #

Constructors

FieldSignature
Fields fsRefType :: ReferenceType

Instances

Eq FieldSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: FieldSignature -> FieldSignature -> Bool # (/=) :: FieldSignature -> FieldSignature -> Bool #
Show FieldSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> FieldSignature -> ShowS # show :: FieldSignature -> String # showList :: [FieldSignature] -> ShowS #
Generic FieldSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep FieldSignature :: * -> * # Methods from :: FieldSignature -> Rep FieldSignature x # to :: Rep FieldSignature x -> FieldSignature #
NFData FieldSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: FieldSignature -> () #
type Rep FieldSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep FieldSignature = D1 (MetaData "FieldSignature" "Language.JVM.Attribute.Signature" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" True) (C1 (MetaCons "FieldSignature" PrefixI True) (S1 (MetaSel (Just "fsRefType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ReferenceType)))

fieldSignatureToText :: FieldSignature -> Text Source #

fieldSignatureFromText :: Text -> Either String FieldSignature Source #

fieldSignatureP :: Parser FieldSignature Source #

Lower Level Definitions

data ClassType Source #

Constructors

ClassType
Fields ctsClassName :: ClassName ctsTypeArguments :: [Maybe TypeArgument]
InnerClassType
Fields ctsInnerClassName :: Text ctsOuterClassType :: ClassType ctsTypeArguments :: [Maybe TypeArgument]

Instances

Eq ClassType Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: ClassType -> ClassType -> Bool # (/=) :: ClassType -> ClassType -> Bool #
Show ClassType Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> ClassType -> ShowS # show :: ClassType -> String # showList :: [ClassType] -> ShowS #
Generic ClassType Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep ClassType :: * -> * # Methods from :: ClassType -> Rep ClassType x # to :: Rep ClassType x -> ClassType #
NFData ClassType Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: ClassType -> () #
type Rep ClassType Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep ClassType = D1 (MetaData "ClassType" "Language.JVM.Attribute.Signature" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "ClassType" PrefixI True) (S1 (MetaSel (Just "ctsClassName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ClassName) :: S1 (MetaSel (Just "ctsTypeArguments") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Maybe TypeArgument])) :+: C1 (MetaCons "InnerClassType" PrefixI True) (S1 (MetaSel (Just "ctsInnerClassName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "ctsOuterClassType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ClassType) :*: S1 (MetaSel (Just "ctsTypeArguments") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Maybe TypeArgument]))))

classTypeP :: Parser ClassType Source #

data ReferenceType Source #

Constructors

RefClassType ClassType
RefTypeVariable TypeVariable
RefArrayType TypeSignature

Instances

Eq ReferenceType Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: ReferenceType -> ReferenceType -> Bool # (/=) :: ReferenceType -> ReferenceType -> Bool #
Show ReferenceType Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> ReferenceType -> ShowS # show :: ReferenceType -> String # showList :: [ReferenceType] -> ShowS #
Generic ReferenceType Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep ReferenceType :: * -> * # Methods from :: ReferenceType -> Rep ReferenceType x # to :: Rep ReferenceType x -> ReferenceType #
NFData ReferenceType Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: ReferenceType -> () #
type Rep ReferenceType Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep ReferenceType = D1 (MetaData "ReferenceType" "Language.JVM.Attribute.Signature" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "RefClassType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ClassType)) :+: (C1 (MetaCons "RefTypeVariable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVariable)) :+: C1 (MetaCons "RefArrayType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeSignature))))

referenceTypeP :: Parser ReferenceType Source #

data ThrowsSignature Source #

Constructors

ThrowsClass ClassType
ThrowsTypeVariable TypeVariable

Instances

Eq ThrowsSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: ThrowsSignature -> ThrowsSignature -> Bool # (/=) :: ThrowsSignature -> ThrowsSignature -> Bool #
Show ThrowsSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> ThrowsSignature -> ShowS # show :: ThrowsSignature -> String # showList :: [ThrowsSignature] -> ShowS #
Generic ThrowsSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep ThrowsSignature :: * -> * # Methods from :: ThrowsSignature -> Rep ThrowsSignature x # to :: Rep ThrowsSignature x -> ThrowsSignature #
NFData ThrowsSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: ThrowsSignature -> () #
type Rep ThrowsSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep ThrowsSignature = D1 (MetaData "ThrowsSignature" "Language.JVM.Attribute.Signature" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "ThrowsClass" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ClassType)) :+: C1 (MetaCons "ThrowsTypeVariable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVariable)))

data TypeArgument Source #

Constructors

TypeArgument
Fields taWildcard :: Maybe Wildcard taType :: ReferenceType

Instances

Eq TypeArgument Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: TypeArgument -> TypeArgument -> Bool # (/=) :: TypeArgument -> TypeArgument -> Bool #
Show TypeArgument Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> TypeArgument -> ShowS # show :: TypeArgument -> String # showList :: [TypeArgument] -> ShowS #
Generic TypeArgument Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep TypeArgument :: * -> * # Methods from :: TypeArgument -> Rep TypeArgument x # to :: Rep TypeArgument x -> TypeArgument #
NFData TypeArgument Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: TypeArgument -> () #
type Rep TypeArgument Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep TypeArgument = D1 (MetaData "TypeArgument" "Language.JVM.Attribute.Signature" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "TypeArgument" PrefixI True) (S1 (MetaSel (Just "taWildcard") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Wildcard)) :*: S1 (MetaSel (Just "taType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ReferenceType)))

data TypeParameter Source #

Constructors

TypeParameter
Fields tpIndentifier :: Text tpClassBound :: Maybe ReferenceType tpInterfaceBound :: [ReferenceType]

Instances

Eq TypeParameter Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: TypeParameter -> TypeParameter -> Bool # (/=) :: TypeParameter -> TypeParameter -> Bool #
Show TypeParameter Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> TypeParameter -> ShowS # show :: TypeParameter -> String # showList :: [TypeParameter] -> ShowS #
Generic TypeParameter Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep TypeParameter :: * -> * # Methods from :: TypeParameter -> Rep TypeParameter x # to :: Rep TypeParameter x -> TypeParameter #
NFData TypeParameter Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: TypeParameter -> () #
type Rep TypeParameter Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep TypeParameter = D1 (MetaData "TypeParameter" "Language.JVM.Attribute.Signature" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "TypeParameter" PrefixI True) (S1 (MetaSel (Just "tpIndentifier") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "tpClassBound") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ReferenceType)) :: S1 (MetaSel (Just "tpInterfaceBound") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ReferenceType]))))

data TypeSignature Source #

Constructors

ReferenceType ReferenceType
BaseType JBaseType

Instances

Eq TypeSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: TypeSignature -> TypeSignature -> Bool # (/=) :: TypeSignature -> TypeSignature -> Bool #
Show TypeSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> TypeSignature -> ShowS # show :: TypeSignature -> String # showList :: [TypeSignature] -> ShowS #
Generic TypeSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep TypeSignature :: * -> * # Methods from :: TypeSignature -> Rep TypeSignature x # to :: Rep TypeSignature x -> TypeSignature #
NFData TypeSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: TypeSignature -> () #
type Rep TypeSignature Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep TypeSignature = D1 (MetaData "TypeSignature" "Language.JVM.Attribute.Signature" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "ReferenceType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ReferenceType)) :+: C1 (MetaCons "BaseType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JBaseType)))

newtype TypeVariable Source #

Constructors

TypeVariable
Fields tvAsText :: Text

Instances

Eq TypeVariable Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: TypeVariable -> TypeVariable -> Bool # (/=) :: TypeVariable -> TypeVariable -> Bool #
Show TypeVariable Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> TypeVariable -> ShowS # show :: TypeVariable -> String # showList :: [TypeVariable] -> ShowS #
Generic TypeVariable Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep TypeVariable :: * -> * # Methods from :: TypeVariable -> Rep TypeVariable x # to :: Rep TypeVariable x -> TypeVariable #
NFData TypeVariable Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: TypeVariable -> () #
type Rep TypeVariable Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep TypeVariable = D1 (MetaData "TypeVariable" "Language.JVM.Attribute.Signature" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" True) (C1 (MetaCons "TypeVariable" PrefixI True) (S1 (MetaSel (Just "tvAsText") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

typeVariableP :: Parser TypeVariable Source #

data Wildcard Source #

Constructors

WildPlus
WildMinus

Instances

Eq Wildcard Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods (==) :: Wildcard -> Wildcard -> Bool # (/=) :: Wildcard -> Wildcard -> Bool #
Show Wildcard Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods showsPrec :: Int -> Wildcard -> ShowS # show :: Wildcard -> String # showList :: [Wildcard] -> ShowS #
Generic Wildcard Source #
Instance details Defined in Language.JVM.Attribute.Signature Associated Types type Rep Wildcard :: * -> * # Methods from :: Wildcard -> Rep Wildcard x # to :: Rep Wildcard x -> Wildcard #
NFData Wildcard Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods rnf :: Wildcard -> () #
type Rep Wildcard Source #
Instance details Defined in Language.JVM.Attribute.Signature type Rep Wildcard = D1 (MetaData "Wildcard" "Language.JVM.Attribute.Signature" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "WildPlus" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "WildMinus" PrefixI False) (U1 :: -> *))

typeParameterP :: Parser TypeParameter Source #

typeParametersP :: Parser [TypeParameter] Source #