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.7.0-6Ze5cHhi7ro6G13LoViNew" 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.7.0-6Ze5cHhi7ro6G13LoViNew" 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

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 -> ()

type Rep ClassSignature

Defined in Language.JVM.Attribute.Signature

type Rep ClassSignature = D1 (MetaData "ClassSignature" "Language.JVM.Attribute.Signature" "jvm-binary-0.7.0-6Ze5cHhi7ro6G13LoViNew" 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

classSignatureFromText :: Text -> Either String ClassSignature

classSignatureP :: Parser 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

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 -> ()

type Rep MethodSignature

Defined in Language.JVM.Attribute.Signature

type Rep MethodSignature = D1 (MetaData "MethodSignature" "Language.JVM.Attribute.Signature" "jvm-binary-0.7.0-6Ze5cHhi7ro6G13LoViNew" 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

methodSignatureFromText :: Text -> Either String MethodSignature

methodSignatureP :: Parser MethodSignature

newtype FieldSignature

Constructors

FieldSignature

Fields

• fsRefType :: ReferenceType

Instances

Eq FieldSignature

Defined in Language.JVM.Attribute.Signature

Methods

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

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

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 -> ()

type Rep FieldSignature

Defined in Language.JVM.Attribute.Signature

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

fieldSignatureToText :: FieldSignature -> Text

fieldSignatureFromText :: Text -> Either String FieldSignature

fieldSignatureP :: Parser FieldSignature

Lower Level Definitions

data ClassType

Constructors

ClassType

Fields

• ctsClassName :: ClassName
• ctsTypeArguments :: [Maybe TypeArgument]

InnerClassType

Fields

• ctsInnerClassName :: Text
• ctsOuterClassType :: ClassType
• ctsTypeArguments :: [Maybe TypeArgument]

Instances

Eq ClassType

Defined in Language.JVM.Attribute.Signature

Methods

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

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

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 -> ()

type Rep ClassType

Defined in Language.JVM.Attribute.Signature

type Rep ClassType = D1 (MetaData "ClassType" "Language.JVM.Attribute.Signature" "jvm-binary-0.7.0-6Ze5cHhi7ro6G13LoViNew" 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

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

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 -> ()

type Rep ReferenceType

Defined in Language.JVM.Attribute.Signature

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

data ThrowsSignature

Constructors

ThrowsClass ClassType

ThrowsTypeVariable TypeVariable

Instances

Eq ThrowsSignature

Defined in Language.JVM.Attribute.Signature

Methods

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

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

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 -> ()

type Rep ThrowsSignature

Defined in Language.JVM.Attribute.Signature

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

Constructors

TypeArgument

Fields

• taWildcard :: Maybe Wildcard
• taType :: ReferenceType

Instances

Eq TypeArgument

Defined in Language.JVM.Attribute.Signature

Methods

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

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

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.7.0-6Ze5cHhi7ro6G13LoViNew" 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

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

Instances

Eq TypeParameter

Defined in Language.JVM.Attribute.Signature

Methods

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

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

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 -> ()

type Rep TypeParameter

Defined in Language.JVM.Attribute.Signature

type Rep TypeParameter = D1 (MetaData "TypeParameter" "Language.JVM.Attribute.Signature" "jvm-binary-0.7.0-6Ze5cHhi7ro6G13LoViNew" 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

Constructors

ReferenceType ReferenceType

BaseType JBaseType

Instances

Eq TypeSignature

Defined in Language.JVM.Attribute.Signature

Methods

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

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

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 -> ()

type Rep TypeSignature

Defined in Language.JVM.Attribute.Signature

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

Constructors

TypeVariable

Fields

• tvAsText :: Text

Instances

Eq TypeVariable

Defined in Language.JVM.Attribute.Signature

Methods

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

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

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 -> ()

type Rep TypeVariable

Defined in Language.JVM.Attribute.Signature

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

typeVariableP :: Parser TypeVariable

data Wildcard

Constructors

WildPlus

WildMinus

Instances

Eq Wildcard

Defined in Language.JVM.Attribute.Signature

Methods

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

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

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 -> ()

type Rep Wildcard

Defined in Language.JVM.Attribute.Signature

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

typeParameterP :: Parser TypeParameter

typeParametersP :: Parser [TypeParameter]