Language.JVM.Attribute.Signature

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

Documentation

newtype Signature a

Constructors

Signature (Ref Text a)

Instances

Staged Signature

Defined in Language.JVM.Attribute.Signature

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). Staged s' => s' r -> m (s' r')) -> Signature r -> m (Signature r')

evolve :: EvolveM m => Signature Low -> m (Signature High)

devolve :: DevolveM m => Signature High -> m (Signature Low)

Eq (Signature High)

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: Signature High -> Signature High -> Bool

(/=) :: Signature High -> Signature High -> Bool

Eq (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: Signature Low -> Signature Low -> Bool

(/=) :: Signature Low -> Signature Low -> Bool

Ord (Signature Low)

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)

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> Signature High -> ShowS

show :: Signature High -> String

showList :: [Signature High] -> ShowS

Show (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> Signature Low -> ShowS

show :: Signature Low -> String

showList :: [Signature Low] -> ShowS

Generic (Signature High)

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep (Signature High) :: Type -> Type

Methods

from :: Signature High -> Rep (Signature High) x

to :: Rep (Signature High) x -> Signature High

Generic (Signature Low)

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep (Signature Low) :: Type -> Type

Methods

from :: Signature Low -> Rep (Signature Low) x

to :: Rep (Signature Low) x -> Signature Low

Binary (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

put :: Signature Low -> Put

get :: Get (Signature Low)

putList :: [Signature Low] -> Put

NFData (Signature High)

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: Signature High -> ()

NFData (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: Signature Low -> ()

IsAttribute (Signature Low)

Defined in Language.JVM.Attribute.Signature

Methods

attrName :: Const Text (Signature Low)

type Rep (Signature High)

Defined in Language.JVM.Attribute.Signature

type Rep (Signature High) = D1 ('MetaData "Signature" "Language.JVM.Attribute.Signature" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "Signature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Ref Text High))))

type Rep (Signature Low)

Defined in Language.JVM.Attribute.Signature

type Rep (Signature Low) = D1 ('MetaData "Signature" "Language.JVM.Attribute.Signature" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "Signature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Ref Text Low))))

signatureToText :: Signature High -> Text

signatureFromText :: Text -> Signature High

Top Level Definitions

data ClassSignature

Constructors

ClassSignature

Fields

• csTypeParameters :: [TypeParameter]
• csSuperclassSignature :: ClassType
• csInterfaceSignatures :: [ClassType]

Instances

Eq ClassSignature

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: ClassSignature -> ClassSignature -> Bool

(/=) :: ClassSignature -> ClassSignature -> Bool

Ord ClassSignature

Defined in Language.JVM.Attribute.Signature

Methods

compare :: ClassSignature -> ClassSignature -> Ordering

(<) :: ClassSignature -> ClassSignature -> Bool

(<=) :: ClassSignature -> ClassSignature -> Bool

(>) :: ClassSignature -> ClassSignature -> Bool

(>=) :: ClassSignature -> ClassSignature -> Bool

max :: ClassSignature -> ClassSignature -> ClassSignature

min :: ClassSignature -> ClassSignature -> ClassSignature

Show ClassSignature

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> ClassSignature -> ShowS

show :: ClassSignature -> String

showList :: [ClassSignature] -> ShowS

Generic ClassSignature

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep ClassSignature :: Type -> Type

Methods

from :: ClassSignature -> Rep ClassSignature x

to :: Rep ClassSignature x -> ClassSignature

NFData ClassSignature

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: ClassSignature -> ()

TextSerializable ClassSignature

Defined in Language.JVM.Attribute.Signature

Methods

parseText :: Parser ClassSignature

toBuilder :: ClassSignature -> Builder

deserialize :: Text -> Either String ClassSignature

serialize :: ClassSignature -> Text

type Rep ClassSignature

Defined in Language.JVM.Attribute.Signature

type Rep ClassSignature = D1 ('MetaData "ClassSignature" "Language.JVM.Attribute.Signature" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" '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]))))

isSimpleClassSignature :: ClassSignature -> Bool

classSignatureToText :: ClassSignature -> Text

classSignatureFromText :: Text -> Either String ClassSignature

data MethodSignature

Constructors

MethodSignature

Fields

• msTypeParameters :: [TypeParameter]
• msArguments :: [TypeSignature]
• msResults :: Maybe TypeSignature
• msThrows :: [ThrowsSignature]

Instances

Eq MethodSignature

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: MethodSignature -> MethodSignature -> Bool

(/=) :: MethodSignature -> MethodSignature -> Bool

Ord MethodSignature

Defined in Language.JVM.Attribute.Signature

Methods

compare :: MethodSignature -> MethodSignature -> Ordering

(<) :: MethodSignature -> MethodSignature -> Bool

(<=) :: MethodSignature -> MethodSignature -> Bool

(>) :: MethodSignature -> MethodSignature -> Bool

(>=) :: MethodSignature -> MethodSignature -> Bool

max :: MethodSignature -> MethodSignature -> MethodSignature

min :: MethodSignature -> MethodSignature -> MethodSignature

Show MethodSignature

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> MethodSignature -> ShowS

show :: MethodSignature -> String

showList :: [MethodSignature] -> ShowS

Generic MethodSignature

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep MethodSignature :: Type -> Type

Methods

from :: MethodSignature -> Rep MethodSignature x

to :: Rep MethodSignature x -> MethodSignature

NFData MethodSignature

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: MethodSignature -> ()

TextSerializable MethodSignature

Defined in Language.JVM.Attribute.Signature

Methods

parseText :: Parser MethodSignature

toBuilder :: MethodSignature -> Builder

deserialize :: Text -> Either String MethodSignature

serialize :: MethodSignature -> Text

type Rep MethodSignature

Defined in Language.JVM.Attribute.Signature

type Rep MethodSignature = D1 ('MetaData "MethodSignature" "Language.JVM.Attribute.Signature" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" '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]))))

