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

Language.JVM.Type

Contents

Base types
Re-export

Description

This module contains the JType, ClassName, MethodDescriptor, and FieldDescriptor.

Synopsis

data ClassName
textCls :: Text -> Either String ClassName
textClsOrFail :: Text -> ClassName
strClsOrFail :: String -> ClassName
dotCls :: Text -> Either String ClassName
unsafeTextCls :: Text -> ClassName
parseClassName :: Parser ClassName
serializeClassName :: ClassName -> Builder
data JType
- = JTBase !JBaseType
- | JTRef !JRefType
jTypeSize :: JType -> Int
parseJType :: Parser JType
serializeJType :: JType -> Builder
data JBaseType
- = JTByte
- | JTChar
- | JTDouble
- | JTFloat
- | JTInt
- | JTLong
- | JTShort
- | JTBoolean
jBaseTypeToChar :: JBaseType -> Char
jBaseTypeSize :: JBaseType -> Int
parseJBaseType :: Parser JBaseType
serializeJBaseType :: JBaseType -> Builder
data JRefType
- = JTClass !ClassName
- | JTArray !JType
refTypeDepth :: JRefType -> Int
parseJRefType :: Parser JRefType
serializeJRefType :: JRefType -> Builder
parseFlatJRefType :: Parser JRefType
serializeFlatJRefType :: JRefType -> Builder
data MethodDescriptor = MethodDescriptor {
- methodDescriptorArguments :: ![JType]
- methodDescriptorReturnType :: !ReturnDescriptor
}
parseMethodDescriptor :: Parser MethodDescriptor
serializeMethodDescriptor :: MethodDescriptor -> Builder
newtype ReturnDescriptor = ReturnDescriptor {
- asMaybeJType :: Maybe JType
}
parseReturnDescriptor :: Parser ReturnDescriptor
serializeReturnDescriptor :: ReturnDescriptor -> Builder
newtype FieldDescriptor = FieldDescriptor {
- fieldDescriptorType :: JType
}
parseFieldDescriptor :: Parser FieldDescriptor
serializeFieldDescriptor :: FieldDescriptor -> Builder
data NameAndType a = NameAndType !Text !a
parseNameAndType :: Parser a -> Parser (NameAndType a)
serializeNameAndType :: (a -> Builder) -> NameAndType a -> Builder
class WithName n where
- type WithNameId n
- (<:>) :: Text -> n -> WithNameId n
class AsNameAndType n where
- type TypeDescriptor n
- toNameAndType :: n -> NameAndType (TypeDescriptor n)
- ntDescriptor :: n -> TypeDescriptor n
- ntName :: n -> Text
newtype MethodId = MethodId {
- methodIdAsNameAndType :: NameAndType MethodDescriptor
}
parseMethodId :: Parser MethodId
serializeMethodId :: MethodId -> Builder
newtype FieldId = FieldId {
- fieldIdAsNameAndType :: NameAndType FieldDescriptor
}
parseFieldId :: Parser FieldId
serializeFieldId :: FieldId -> Builder
data InClass a = InClass {
- inClassName :: !ClassName
- inClassId :: !a
}
parseInClass :: Parser a -> Parser (InClass a)
serializeInClass :: (a -> Builder) -> InClass a -> Builder
data InRefType a = InRefType {
- inRefType :: !JRefType
- inRefTypeId :: !a
}
parseInRefType :: Parser a -> Parser (InRefType a)
serializeInRefType :: (a -> Builder) -> InRefType a -> Builder
inRefTypeAsInClass :: InRefType a -> InClass a
newtype AbsMethodId = AbsMethodId {
- absMethodAsInClass :: InClass MethodId
}
parseAbsMethodId :: Parser AbsMethodId
serializeAbsMethodId :: AbsMethodId -> Builder
newtype AbsFieldId = AbsFieldId {
- absFieldAsInClass :: InClass FieldId
}
parseAbsFieldId :: Parser AbsFieldId
serializeAbsFieldId :: AbsFieldId -> Builder
module Language.JVM.TextSerializable

Base types

ClassName

data ClassName Source #

A class name

Instances

Instances details

