| Copyright | (c) Christian Gram Kalhauge 2018 |
|---|---|
| License | MIT |
| Maintainer | kalhuage@cs.ucla.edu |
| Safe Haskell | None |
| Language | Haskell2010 |
Language.JVM.Attribute.Signature
Description
Synopsis
- newtype Signature a = Signature (Ref Text a)
- signatureToText :: Signature High -> Text
- signatureFromText :: Text -> Signature High
- data ClassSignature = ClassSignature {}
- isSimpleClassSignature :: ClassSignature -> Bool
- classSignatureToText :: ClassSignature -> Text
- classSignatureFromText :: Text -> Either String ClassSignature
- data MethodSignature = MethodSignature {}
- isSimpleMethodSignature :: MethodSignature -> Bool
- methodSignatureToText :: MethodSignature -> Text
- methodSignatureFromText :: Text -> Either String MethodSignature
- newtype FieldSignature = FieldSignature {}
- isSimpleFieldSignature :: FieldSignature -> Bool
- fieldSignatureToText :: FieldSignature -> Text
- fieldSignatureFromText :: Text -> Either String FieldSignature
- data ClassType = ClassType {}
- isSimpleClassType :: ClassType -> Bool
- classTypeToName :: ClassType -> ClassName
- classTypeFromName :: ClassName -> ClassType
- data InnerClassType = InnerClassType {
- ictsName :: !Text
- ictsInnerClass :: !(Maybe InnerClassType)
- ictsTypeArguments :: [Maybe TypeArgument]
- data ReferenceType
- isSimpleReferenceType :: ReferenceType -> Bool
- referenceTypeFromRefType :: JRefType -> ReferenceType
- data ThrowsSignature
- isSimpleThrowsSignature :: ThrowsSignature -> Bool
- throwsSignatureFromName :: ClassName -> ThrowsSignature
- data TypeSignature
- isSimpleTypeSignature :: TypeSignature -> Bool
- typeSignatureFromType :: JType -> TypeSignature
- data TypeArgument = TypeArgument {}
- data TypeParameter = TypeParameter {}
- newtype TypeVariable = TypeVariable {}
- data Wildcard
- 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
Documentation
Instances
| Staged Signature Source # | |
Defined in Language.JVM.Attribute.Signature | |
| Eq (Signature High) Source # | |
| Eq (Signature Low) Source # | |
| Ord (Signature Low) Source # | |
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 # | |
| Show (Signature High) Source # | |
| Show (Signature Low) Source # | |
| Generic (Signature High) Source # | |
| Generic (Signature Low) Source # | |
| Binary (Signature Low) Source # | |
| NFData (Signature High) Source # | |
Defined in Language.JVM.Attribute.Signature | |
| NFData (Signature Low) Source # | |
Defined in Language.JVM.Attribute.Signature | |
| IsAttribute (Signature Low) Source # | |
| type Rep (Signature High) Source # | |
Defined in Language.JVM.Attribute.Signature | |
| type Rep (Signature Low) Source # | |
Defined in Language.JVM.Attribute.Signature | |
Top Level Definitions
data ClassSignature Source #
Constructors
| ClassSignature | |
Fields | |
Instances
data MethodSignature Source #
Constructors
| MethodSignature | |
Fields
| |
Instances
newtype FieldSignature Source #
Constructors
| FieldSignature | |
Fields | |
Instances
Handlers
Lower Level Definitions
Constructors
| ClassType | |
Fields
| |
Instances
| Eq ClassType Source # | |
| Ord ClassType Source # | |
Defined in Language.JVM.Attribute.Signature | |
| Show ClassType Source # | |
| Generic ClassType Source # | |
| NFData ClassType Source # | |
Defined in Language.JVM.Attribute.Signature | |
| TextSerializable ClassType Source # | |
| type Rep ClassType Source # | |
Defined in Language.JVM.Attribute.Signature type Rep ClassType = D1 (MetaData "ClassType" "Language.JVM.Attribute.Signature" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" 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 Source #
classTypeToName :: ClassType -> ClassName Source #
classTypeFromName :: ClassName -> ClassType Source #
Create a classType from a Name Note the language is wierd here! Main.A is not Main$A, but MainT.A is!
data InnerClassType Source #
Constructors
| InnerClassType | |
Fields
| |
Instances
data ReferenceType Source #
Instances
data ThrowsSignature Source #
Constructors
| ThrowsClass ClassType | |
| ThrowsTypeVariable TypeVariable |
Instances
data TypeSignature Source #
Constructors
| ReferenceType ReferenceType | |
| BaseType JBaseType |
Instances
data TypeArgument Source #
Constructors
| TypeArgument | |
Fields | |
Instances
data TypeParameter Source #
Constructors
| TypeParameter | |
Fields | |
Instances
newtype TypeVariable Source #
Constructors
| TypeVariable | |
Instances
Parsers
classTypeT :: ClassType -> Builder Source #
typeArgumentsT :: [Maybe TypeArgument] -> Builder Source #
typeArgumentT :: Maybe TypeArgument -> Builder Source #
typeParametersT :: [TypeParameter] -> Builder Source #