isSimpleMethodSignature :: MethodSignature -> Bool

methodSignatureToText :: MethodSignature -> Text

methodSignatureFromText :: Text -> Either String MethodSignature

newtype FieldSignature

Constructors

FieldSignature

Fields

• fsRefType :: ReferenceType

Instances

Eq FieldSignature

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: FieldSignature -> FieldSignature -> Bool

(/=) :: FieldSignature -> FieldSignature -> Bool

Ord FieldSignature

Defined in Language.JVM.Attribute.Signature

Methods

compare :: FieldSignature -> FieldSignature -> Ordering

(<) :: FieldSignature -> FieldSignature -> Bool

(<=) :: FieldSignature -> FieldSignature -> Bool

(>) :: FieldSignature -> FieldSignature -> Bool

(>=) :: FieldSignature -> FieldSignature -> Bool

max :: FieldSignature -> FieldSignature -> FieldSignature

min :: FieldSignature -> FieldSignature -> FieldSignature

Show FieldSignature

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> FieldSignature -> ShowS

show :: FieldSignature -> String

showList :: [FieldSignature] -> ShowS

Generic FieldSignature

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep FieldSignature :: Type -> Type

Methods

from :: FieldSignature -> Rep FieldSignature x

to :: Rep FieldSignature x -> FieldSignature

NFData FieldSignature

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: FieldSignature -> ()

TextSerializable FieldSignature

Defined in Language.JVM.Attribute.Signature

Methods

parseText :: Parser FieldSignature

toBuilder :: FieldSignature -> Builder

deserialize :: Text -> Either String FieldSignature

serialize :: FieldSignature -> Text

type Rep FieldSignature

Defined in Language.JVM.Attribute.Signature