Eq ClassName Source #
Instance details Defined in Language.JVM.Type Methods (==) :: ClassName -> ClassName -> Bool # (/=) :: ClassName -> ClassName -> Bool #
Ord ClassName Source #
Instance details Defined in Language.JVM.Type Methods compare :: ClassName -> ClassName -> Ordering # (<) :: ClassName -> ClassName -> Bool # (<=) :: ClassName -> ClassName -> Bool # (>) :: ClassName -> ClassName -> Bool # (>=) :: ClassName -> ClassName -> Bool # max :: ClassName -> ClassName -> ClassName # min :: ClassName -> ClassName -> ClassName #
Show ClassName Source #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> ClassName -> ShowS # show :: ClassName -> String # showList :: [ClassName] -> ShowS #
IsString ClassName Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> ClassName #
Generic ClassName Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep ClassName :: Type -> Type # Methods from :: ClassName -> Rep ClassName x # to :: Rep ClassName x -> ClassName #
NFData ClassName Source #
Instance details Defined in Language.JVM.Type Methods rnf :: ClassName -> () #
TextSerializable ClassName Source #
Instance details Defined in Language.JVM.Type Methods parseText :: Parser ClassName Source # toBuilder :: ClassName -> Builder Source # deserialize :: Text -> Either String ClassName Source # serialize :: ClassName -> Text Source #
Referenceable ClassName Source #
Instance details Defined in Language.JVM.Constant Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m ClassName Source # toConst :: Monad m => ClassName -> m (Constant High) Source #
type Rep ClassName Source #
Instance details Defined in Language.JVM.Type type Rep ClassName = D1 ('MetaData "ClassName" "Language.JVM.Type" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "ClassName" 'PrefixI 'True) (S1 ('MetaSel ('Just "classNameAsText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

textCls :: Text -> Either String ClassName Source #

Parses a ClassName from Text, might fail.

textClsOrFail :: Text -> ClassName Source #

Parses a ClassName from String, might fail with an exception. *warning* Unpure.

strClsOrFail :: String -> ClassName Source #

Parses a ClassName from String, might fail with an exception. *warning* Unpure.

dotCls :: Text -> Either String ClassName Source #

Takes the dot representation and converts it into a class.

unsafeTextCls :: Text -> ClassName Source #

Converts a text directly into a ClassName, will fail silently and might corrupt data.

parseClassName :: Parser ClassName Source #

Parse a ClassName, should not be any of '.;[<>:',

>>> deserialize parseClassName "java/lang/Object"
Right "java/lang/Object"

>>> deserialize parseClassName "java;"
Left "endOfInput"

serializeClassName :: ClassName -> Builder Source #

Display a ClassName

JType

data JType Source #

A JType is either a simple type or a Reftype

Constructors

JTBase !JBaseType
JTRef !JRefType

Instances

Instances details

Eq JType Source #
Instance details Defined in Language.JVM.Type Methods (==) :: JType -> JType -> Bool # (/=) :: JType -> JType -> Bool #
Ord JType Source #
Instance details Defined in Language.JVM.Type Methods compare :: JType -> JType -> Ordering # (<) :: JType -> JType -> Bool # (<=) :: JType -> JType -> Bool # (>) :: JType -> JType -> Bool # (>=) :: JType -> JType -> Bool # max :: JType -> JType -> JType # min :: JType -> JType -> JType #
Show JType Source #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> JType -> ShowS # show :: JType -> String # showList :: [JType] -> ShowS #
IsString JType Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> JType #
Generic JType Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep JType :: Type -> Type # Methods from :: JType -> Rep JType x # to :: Rep JType x -> JType #
NFData JType Source #
Instance details Defined in Language.JVM.Type Methods rnf :: JType -> () #
TextSerializable JType Source #
Instance details Defined in Language.JVM.Type Methods parseText :: Parser JType Source # toBuilder :: JType -> Builder Source # deserialize :: Text -> Either String JType Source # serialize :: JType -> Text Source #
type Rep JType Source #
Instance details Defined in Language.JVM.Type type Rep JType = D1 ('MetaData "JType" "Language.JVM.Type" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "JTBase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 JBaseType)) :+: C1 ('MetaCons "JTRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 JRefType)))

jTypeSize :: JType -> Int Source #

jTypes also have different sizes.

parseJType :: Parser JType Source #

Parse a JType

serializeJType :: JType -> Builder Source #

Serialize JType

data JBaseType Source #

The Jvm Primitive Types

Constructors

JTByte
JTChar
JTDouble
JTFloat
JTInt
JTLong
JTShort
JTBoolean

Instances

Instances details

Eq JBaseType Source #
Instance details Defined in Language.JVM.Type Methods (==) :: JBaseType -> JBaseType -> Bool # (/=) :: JBaseType -> JBaseType -> Bool #
Ord JBaseType Source #
Instance details Defined in Language.JVM.Type Methods compare :: JBaseType -> JBaseType -> Ordering # (<) :: JBaseType -> JBaseType -> Bool # (<=) :: JBaseType -> JBaseType -> Bool # (>) :: JBaseType -> JBaseType -> Bool # (>=) :: JBaseType -> JBaseType -> Bool # max :: JBaseType -> JBaseType -> JBaseType # min :: JBaseType -> JBaseType -> JBaseType #
Show JBaseType Source #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> JBaseType -> ShowS # show :: JBaseType -> String # showList :: [JBaseType] -> ShowS #
IsString JBaseType Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> JBaseType #
Generic JBaseType Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep JBaseType :: Type -> Type # Methods from :: JBaseType -> Rep JBaseType x # to :: Rep JBaseType x -> JBaseType #
NFData JBaseType Source #
Instance details Defined in Language.JVM.Type Methods rnf :: JBaseType -> () #
TextSerializable JBaseType Source #
Instance details Defined in Language.JVM.Type Methods parseText :: Parser JBaseType Source # toBuilder :: JBaseType -> Builder Source # deserialize :: Text -> Either String JBaseType Source # serialize :: JBaseType -> Text Source #
type Rep JBaseType Source #
Instance details Defined in Language.JVM.Type type Rep JBaseType = D1 ('MetaData "JBaseType" "Language.JVM.Type" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (((C1 ('MetaCons "JTByte" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JTChar" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "JTDouble" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JTFloat" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "JTInt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JTLong" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "JTShort" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JTBoolean" 'PrefixI 'False) (U1 :: Type -> Type))))

jBaseTypeToChar :: JBaseType -> Char Source #

Get the corresponding Char of a JBaseType

jBaseTypeSize :: JBaseType -> Int Source #

Doubles and Longs have size two in the stack.

parseJBaseType :: Parser JBaseType Source #

Parse a JBaseType

serializeJBaseType :: JBaseType -> Builder Source #

Serializes JBaseType

data JRefType Source #

A JRefType is a Class or an Array.

Constructors

JTClass !ClassName
JTArray !JType

Instances

Instances details

Eq JRefType Source #
Instance details Defined in Language.JVM.Type Methods (==) :: JRefType -> JRefType -> Bool # (/=) :: JRefType -> JRefType -> Bool #
Ord JRefType Source #
Instance details Defined in Language.JVM.Type Methods compare :: JRefType -> JRefType -> Ordering # (<) :: JRefType -> JRefType -> Bool # (<=) :: JRefType -> JRefType -> Bool # (>) :: JRefType -> JRefType -> Bool # (>=) :: JRefType -> JRefType -> Bool # max :: JRefType -> JRefType -> JRefType # min :: JRefType -> JRefType -> JRefType #
Show JRefType Source #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> JRefType -> ShowS # show :: JRefType -> String # showList :: [JRefType] -> ShowS #
IsString JRefType Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> JRefType #
Generic JRefType Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep JRefType :: Type -> Type # Methods from :: JRefType -> Rep JRefType x # to :: Rep JRefType x -> JRefType #
NFData JRefType Source #
Instance details Defined in Language.JVM.Type Methods rnf :: JRefType -> () #
TextSerializable JRefType Source #
Instance details Defined in Language.JVM.Type Methods parseText :: Parser JRefType Source # toBuilder :: JRefType -> Builder Source # deserialize :: Text -> Either String JRefType Source # serialize :: JRefType -> Text Source #
Referenceable JRefType Source #
Instance details Defined in Language.JVM.Constant Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m JRefType Source # toConst :: Monad m => JRefType -> m (Constant High) Source #
type Rep JRefType Source #
Instance details Defined in Language.JVM.Type type Rep JRefType = D1 ('MetaData "JRefType" "Language.JVM.Type" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "JTClass" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ClassName)) :+: C1 ('MetaCons "JTArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 JType)))

refTypeDepth :: JRefType -> Int Source #

The number of nested arrays

parseJRefType :: Parser JRefType Source #

Parses a JRefType

serializeJRefType :: JRefType -> Builder Source #

parseFlatJRefType :: Parser JRefType Source #

Parses a JRefType but does not require an L infront of the class name, and ';' >>> deserialize parseFlatJRefType "javalangObject" Right "LjavalangObject;" >>> deserialize parseFlatJRefType "[I" Right "[I"

serializeFlatJRefType :: JRefType -> Builder Source #

MethodDescriptor

data MethodDescriptor Source #

Method Descriptor

Constructors

MethodDescriptor
Fields methodDescriptorArguments :: ![JType] methodDescriptorReturnType :: !ReturnDescriptor

Instances

Instances details

Eq MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Methods (==) :: MethodDescriptor -> MethodDescriptor -> Bool # (/=) :: MethodDescriptor -> MethodDescriptor -> Bool #
Ord MethodDescriptor Source #
Instance details Defined in Language.JVM.Type 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 #
Show MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> MethodDescriptor -> ShowS # show :: MethodDescriptor -> String # showList :: [MethodDescriptor] -> ShowS #
IsString MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> MethodDescriptor #
Generic MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep MethodDescriptor :: Type -> Type # Methods from :: MethodDescriptor -> Rep MethodDescriptor x # to :: Rep MethodDescriptor x -> MethodDescriptor #
NFData MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Methods rnf :: MethodDescriptor -> () #
TextSerializable MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Methods parseText :: Parser MethodDescriptor Source # toBuilder :: MethodDescriptor -> Builder Source # deserialize :: Text -> Either String MethodDescriptor Source # serialize :: MethodDescriptor -> Text Source #
WithName MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Associated Types type WithNameId MethodDescriptor Source # Methods (<:>) :: Text -> MethodDescriptor -> WithNameId MethodDescriptor Source #
Referenceable MethodDescriptor Source #
Instance details Defined in Language.JVM.Constant Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m MethodDescriptor Source # toConst :: Monad m => MethodDescriptor -> m (Constant High) Source #
type Rep MethodDescriptor Source #
Instance details Defined in Language.JVM.Type type Rep MethodDescriptor = D1 ('MetaData "MethodDescriptor" "Language.JVM.Type" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "MethodDescriptor" 'PrefixI 'True) (S1 ('MetaSel ('Just "methodDescriptorArguments") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [JType]) :*: S1 ('MetaSel ('Just "methodDescriptorReturnType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ReturnDescriptor)))
type WithNameId MethodDescriptor Source #
Instance details Defined in Language.JVM.Type type WithNameId MethodDescriptor = MethodId

parseMethodDescriptor :: Parser MethodDescriptor Source #

A MethodDescriptor is just a list of types

>>> deserialize parseMethodDescriptor "(II)V"
Right "(II)V"

serializeMethodDescriptor :: MethodDescriptor -> Builder Source #

newtype ReturnDescriptor Source #

A ReturnDescriptor is maybe a type, otherwise it is void. https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.3.3

Constructors

ReturnDescriptor
Fields asMaybeJType :: Maybe JType

Instances

Instances details

Eq ReturnDescriptor Source #
Instance details Defined in Language.JVM.Type Methods (==) :: ReturnDescriptor -> ReturnDescriptor -> Bool # (/=) :: ReturnDescriptor -> ReturnDescriptor -> Bool #
Ord ReturnDescriptor Source #
Instance details Defined in Language.JVM.Type 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 #
Show ReturnDescriptor Source #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> ReturnDescriptor -> ShowS # show :: ReturnDescriptor -> String # showList :: [ReturnDescriptor] -> ShowS #
IsString ReturnDescriptor Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> ReturnDescriptor #
Generic ReturnDescriptor Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep ReturnDescriptor :: Type -> Type # Methods from :: ReturnDescriptor -> Rep ReturnDescriptor x # to :: Rep ReturnDescriptor x -> ReturnDescriptor #
NFData ReturnDescriptor Source #
Instance details Defined in Language.JVM.Type Methods rnf :: ReturnDescriptor -> () #
TextSerializable ReturnDescriptor Source #
Instance details Defined in Language.JVM.Type Methods parseText :: Parser ReturnDescriptor Source # toBuilder :: ReturnDescriptor -> Builder Source # deserialize :: Text -> Either String ReturnDescriptor Source # serialize :: ReturnDescriptor -> Text Source #
Referenceable ReturnDescriptor Source #
Instance details Defined in Language.JVM.Constant Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m ReturnDescriptor Source # toConst :: Monad m => ReturnDescriptor -> m (Constant High) Source #
type Rep ReturnDescriptor Source #
Instance details Defined in Language.JVM.Type type Rep ReturnDescriptor = D1 ('MetaData "ReturnDescriptor" "Language.JVM.Type" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "ReturnDescriptor" 'PrefixI 'True) (S1 ('MetaSel ('Just "asMaybeJType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe JType))))

parseReturnDescriptor :: Parser ReturnDescriptor Source #

A ReturnDescriptor is either A JType or A void V annotaiton:

>>> deserialize parseReturnDescriptor "V"
Right Nothing

>>> parseTest parseReturnDescriptor "[I"
Right (Just "[I")

serializeReturnDescriptor :: ReturnDescriptor -> Builder Source #

FieldDescriptor

newtype FieldDescriptor Source #

Field Descriptor

Constructors

FieldDescriptor
Fields fieldDescriptorType :: JType

Instances

Instances details

Eq FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Methods (==) :: FieldDescriptor -> FieldDescriptor -> Bool # (/=) :: FieldDescriptor -> FieldDescriptor -> Bool #
Ord FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Methods compare :: FieldDescriptor -> FieldDescriptor -> Ordering # (<) :: FieldDescriptor -> FieldDescriptor -> Bool # (<=) :: FieldDescriptor -> FieldDescriptor -> Bool # (>) :: FieldDescriptor -> FieldDescriptor -> Bool # (>=) :: FieldDescriptor -> FieldDescriptor -> Bool # max :: FieldDescriptor -> FieldDescriptor -> FieldDescriptor # min :: FieldDescriptor -> FieldDescriptor -> FieldDescriptor #
Show FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> FieldDescriptor -> ShowS # show :: FieldDescriptor -> String # showList :: [FieldDescriptor] -> ShowS #
IsString FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> FieldDescriptor #
Generic FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep FieldDescriptor :: Type -> Type # Methods from :: FieldDescriptor -> Rep FieldDescriptor x # to :: Rep FieldDescriptor x -> FieldDescriptor #
NFData FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Methods rnf :: FieldDescriptor -> () #
TextSerializable FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Methods parseText :: Parser FieldDescriptor Source # toBuilder :: FieldDescriptor -> Builder Source # deserialize :: Text -> Either String FieldDescriptor Source # serialize :: FieldDescriptor -> Text Source #
WithName FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Associated Types type WithNameId FieldDescriptor Source # Methods (<:>) :: Text -> FieldDescriptor -> WithNameId FieldDescriptor Source #
Referenceable FieldDescriptor Source #
Instance details Defined in Language.JVM.Constant Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m FieldDescriptor Source # toConst :: Monad m => FieldDescriptor -> m (Constant High) Source #
type Rep FieldDescriptor Source #
Instance details Defined in Language.JVM.Type type Rep FieldDescriptor = D1 ('MetaData "FieldDescriptor" "Language.JVM.Type" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "FieldDescriptor" 'PrefixI 'True) (S1 ('MetaSel ('Just "fieldDescriptorType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JType)))
type WithNameId FieldDescriptor Source #
Instance details Defined in Language.JVM.Type type WithNameId FieldDescriptor = FieldId

parseFieldDescriptor :: Parser FieldDescriptor Source #

A FieldDescriptor is just a JType

>>> deserialize parseMethodDescriptor "I"
Right "I"

serializeFieldDescriptor :: FieldDescriptor -> Builder Source #

NameAndType

data NameAndType a Source #

A name and a type

Constructors

NameAndType !Text !a

Instances

Instances details

Eq a => Eq (NameAndType a) Source #
Instance details Defined in Language.JVM.Type Methods (==) :: NameAndType a -> NameAndType a -> Bool # (/=) :: NameAndType a -> NameAndType a -> Bool #
Ord a => Ord (NameAndType a) Source #
Instance details Defined in Language.JVM.Type Methods compare :: NameAndType a -> NameAndType a -> Ordering # (<) :: NameAndType a -> NameAndType a -> Bool # (<=) :: NameAndType a -> NameAndType a -> Bool # (>) :: NameAndType a -> NameAndType a -> Bool # (>=) :: NameAndType a -> NameAndType a -> Bool # max :: NameAndType a -> NameAndType a -> NameAndType a # min :: NameAndType a -> NameAndType a -> NameAndType a #
Show a => Show (NameAndType a) Source #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> NameAndType a -> ShowS # show :: NameAndType a -> String # showList :: [NameAndType a] -> ShowS #
Generic (NameAndType a) Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep (NameAndType a) :: Type -> Type # Methods from :: NameAndType a -> Rep (NameAndType a) x # to :: Rep (NameAndType a) x -> NameAndType a #
NFData a => NFData (NameAndType a) Source #
Instance details Defined in Language.JVM.Type Methods rnf :: NameAndType a -> () #
AsNameAndType (NameAndType a) Source #
Instance details Defined in Language.JVM.Type Associated Types type TypeDescriptor (NameAndType a) Source # Methods toNameAndType :: NameAndType a -> NameAndType (TypeDescriptor (NameAndType a)) Source # ntDescriptor :: NameAndType a -> TypeDescriptor (NameAndType a) Source # ntName :: NameAndType a -> Text Source #
TextSerializable a => Referenceable (NameAndType a) Source #
Instance details Defined in Language.JVM.Constant Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (NameAndType a) Source # toConst :: Monad m => NameAndType a -> m (Constant High) Source #
type Rep (NameAndType a) Source #
Instance details Defined in Language.JVM.Type type Rep (NameAndType a) = D1 ('MetaData "NameAndType" "Language.JVM.Type" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "NameAndType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))
type TypeDescriptor (NameAndType a) Source #
Instance details Defined in Language.JVM.Type type TypeDescriptor (NameAndType a) = a

parseNameAndType :: Parser a -> Parser (NameAndType a) Source #

A FieldDescriptor is just a JType

>>> deserialize (parseNameAndType parseMethodDescriptor) "method:(I)V"
Right "method:(I)V"

serializeNameAndType :: (a -> Builder) -> NameAndType a -> Builder Source #

class WithName n where Source #

Associated Types

type WithNameId n Source #

Methods

(<:>) :: Text -> n -> WithNameId n Source #

Instances

Instances details

WithName FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Associated Types type WithNameId FieldDescriptor Source # Methods (<:>) :: Text -> FieldDescriptor -> WithNameId FieldDescriptor Source #
WithName MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Associated Types type WithNameId MethodDescriptor Source # Methods (<:>) :: Text -> MethodDescriptor -> WithNameId MethodDescriptor Source #

class AsNameAndType n where Source #

Minimal complete definition

toNameAndType

Associated Types

type TypeDescriptor n Source #

Methods

toNameAndType :: n -> NameAndType (TypeDescriptor n) Source #

ntDescriptor :: n -> TypeDescriptor n Source #

ntName :: n -> Text Source #

Instances

Instances details

AsNameAndType MethodId Source #
Instance details Defined in Language.JVM.Type Associated Types type TypeDescriptor MethodId Source # Methods toNameAndType :: MethodId -> NameAndType (TypeDescriptor MethodId) Source # ntDescriptor :: MethodId -> TypeDescriptor MethodId Source # ntName :: MethodId -> Text Source #
AsNameAndType FieldId Source #
Instance details Defined in Language.JVM.Type Associated Types type TypeDescriptor FieldId Source # Methods toNameAndType :: FieldId -> NameAndType (TypeDescriptor FieldId) Source # ntDescriptor :: FieldId -> TypeDescriptor FieldId Source # ntName :: FieldId -> Text Source #
AsNameAndType (NameAndType a) Source #
Instance details Defined in Language.JVM.Type Associated Types type TypeDescriptor (NameAndType a) Source # Methods toNameAndType :: NameAndType a -> NameAndType (TypeDescriptor (NameAndType a)) Source # ntDescriptor :: NameAndType a -> TypeDescriptor (NameAndType a) Source # ntName :: NameAndType a -> Text Source #

MethodId

newtype MethodId Source #

A MethodId

Constructors

MethodId
Fields methodIdAsNameAndType :: NameAndType MethodDescriptor

Instances

Instances details

Eq MethodId Source #
Instance details Defined in Language.JVM.Type Methods (==) :: MethodId -> MethodId -> Bool # (/=) :: MethodId -> MethodId -> Bool #
Ord MethodId Source #
Instance details Defined in Language.JVM.Type Methods compare :: MethodId -> MethodId -> Ordering # (<) :: MethodId -> MethodId -> Bool # (<=) :: MethodId -> MethodId -> Bool # (>) :: MethodId -> MethodId -> Bool # (>=) :: MethodId -> MethodId -> Bool # max :: MethodId -> MethodId -> MethodId # min :: MethodId -> MethodId -> MethodId #
Show MethodId Source #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> MethodId -> ShowS # show :: MethodId -> String # showList :: [MethodId] -> ShowS #
IsString MethodId Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> MethodId #
Generic MethodId Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep MethodId :: Type -> Type # Methods from :: MethodId -> Rep MethodId x # to :: Rep MethodId x -> MethodId #
NFData MethodId Source #
Instance details Defined in Language.JVM.Type Methods rnf :: MethodId -> () #
TextSerializable MethodId Source #
Instance details Defined in Language.JVM.Type Methods parseText :: Parser MethodId Source # toBuilder :: MethodId -> Builder Source # deserialize :: Text -> Either String MethodId Source # serialize :: MethodId -> Text Source #
AsNameAndType MethodId Source #
Instance details Defined in Language.JVM.Type Associated Types type TypeDescriptor MethodId Source # Methods toNameAndType :: MethodId -> NameAndType (TypeDescriptor MethodId) Source # ntDescriptor :: MethodId -> TypeDescriptor MethodId Source # ntName :: MethodId -> Text Source #
Referenceable MethodId Source #
Instance details Defined in Language.JVM.Constant Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m MethodId Source # toConst :: Monad m => MethodId -> m (Constant High) Source #
Referenceable (InRefType MethodId) Source #
Instance details Defined in Language.JVM.Constant Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InRefType MethodId) Source # toConst :: Monad m => InRefType MethodId -> m (Constant High) Source #
type Rep MethodId Source #
Instance details Defined in Language.JVM.Type type Rep MethodId = D1 ('MetaData "MethodId" "Language.JVM.Type" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "MethodId" 'PrefixI 'True) (S1 ('MetaSel ('Just "methodIdAsNameAndType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NameAndType MethodDescriptor))))
type TypeDescriptor MethodId Source #
Instance details Defined in Language.JVM.Type type TypeDescriptor MethodId = MethodDescriptor

parseMethodId :: Parser MethodId Source #

serializeMethodId :: MethodId -> Builder Source #

FieldId

newtype FieldId Source #

A FieldId

Constructors

FieldId
Fields fieldIdAsNameAndType :: NameAndType FieldDescriptor

Instances

Instances details

Eq FieldId Source #
Instance details Defined in Language.JVM.Type Methods (==) :: FieldId -> FieldId -> Bool # (/=) :: FieldId -> FieldId -> Bool #
Ord FieldId Source #
Instance details Defined in Language.JVM.Type Methods compare :: FieldId -> FieldId -> Ordering # (<) :: FieldId -> FieldId -> Bool # (<=) :: FieldId -> FieldId -> Bool # (>) :: FieldId -> FieldId -> Bool # (>=) :: FieldId -> FieldId -> Bool # max :: FieldId -> FieldId -> FieldId # min :: FieldId -> FieldId -> FieldId #
Show FieldId Source #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> FieldId -> ShowS # show :: FieldId -> String # showList :: [FieldId] -> ShowS #
IsString FieldId Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> FieldId #
Generic FieldId Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep FieldId :: Type -> Type # Methods from :: FieldId -> Rep FieldId x # to :: Rep FieldId x -> FieldId #
NFData FieldId Source #
Instance details Defined in Language.JVM.Type Methods rnf :: FieldId -> () #
TextSerializable FieldId Source #
Instance details Defined in Language.JVM.Type Methods parseText :: Parser FieldId Source # toBuilder :: FieldId -> Builder Source # deserialize :: Text -> Either String FieldId Source # serialize :: FieldId -> Text Source #
AsNameAndType FieldId Source #
Instance details Defined in Language.JVM.Type Associated Types type TypeDescriptor FieldId Source # Methods toNameAndType :: FieldId -> NameAndType (TypeDescriptor FieldId) Source # ntDescriptor :: FieldId -> TypeDescriptor FieldId Source # ntName :: FieldId -> Text Source #
Referenceable FieldId Source #
Instance details Defined in Language.JVM.Constant Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m FieldId Source # toConst :: Monad m => FieldId -> m (Constant High) Source #
type Rep FieldId Source #
Instance details Defined in Language.JVM.Type type Rep FieldId = D1 ('MetaData "FieldId" "Language.JVM.Type" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "FieldId" 'PrefixI 'True) (S1 ('MetaSel ('Just "fieldIdAsNameAndType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NameAndType FieldDescriptor))))
type TypeDescriptor FieldId Source #
Instance details Defined in Language.JVM.Type type TypeDescriptor FieldId = FieldDescriptor

parseFieldId :: Parser FieldId Source #

serializeFieldId :: FieldId -> Builder Source #

InClass

data InClass a Source #

A method or Field in a Class

Constructors

InClass
Fields inClassName :: !ClassName inClassId :: !a

Instances

Instances details

Eq a => Eq (InClass a) Source #
Instance details Defined in Language.JVM.Type Methods (==) :: InClass a -> InClass a -> Bool # (/=) :: InClass a -> InClass a -> Bool #
Ord a => Ord (InClass a) Source #
Instance details Defined in Language.JVM.Type Methods compare :: InClass a -> InClass a -> Ordering # (<) :: InClass a -> InClass a -> Bool # (<=) :: InClass a -> InClass a -> Bool # (>) :: InClass a -> InClass a -> Bool # (>=) :: InClass a -> InClass a -> Bool # max :: InClass a -> InClass a -> InClass a # min :: InClass a -> InClass a -> InClass a #
Show a => Show (InClass a) Source #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> InClass a -> ShowS # show :: InClass a -> String # showList :: [InClass a] -> ShowS #
Generic (InClass a) Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep (InClass a) :: Type -> Type # Methods from :: InClass a -> Rep (InClass a) x # to :: Rep (InClass a) x -> InClass a #
NFData a => NFData (InClass a) Source #
Instance details Defined in Language.JVM.Type Methods rnf :: InClass a -> () #
type Rep (InClass a) Source #
Instance details Defined in Language.JVM.Type type Rep (InClass a) = D1 ('MetaData "InClass" "Language.JVM.Type" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "InClass" 'PrefixI 'True) (S1 ('MetaSel ('Just "inClassName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ClassName) :*: S1 ('MetaSel ('Just "inClassId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

parseInClass :: Parser a -> Parser (InClass a) Source #

serializeInClass :: (a -> Builder) -> InClass a -> Builder Source #

InRefType

data InRefType a Source #

A method or Field in a Class

Constructors

InRefType
Fields inRefType :: !JRefType inRefTypeId :: !a

Instances

Instances details

Eq a => Eq (InRefType a) Source #
Instance details Defined in Language.JVM.Type Methods (==) :: InRefType a -> InRefType a -> Bool # (/=) :: InRefType a -> InRefType a -> Bool #
Ord a => Ord (InRefType a) Source #
Instance details Defined in Language.JVM.Type Methods compare :: InRefType a -> InRefType a -> Ordering # (<) :: InRefType a -> InRefType a -> Bool # (<=) :: InRefType a -> InRefType a -> Bool # (>) :: InRefType a -> InRefType a -> Bool # (>=) :: InRefType a -> InRefType a -> Bool # max :: InRefType a -> InRefType a -> InRefType a # min :: InRefType a -> InRefType a -> InRefType a #
Show a => Show (InRefType a) Source #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> InRefType a -> ShowS # show :: InRefType a -> String # showList :: [InRefType a] -> ShowS #
Generic (InRefType a) Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep (InRefType a) :: Type -> Type # Methods from :: InRefType a -> Rep (InRefType a) x # to :: Rep (InRefType a) x -> InRefType a #
NFData a => NFData (InRefType a) Source #
Instance details Defined in Language.JVM.Type Methods rnf :: InRefType a -> () #
Referenceable (InRefType MethodId) Source #
Instance details Defined in Language.JVM.Constant Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (InRefType MethodId) Source # toConst :: Monad m => InRefType MethodId -> m (Constant High) Source #
type Rep (InRefType a) Source #
Instance details Defined in Language.JVM.Type type Rep (InRefType a) = D1 ('MetaData "InRefType" "Language.JVM.Type" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "InRefType" 'PrefixI 'True) (S1 ('MetaSel ('Just "inRefType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 JRefType) :*: S1 ('MetaSel ('Just "inRefTypeId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

parseInRefType :: Parser a -> Parser (InRefType a) Source #

serializeInRefType :: (a -> Builder) -> InRefType a -> Builder Source #

inRefTypeAsInClass :: InRefType a -> InClass a Source #

Convert a InRefType to a InClass by casting all arrays to classes.

AbsMethodId

newtype AbsMethodId Source #

A MethodId

Constructors

AbsMethodId
Fields absMethodAsInClass :: InClass MethodId

Instances

Instances details

Eq AbsMethodId Source #
Instance details Defined in Language.JVM.Type Methods (==) :: AbsMethodId -> AbsMethodId -> Bool # (/=) :: AbsMethodId -> AbsMethodId -> Bool #
Ord AbsMethodId Source #
Instance details Defined in Language.JVM.Type Methods compare :: AbsMethodId -> AbsMethodId -> Ordering # (<) :: AbsMethodId -> AbsMethodId -> Bool # (<=) :: AbsMethodId -> AbsMethodId -> Bool # (>) :: AbsMethodId -> AbsMethodId -> Bool # (>=) :: AbsMethodId -> AbsMethodId -> Bool # max :: AbsMethodId -> AbsMethodId -> AbsMethodId # min :: AbsMethodId -> AbsMethodId -> AbsMethodId #
Show AbsMethodId Source #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> AbsMethodId -> ShowS # show :: AbsMethodId -> String # showList :: [AbsMethodId] -> ShowS #
IsString AbsMethodId Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> AbsMethodId #
Generic AbsMethodId Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep AbsMethodId :: Type -> Type # Methods from :: AbsMethodId -> Rep AbsMethodId x # to :: Rep AbsMethodId x -> AbsMethodId #
NFData AbsMethodId Source #
Instance details Defined in Language.JVM.Type Methods rnf :: AbsMethodId -> () #
TextSerializable AbsMethodId Source #
Instance details Defined in Language.JVM.Type Methods parseText :: Parser AbsMethodId Source # toBuilder :: AbsMethodId -> Builder Source # deserialize :: Text -> Either String AbsMethodId Source # serialize :: AbsMethodId -> Text Source #
type Rep AbsMethodId Source #
Instance details Defined in Language.JVM.Type type Rep AbsMethodId = D1 ('MetaData "AbsMethodId" "Language.JVM.Type" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "AbsMethodId" 'PrefixI 'True) (S1 ('MetaSel ('Just "absMethodAsInClass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InClass MethodId))))

parseAbsMethodId :: Parser AbsMethodId Source #

serializeAbsMethodId :: AbsMethodId -> Builder Source #

AbsFieldId

newtype AbsFieldId Source #

A FieldId

Constructors

AbsFieldId
Fields absFieldAsInClass :: InClass FieldId

Instances

Instances details

Eq AbsFieldId Source #
Instance details Defined in Language.JVM.Type Methods (==) :: AbsFieldId -> AbsFieldId -> Bool # (/=) :: AbsFieldId -> AbsFieldId -> Bool #
Ord AbsFieldId Source #
Instance details Defined in Language.JVM.Type Methods compare :: AbsFieldId -> AbsFieldId -> Ordering # (<) :: AbsFieldId -> AbsFieldId -> Bool # (<=) :: AbsFieldId -> AbsFieldId -> Bool # (>) :: AbsFieldId -> AbsFieldId -> Bool # (>=) :: AbsFieldId -> AbsFieldId -> Bool # max :: AbsFieldId -> AbsFieldId -> AbsFieldId # min :: AbsFieldId -> AbsFieldId -> AbsFieldId #
Show AbsFieldId Source #
Instance details Defined in Language.JVM.Type Methods showsPrec :: Int -> AbsFieldId -> ShowS # show :: AbsFieldId -> String # showList :: [AbsFieldId] -> ShowS #
IsString AbsFieldId Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> AbsFieldId #
Generic AbsFieldId Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep AbsFieldId :: Type -> Type # Methods from :: AbsFieldId -> Rep AbsFieldId x # to :: Rep AbsFieldId x -> AbsFieldId #
NFData AbsFieldId Source #
Instance details Defined in Language.JVM.Type Methods rnf :: AbsFieldId -> () #
TextSerializable AbsFieldId Source #
Instance details Defined in Language.JVM.Type Methods parseText :: Parser AbsFieldId Source # toBuilder :: AbsFieldId -> Builder Source # deserialize :: Text -> Either String AbsFieldId Source # serialize :: AbsFieldId -> Text Source #
Referenceable AbsFieldId Source #
Instance details Defined in Language.JVM.Constant Methods fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m AbsFieldId Source # toConst :: Monad m => AbsFieldId -> m (Constant High) Source #
type Rep AbsFieldId Source #
Instance details Defined in Language.JVM.Type type Rep AbsFieldId = D1 ('MetaData "AbsFieldId" "Language.JVM.Type" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "AbsFieldId" 'PrefixI 'True) (S1 ('MetaSel ('Just "absFieldAsInClass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InClass FieldId))))

parseAbsFieldId :: Parser AbsFieldId Source #

serializeAbsFieldId :: AbsFieldId -> Builder Source #

Re-export

module Language.JVM.TextSerializable