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

Base types

ClassName

newtype ClassName Source #

A class name

Constructors

ClassName
Fields classNameAsText :: Text

Instances

Eq ClassName Source #
Methods (==) :: ClassName -> ClassName -> Bool # (/=) :: ClassName -> ClassName -> Bool #
Ord ClassName Source #
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 #
Methods showsPrec :: Int -> ClassName -> ShowS # show :: ClassName -> String # showList :: [ClassName] -> ShowS #
IsString ClassName Source #
Methods fromString :: String -> ClassName #
Generic ClassName Source #
Associated Types type Rep ClassName :: * -> * # Methods from :: ClassName -> Rep ClassName x # to :: Rep ClassName x -> ClassName #
NFData ClassName Source #
Methods rnf :: ClassName -> () #
Referenceable ClassName Source #
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 #
type Rep ClassName = D1 * (MetaData "ClassName" "Language.JVM.Type" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "ClassName" PrefixI True) (S1 * (MetaSel (Just Symbol "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 #
Methods (==) :: JType -> JType -> Bool # (/=) :: JType -> JType -> Bool #
Ord JType Source #
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 #
Methods showsPrec :: Int -> JType -> ShowS # show :: JType -> String # showList :: [JType] -> ShowS #
IsString JType Source #
Methods fromString :: String -> JType #
Generic JType Source #
Associated Types type Rep JType :: * -> * # Methods from :: JType -> Rep JType x # to :: Rep JType x -> JType #
NFData JType Source #
Methods rnf :: JType -> () #
TypeParse JType Source #
Methods fromText :: Text -> Either String JType Source # parseText :: Parser JType Source # toText :: JType -> Text Source #
type Rep JType Source #
type Rep JType = D1 * (MetaData "JType" "Language.JVM.Type" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * (C1 * (MetaCons "JTBase" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * JBaseType))) ((:+:) * (C1 * (MetaCons "JTClass" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ClassName))) (C1 * (MetaCons "JTArray" PrefixI False) (S1 * (MetaSel (Nothing 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 #
Methods (==) :: JBaseType -> JBaseType -> Bool # (/=) :: JBaseType -> JBaseType -> Bool #
Ord JBaseType Source #
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 #
Methods showsPrec :: Int -> JBaseType -> ShowS # show :: JBaseType -> String # showList :: [JBaseType] -> ShowS #
Generic JBaseType Source #
Associated Types type Rep JBaseType :: * -> * # Methods from :: JBaseType -> Rep JBaseType x # to :: Rep JBaseType x -> JBaseType #
NFData JBaseType Source #
Methods rnf :: JBaseType -> () #
type Rep JBaseType Source #
type Rep JBaseType = D1 * (MetaData "JBaseType" "Language.JVM.Type" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" 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 *)))))

MethodDescriptor

data MethodDescriptor Source #

Method Descriptor

Constructors

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

Instances

Eq MethodDescriptor Source #
Methods (==) :: MethodDescriptor -> MethodDescriptor -> Bool # (/=) :: MethodDescriptor -> MethodDescriptor -> Bool #
Ord MethodDescriptor Source #
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 #
Methods showsPrec :: Int -> MethodDescriptor -> ShowS # show :: MethodDescriptor -> String # showList :: [MethodDescriptor] -> ShowS #
IsString MethodDescriptor Source #
Methods fromString :: String -> MethodDescriptor #
Generic MethodDescriptor Source #
Associated Types type Rep MethodDescriptor :: * -> * # Methods from :: MethodDescriptor -> Rep MethodDescriptor x # to :: Rep MethodDescriptor x -> MethodDescriptor #
NFData MethodDescriptor Source #
Methods rnf :: MethodDescriptor -> () #
TypeParse MethodDescriptor Source #
Methods fromText :: Text -> Either String MethodDescriptor Source # parseText :: Parser MethodDescriptor Source # toText :: MethodDescriptor -> Text Source #
Referenceable MethodDescriptor Source #
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 #
type Rep MethodDescriptor = D1 * (MetaData "MethodDescriptor" "Language.JVM.Type" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "MethodDescriptor" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "methodDescriptorArguments") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [JType])) (S1 * (MetaSel (Just Symbol "methodDescriptorReturnType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe JType)))))

FieldDescriptor

newtype FieldDescriptor Source #

Field Descriptor

Constructors

FieldDescriptor
Fields fieldDescriptorType :: JType

Instances

Eq FieldDescriptor Source #
Methods (==) :: FieldDescriptor -> FieldDescriptor -> Bool # (/=) :: FieldDescriptor -> FieldDescriptor -> Bool #
Ord FieldDescriptor Source #
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 #
Methods showsPrec :: Int -> FieldDescriptor -> ShowS # show :: FieldDescriptor -> String # showList :: [FieldDescriptor] -> ShowS #
IsString FieldDescriptor Source #
Methods fromString :: String -> FieldDescriptor #
Generic FieldDescriptor Source #
Associated Types type Rep FieldDescriptor :: * -> * # Methods from :: FieldDescriptor -> Rep FieldDescriptor x # to :: Rep FieldDescriptor x -> FieldDescriptor #
NFData FieldDescriptor Source #
Methods rnf :: FieldDescriptor -> () #
TypeParse FieldDescriptor Source #
Methods fromText :: Text -> Either String FieldDescriptor Source # parseText :: Parser FieldDescriptor Source # toText :: FieldDescriptor -> Text Source #
Referenceable FieldDescriptor Source #
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 #
type Rep FieldDescriptor = D1 * (MetaData "FieldDescriptor" "Language.JVM.Type" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "FieldDescriptor" PrefixI True) (S1 * (MetaSel (Just Symbol "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 #
Methods (==) :: NameAndType a -> NameAndType a -> Bool # (/=) :: NameAndType a -> NameAndType a -> Bool #
Ord a => Ord (NameAndType a) Source #
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 #
Methods showsPrec :: Int -> NameAndType a -> ShowS # show :: NameAndType a -> String # showList :: [NameAndType a] -> ShowS #
TypeParse t => IsString (NameAndType t) Source #
Methods fromString :: String -> NameAndType t #
Generic (NameAndType a) Source #
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 #
Methods rnf :: NameAndType a -> () #
TypeParse t => TypeParse (NameAndType t) Source #
Methods fromText :: Text -> Either String (NameAndType t) Source # parseText :: Parser (NameAndType t) Source # toText :: NameAndType t -> Text Source #
TypeParse a => Referenceable (NameAndType a) Source #
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 #
type Rep (NameAndType a) = D1 * (MetaData "NameAndType" "Language.JVM.Type" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "NameAndType" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "ntName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "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 #
Methods fromText :: Text -> Either String FieldDescriptor Source # parseText :: Parser FieldDescriptor Source # toText :: FieldDescriptor -> Text Source #
TypeParse MethodDescriptor Source #
Methods fromText :: Text -> Either String MethodDescriptor Source # parseText :: Parser MethodDescriptor Source # toText :: MethodDescriptor -> Text Source #
TypeParse JType Source #
Methods fromText :: Text -> Either String JType Source # parseText :: Parser JType Source # toText :: JType -> Text Source #
TypeParse t => TypeParse (NameAndType t) Source #
Methods fromText :: Text -> Either String (NameAndType t) Source # parseText :: Parser (NameAndType t) Source # toText :: NameAndType t -> Text Source #