type Rep FieldSignature = D1 ('MetaData "FieldSignature" "Language.JVM.Attribute.Signature" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "FieldSignature" 'PrefixI 'True) (S1 ('MetaSel ('Just "fsRefType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ReferenceType)))

isSimpleFieldSignature :: FieldSignature -> Bool

fieldSignatureToText :: FieldSignature -> Text

fieldSignatureFromText :: Text -> Either String FieldSignature

Handlers

Lower Level Definitions

data ClassType

Constructors

ClassType

Fields

• ctsName :: !ClassName
• ctsInnerClass :: !(Maybe InnerClassType)
• ctsTypeArguments :: [Maybe TypeArgument]

Instances

Eq ClassType

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: ClassType -> ClassType -> Bool

(/=) :: ClassType -> ClassType -> Bool

Ord ClassType

Defined in Language.JVM.Attribute.Signature

Methods

compare :: ClassType -> ClassType -> Ordering

(<) :: ClassType -> ClassType -> Bool

(<=) :: ClassType -> ClassType -> Bool

(>) :: ClassType -> ClassType -> Bool

(>=) :: ClassType -> ClassType -> Bool

max :: ClassType -> ClassType -> ClassType

min :: ClassType -> ClassType -> ClassType

Show ClassType

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> ClassType -> ShowS

show :: ClassType -> String

showList :: [ClassType] -> ShowS

Generic ClassType

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep ClassType :: Type -> Type

Methods

from :: ClassType -> Rep ClassType x

to :: Rep ClassType x -> ClassType

NFData ClassType

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: ClassType -> ()

TextSerializable ClassType

Defined in Language.JVM.Attribute.Signature

Methods

parseText :: Parser ClassType

toBuilder :: ClassType -> Builder

deserialize :: Text -> Either String ClassType

serialize :: ClassType -> Text

type Rep ClassType

Defined in Language.JVM.Attribute.Signature

type Rep ClassType = D1 ('MetaData "ClassType" "Language.JVM.Attribute.Signature" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "ClassType" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctsName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ClassName) :*: (S1 ('MetaSel ('Just "ctsInnerClass") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe InnerClassType)) :*: S1 ('MetaSel ('Just "ctsTypeArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Maybe TypeArgument]))))

isSimpleClassType :: ClassType -> Bool

classTypeToName :: ClassType -> ClassName

classTypeFromName :: ClassName -> ClassType

Create a classType from a Name Note the language is wierd here! Main.A is not Main$A, but MainT.A is!

data InnerClassType

Constructors

InnerClassType

Fields

• ictsName :: !Text
• ictsInnerClass :: !(Maybe InnerClassType)
• ictsTypeArguments :: [Maybe TypeArgument]

Instances

Eq InnerClassType

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: InnerClassType -> InnerClassType -> Bool

(/=) :: InnerClassType -> InnerClassType -> Bool

Ord InnerClassType

Defined in Language.JVM.Attribute.Signature

Methods

compare :: InnerClassType -> InnerClassType -> Ordering

(<) :: InnerClassType -> InnerClassType -> Bool

(<=) :: InnerClassType -> InnerClassType -> Bool

(>) :: InnerClassType -> InnerClassType -> Bool

(>=) :: InnerClassType -> InnerClassType -> Bool

max :: InnerClassType -> InnerClassType -> InnerClassType

min :: InnerClassType -> InnerClassType -> InnerClassType

Show InnerClassType

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> InnerClassType -> ShowS

show :: InnerClassType -> String

showList :: [InnerClassType] -> ShowS

Generic InnerClassType

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep InnerClassType :: Type -> Type

Methods

from :: InnerClassType -> Rep InnerClassType x

to :: Rep InnerClassType x -> InnerClassType

NFData InnerClassType

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: InnerClassType -> ()

type Rep InnerClassType

Defined in Language.JVM.Attribute.Signature

type Rep InnerClassType = D1 ('MetaData "InnerClassType" "Language.JVM.Attribute.Signature" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "InnerClassType" 'PrefixI 'True) (S1 ('MetaSel ('Just "ictsName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "ictsInnerClass") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe InnerClassType)) :*: S1 ('MetaSel ('Just "ictsTypeArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Maybe TypeArgument]))))

data ReferenceType

Constructors

RefClassType ClassType

RefTypeVariable TypeVariable

RefArrayType TypeSignature

Instances

Eq ReferenceType

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: ReferenceType -> ReferenceType -> Bool

(/=) :: ReferenceType -> ReferenceType -> Bool

Ord ReferenceType

Defined in Language.JVM.Attribute.Signature

Methods

compare :: ReferenceType -> ReferenceType -> Ordering

(<) :: ReferenceType -> ReferenceType -> Bool

(<=) :: ReferenceType -> ReferenceType -> Bool

(>) :: ReferenceType -> ReferenceType -> Bool

(>=) :: ReferenceType -> ReferenceType -> Bool

max :: ReferenceType -> ReferenceType -> ReferenceType

min :: ReferenceType -> ReferenceType -> ReferenceType

Show ReferenceType

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> ReferenceType -> ShowS

show :: ReferenceType -> String

showList :: [ReferenceType] -> ShowS

Generic ReferenceType

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep ReferenceType :: Type -> Type

Methods

from :: ReferenceType -> Rep ReferenceType x

to :: Rep ReferenceType x -> ReferenceType

NFData ReferenceType

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: ReferenceType -> ()

TextSerializable ReferenceType

Defined in Language.JVM.Attribute.Signature

Methods

parseText :: Parser ReferenceType

toBuilder :: ReferenceType -> Builder

deserialize :: Text -> Either String ReferenceType

serialize :: ReferenceType -> Text

type Rep ReferenceType

Defined in Language.JVM.Attribute.Signature

type Rep ReferenceType = D1 ('MetaData "ReferenceType" "Language.JVM.Attribute.Signature" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" '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))))

isSimpleReferenceType :: ReferenceType -> Bool

referenceTypeFromRefType :: JRefType -> ReferenceType

data ThrowsSignature

Constructors

ThrowsClass ClassType

ThrowsTypeVariable TypeVariable

Instances

Eq ThrowsSignature

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: ThrowsSignature -> ThrowsSignature -> Bool

(/=) :: ThrowsSignature -> ThrowsSignature -> Bool

Ord ThrowsSignature

Defined in Language.JVM.Attribute.Signature

Methods

compare :: ThrowsSignature -> ThrowsSignature -> Ordering

(<) :: ThrowsSignature -> ThrowsSignature -> Bool

(<=) :: ThrowsSignature -> ThrowsSignature -> Bool

(>) :: ThrowsSignature -> ThrowsSignature -> Bool

(>=) :: ThrowsSignature -> ThrowsSignature -> Bool

max :: ThrowsSignature -> ThrowsSignature -> ThrowsSignature

min :: ThrowsSignature -> ThrowsSignature -> ThrowsSignature

Show ThrowsSignature

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> ThrowsSignature -> ShowS

show :: ThrowsSignature -> String

showList :: [ThrowsSignature] -> ShowS

Generic ThrowsSignature

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep ThrowsSignature :: Type -> Type

Methods

from :: ThrowsSignature -> Rep ThrowsSignature x

to :: Rep ThrowsSignature x -> ThrowsSignature

NFData ThrowsSignature

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: ThrowsSignature -> ()

TextSerializable ThrowsSignature

Defined in Language.JVM.Attribute.Signature

Methods

parseText :: Parser ThrowsSignature

toBuilder :: ThrowsSignature -> Builder

deserialize :: Text -> Either String ThrowsSignature

serialize :: ThrowsSignature -> Text

type Rep ThrowsSignature

Defined in Language.JVM.Attribute.Signature

type Rep ThrowsSignature = D1 ('MetaData "ThrowsSignature" "Language.JVM.Attribute.Signature" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" '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)))

isSimpleThrowsSignature :: ThrowsSignature -> Bool

throwsSignatureFromName :: ClassName -> ThrowsSignature

data TypeSignature

Constructors

ReferenceType ReferenceType

BaseType JBaseType

Instances

Eq TypeSignature

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: TypeSignature -> TypeSignature -> Bool

(/=) :: TypeSignature -> TypeSignature -> Bool

Ord TypeSignature

Defined in Language.JVM.Attribute.Signature

Methods

compare :: TypeSignature -> TypeSignature -> Ordering

(<) :: TypeSignature -> TypeSignature -> Bool

(<=) :: TypeSignature -> TypeSignature -> Bool

(>) :: TypeSignature -> TypeSignature -> Bool

(>=) :: TypeSignature -> TypeSignature -> Bool

max :: TypeSignature -> TypeSignature -> TypeSignature

min :: TypeSignature -> TypeSignature -> TypeSignature

Show TypeSignature

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> TypeSignature -> ShowS

show :: TypeSignature -> String

showList :: [TypeSignature] -> ShowS

Generic TypeSignature

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep TypeSignature :: Type -> Type

Methods

from :: TypeSignature -> Rep TypeSignature x

to :: Rep TypeSignature x -> TypeSignature

NFData TypeSignature

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: TypeSignature -> ()

TextSerializable TypeSignature

Defined in Language.JVM.Attribute.Signature

Methods

parseText :: Parser TypeSignature

toBuilder :: TypeSignature -> Builder

deserialize :: Text -> Either String TypeSignature

serialize :: TypeSignature -> Text

type Rep TypeSignature

Defined in Language.JVM.Attribute.Signature

type Rep TypeSignature = D1 ('MetaData "TypeSignature" "Language.JVM.Attribute.Signature" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" '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)))

isSimpleTypeSignature :: TypeSignature -> Bool

typeSignatureFromType :: JType -> TypeSignature

data TypeArgument

Constructors

TypeArgument

Fields

• taWildcard :: Maybe Wildcard
• taType :: ReferenceType

Instances

Eq TypeArgument

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: TypeArgument -> TypeArgument -> Bool

(/=) :: TypeArgument -> TypeArgument -> Bool

Ord TypeArgument

Defined in Language.JVM.Attribute.Signature

Methods

compare :: TypeArgument -> TypeArgument -> Ordering

(<) :: TypeArgument -> TypeArgument -> Bool

(<=) :: TypeArgument -> TypeArgument -> Bool

(>) :: TypeArgument -> TypeArgument -> Bool

(>=) :: TypeArgument -> TypeArgument -> Bool

max :: TypeArgument -> TypeArgument -> TypeArgument

min :: TypeArgument -> TypeArgument -> TypeArgument

Show TypeArgument

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> TypeArgument -> ShowS

show :: TypeArgument -> String

showList :: [TypeArgument] -> ShowS

Generic TypeArgument

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep TypeArgument :: Type -> Type

Methods

from :: TypeArgument -> Rep TypeArgument x

to :: Rep TypeArgument x -> TypeArgument

NFData TypeArgument

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: TypeArgument -> ()

type Rep TypeArgument

Defined in Language.JVM.Attribute.Signature

type Rep TypeArgument = D1 ('MetaData "TypeArgument" "Language.JVM.Attribute.Signature" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" '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

Constructors

TypeParameter

Fields

• tpIdentifier :: Text
• tpClassBound :: Maybe ReferenceType
• tpInterfaceBound :: [ReferenceType]

Instances

Eq TypeParameter

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: TypeParameter -> TypeParameter -> Bool

(/=) :: TypeParameter -> TypeParameter -> Bool

Ord TypeParameter

Defined in Language.JVM.Attribute.Signature

Methods

compare :: TypeParameter -> TypeParameter -> Ordering

(<) :: TypeParameter -> TypeParameter -> Bool

(<=) :: TypeParameter -> TypeParameter -> Bool

(>) :: TypeParameter -> TypeParameter -> Bool

(>=) :: TypeParameter -> TypeParameter -> Bool

max :: TypeParameter -> TypeParameter -> TypeParameter

min :: TypeParameter -> TypeParameter -> TypeParameter

Show TypeParameter

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> TypeParameter -> ShowS

show :: TypeParameter -> String

showList :: [TypeParameter] -> ShowS

Generic TypeParameter

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep TypeParameter :: Type -> Type

Methods

from :: TypeParameter -> Rep TypeParameter x

to :: Rep TypeParameter x -> TypeParameter

NFData TypeParameter

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: TypeParameter -> ()

TextSerializable TypeParameter

Defined in Language.JVM.Attribute.Signature

Methods

parseText :: Parser TypeParameter

toBuilder :: TypeParameter -> Builder

deserialize :: Text -> Either String TypeParameter

serialize :: TypeParameter -> Text

type Rep TypeParameter

Defined in Language.JVM.Attribute.Signature

type Rep TypeParameter = D1 ('MetaData "TypeParameter" "Language.JVM.Attribute.Signature" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "TypeParameter" 'PrefixI 'True) (S1 ('MetaSel ('Just "tpIdentifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "tpClassBound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ReferenceType)) :*: S1 ('MetaSel ('Just "tpInterfaceBound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ReferenceType]))))

newtype TypeVariable

Constructors

TypeVariable

Fields

• tvAsText :: Text

Instances

Eq TypeVariable

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: TypeVariable -> TypeVariable -> Bool

(/=) :: TypeVariable -> TypeVariable -> Bool

Ord TypeVariable

Defined in Language.JVM.Attribute.Signature

Methods

compare :: TypeVariable -> TypeVariable -> Ordering

(<) :: TypeVariable -> TypeVariable -> Bool

(<=) :: TypeVariable -> TypeVariable -> Bool

(>) :: TypeVariable -> TypeVariable -> Bool

(>=) :: TypeVariable -> TypeVariable -> Bool

max :: TypeVariable -> TypeVariable -> TypeVariable

min :: TypeVariable -> TypeVariable -> TypeVariable

Show TypeVariable

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> TypeVariable -> ShowS

show :: TypeVariable -> String

showList :: [TypeVariable] -> ShowS

Generic TypeVariable

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep TypeVariable :: Type -> Type

Methods

from :: TypeVariable -> Rep TypeVariable x

to :: Rep TypeVariable x -> TypeVariable

NFData TypeVariable

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: TypeVariable -> ()

TextSerializable TypeVariable

Defined in Language.JVM.Attribute.Signature

Methods

parseText :: Parser TypeVariable

toBuilder :: TypeVariable -> Builder

deserialize :: Text -> Either String TypeVariable

serialize :: TypeVariable -> Text

type Rep TypeVariable

Defined in Language.JVM.Attribute.Signature

type Rep TypeVariable = D1 ('MetaData "TypeVariable" "Language.JVM.Attribute.Signature" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "TypeVariable" 'PrefixI 'True) (S1 ('MetaSel ('Just "tvAsText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data Wildcard

Constructors

WildPlus

WildMinus

Instances

Eq Wildcard

Defined in Language.JVM.Attribute.Signature

Methods

(==) :: Wildcard -> Wildcard -> Bool

(/=) :: Wildcard -> Wildcard -> Bool

Ord Wildcard

Defined in Language.JVM.Attribute.Signature

Methods

compare :: Wildcard -> Wildcard -> Ordering

(<) :: Wildcard -> Wildcard -> Bool

(<=) :: Wildcard -> Wildcard -> Bool

(>) :: Wildcard -> Wildcard -> Bool

(>=) :: Wildcard -> Wildcard -> Bool

max :: Wildcard -> Wildcard -> Wildcard

min :: Wildcard -> Wildcard -> Wildcard

Show Wildcard

Defined in Language.JVM.Attribute.Signature

Methods

showsPrec :: Int -> Wildcard -> ShowS

show :: Wildcard -> String

showList :: [Wildcard] -> ShowS

Generic Wildcard

Defined in Language.JVM.Attribute.Signature

Associated Types

type Rep Wildcard :: Type -> Type

Methods

from :: Wildcard -> Rep Wildcard x

to :: Rep Wildcard x -> Wildcard

NFData Wildcard

Defined in Language.JVM.Attribute.Signature

Methods

rnf :: Wildcard -> ()

TextSerializable Wildcard

Defined in Language.JVM.Attribute.Signature

Methods

parseText :: Parser Wildcard

toBuilder :: Wildcard -> Builder

deserialize :: Text -> Either String Wildcard

serialize :: Wildcard -> Text

type Rep Wildcard

Defined in Language.JVM.Attribute.Signature

type Rep Wildcard = D1 ('MetaData "Wildcard" "Language.JVM.Attribute.Signature" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "WildPlus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WildMinus" 'PrefixI 'False) (U1 :: Type -> Type))

Parsers

classSignatureP :: Parser ClassSignature

methodSignatureP :: Parser MethodSignature

fieldSignatureP :: Parser FieldSignature

classTypeP :: Parser ClassType

classTypeT :: ClassType -> Builder

referenceTypeP :: Parser ReferenceType

referenceTypeT :: ReferenceType -> Builder

throwsSignatureP :: Parser ThrowsSignature

throwsSignatureT :: ThrowsSignature -> Builder

typeArgumentsT :: [Maybe TypeArgument] -> Builder

typeArgumentsP :: Parser [Maybe TypeArgument]

typeArgumentP :: Parser (Maybe TypeArgument)

typeArgumentT :: Maybe TypeArgument -> Builder

typeParameterP :: Parser TypeParameter

typeParameterT :: TypeParameter -> Builder

typeParametersT :: [TypeParameter] -> Builder

typeParametersP :: Parser [TypeParameter]

typeSignatureP :: Parser TypeSignature

typeSignatureT :: TypeSignature -> Builder

typeVariableP :: Parser TypeVariable