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

Language.JVM.Type

Contents

Base types

Description

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

Synopsis

newtype ClassName = ClassName {
- classNameAsText :: Text
}
strCls :: String -> ClassName
dotCls :: Text -> ClassName
data JType
- = JTBase JBaseType
- | JTClass ClassName
- | JTArray JType
data JBaseType
- = JTByte
- | JTChar
- | JTDouble
- | JTFloat
- | JTInt
- | JTLong
- | JTShort
- | JTBoolean
jBaseTypeP :: Parser JBaseType
jBaseTypeToChar :: JBaseType -> Char
data MethodDescriptor = MethodDescriptor {
- methodDescriptorArguments :: [JType]
- methodDescriptorReturnType :: Maybe JType
}
newtype FieldDescriptor = FieldDescriptor {
- fieldDescriptorType :: JType
}
data NameAndType a = NameAndType {
- ntName :: Text
- ntDescriptor :: a
}
(<:>) :: Text -> a -> NameAndType a
class TypeParse a where

Base types

ClassName

newtype ClassName Source #

A class name

Constructors

ClassName
Fields classNameAsText :: Text

Instances

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 :: * -> * # Methods from :: ClassName -> Rep ClassName x # to :: Rep ClassName x -> ClassName #
NFData ClassName Source #
Instance details Defined in Language.JVM.Type Methods rnf :: ClassName -> () #
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.2.0-ADCW9RHs0rpAV30EV0jcz6" True) (C1 (MetaCons "ClassName" PrefixI True) (S1 (MetaSel (Just "classNameAsText") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

strCls :: String -> ClassName Source #

Wrapper method that converts a string representation of a class into a class.

dotCls :: Text -> ClassName Source #

Takes the dot representation and converts it into a class.

JType

data JType Source #

The JVM types

Constructors

JTBase JBaseType
JTClass ClassName
JTArray JType

Instances

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 :: * -> * # Methods from :: JType -> Rep JType x # to :: Rep JType x -> JType #
NFData JType Source #
Instance details Defined in Language.JVM.Type Methods rnf :: JType -> () #
TypeParse JType Source #
Instance details Defined in Language.JVM.Type Methods fromText :: Text -> Either String JType Source # parseText :: Parser JType Source # toText :: 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.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "JTBase" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JBaseType)) :+: (C1 (MetaCons "JTClass" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ClassName)) :+: C1 (MetaCons "JTArray" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JType))))

data JBaseType Source #

The Jvm Primitive Types

Constructors

JTByte
JTChar
JTDouble
JTFloat
JTInt
JTLong
JTShort
JTBoolean

Instances

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 #
Generic JBaseType Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep JBaseType :: * -> * # Methods from :: JBaseType -> Rep JBaseType x # to :: Rep JBaseType x -> JBaseType #
NFData JBaseType Source #
Instance details Defined in Language.JVM.Type Methods rnf :: JBaseType -> () #
type Rep JBaseType Source #
Instance details Defined in Language.JVM.Type type Rep JBaseType = D1 (MetaData "JBaseType" "Language.JVM.Type" "jvm-binary-0.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (((C1 (MetaCons "JTByte" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "JTChar" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "JTDouble" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "JTFloat" PrefixI False) (U1 :: -> ))) :+: ((C1 (MetaCons "JTInt" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "JTLong" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "JTShort" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "JTBoolean" PrefixI False) (U1 :: -> *))))

jBaseTypeP :: Parser JBaseType Source #

jBaseTypeToChar :: JBaseType -> Char Source #

MethodDescriptor

data MethodDescriptor Source #

Method Descriptor

Constructors

MethodDescriptor
Fields methodDescriptorArguments :: [JType] methodDescriptorReturnType :: Maybe JType

Instances

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 :: * -> * # Methods from :: MethodDescriptor -> Rep MethodDescriptor x # to :: Rep MethodDescriptor x -> MethodDescriptor #
NFData MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Methods rnf :: MethodDescriptor -> () #
TypeParse MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Methods fromText :: Text -> Either String MethodDescriptor Source # parseText :: Parser MethodDescriptor Source # toText :: MethodDescriptor -> Text 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.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "MethodDescriptor" PrefixI True) (S1 (MetaSel (Just "methodDescriptorArguments") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [JType]) :*: S1 (MetaSel (Just "methodDescriptorReturnType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe JType))))

FieldDescriptor

newtype FieldDescriptor Source #

Field Descriptor

Constructors

FieldDescriptor
Fields fieldDescriptorType :: JType

Instances

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 :: * -> * # Methods from :: FieldDescriptor -> Rep FieldDescriptor x # to :: Rep FieldDescriptor x -> FieldDescriptor #
NFData FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Methods rnf :: FieldDescriptor -> () #
TypeParse FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Methods fromText :: Text -> Either String FieldDescriptor Source # parseText :: Parser FieldDescriptor Source # toText :: FieldDescriptor -> Text 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.2.0-ADCW9RHs0rpAV30EV0jcz6" True) (C1 (MetaCons "FieldDescriptor" PrefixI True) (S1 (MetaSel (Just "fieldDescriptorType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JType)))

NameAndType

data NameAndType a Source #

A name and a type

Constructors

NameAndType
Fields ntName :: Text ntDescriptor :: a

Instances

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 #
TypeParse t => IsString (NameAndType t) Source #
Instance details Defined in Language.JVM.Type Methods fromString :: String -> NameAndType t #
Generic (NameAndType a) Source #
Instance details Defined in Language.JVM.Type Associated Types type Rep (NameAndType a) :: * -> * # 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 -> () #
TypeParse t => TypeParse (NameAndType t) Source #
Instance details Defined in Language.JVM.Type Methods fromText :: Text -> Either String (NameAndType t) Source # parseText :: Parser (NameAndType t) Source # toText :: NameAndType t -> Text Source #
TypeParse 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.2.0-ADCW9RHs0rpAV30EV0jcz6" False) (C1 (MetaCons "NameAndType" PrefixI True) (S1 (MetaSel (Just "ntName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "ntDescriptor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

(<:>) :: Text -> a -> NameAndType a Source #

class TypeParse a where Source #

Minimal complete definition

parseText, toText

Methods

fromText :: Text -> Either String a Source #

parseText :: Parser a Source #

toText :: a -> Text Source #

Instances

TypeParse FieldDescriptor Source #
Instance details Defined in Language.JVM.Type Methods fromText :: Text -> Either String FieldDescriptor Source # parseText :: Parser FieldDescriptor Source # toText :: FieldDescriptor -> Text Source #
TypeParse MethodDescriptor Source #
Instance details Defined in Language.JVM.Type Methods fromText :: Text -> Either String MethodDescriptor Source # parseText :: Parser MethodDescriptor Source # toText :: MethodDescriptor -> Text Source #
TypeParse JType Source #
Instance details Defined in Language.JVM.Type Methods fromText :: Text -> Either String JType Source # parseText :: Parser JType Source # toText :: JType -> Text Source #
TypeParse t => TypeParse (NameAndType t) Source #
Instance details Defined in Language.JVM.Type Methods fromText :: Text -> Either String (NameAndType t) Source # parseText :: Parser (NameAndType t) Source # toText :: NameAndType t -> Text Source #