Language.JVM.Type

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

Base types

ClassName

newtype ClassName

A class name

Constructors

ClassName

Fields

• classNameAsText :: Text

Instances

Eq ClassName

Methods

(==) :: ClassName -> ClassName -> Bool

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

Ord ClassName

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

Methods

showsPrec :: Int -> ClassName -> ShowS

show :: ClassName -> String

showList :: [ClassName] -> ShowS

IsString ClassName

Methods

fromString :: String -> ClassName

Generic ClassName

Associated Types

type Rep ClassName :: * -> *

Methods

from :: ClassName -> Rep ClassName x

to :: Rep ClassName x -> ClassName

NFData ClassName

Methods

rnf :: ClassName -> ()

Referenceable ClassName

Methods

fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m ClassName

toConst :: Monad m => ClassName -> m (Constant High)

type Rep ClassName

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

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

dotCls :: Text -> ClassName

Takes the dot representation and converts it into a class.

JType

data JType

The JVM types

Constructors

JTBase JBaseType

JTClass ClassName

JTArray JType

Instances

Eq JType

Methods

(==) :: JType -> JType -> Bool

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

Ord JType

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

Methods

showsPrec :: Int -> JType -> ShowS

show :: JType -> String

showList :: [JType] -> ShowS

IsString JType

Methods

fromString :: String -> JType

Generic JType

Associated Types

type Rep JType :: * -> *

Methods

from :: JType -> Rep JType x

to :: Rep JType x -> JType

NFData JType

Methods

rnf :: JType -> ()

TypeParse JType

Methods

fromText :: Text -> Either String JType

parseText :: Parser JType

toText :: JType -> Text

type Rep JType

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

The Jvm Primitive Types

Constructors

JTByte

JTChar

JTDouble

JTFloat

JTInt

JTLong

JTShort

JTBoolean

Instances

Eq JBaseType

Methods

(==) :: JBaseType -> JBaseType -> Bool

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

Ord JBaseType

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

Methods

showsPrec :: Int -> JBaseType -> ShowS

show :: JBaseType -> String

showList :: [JBaseType] -> ShowS

Generic JBaseType

Associated Types

type Rep JBaseType :: * -> *

Methods

from :: JBaseType -> Rep JBaseType x

to :: Rep JBaseType x -> JBaseType

NFData JBaseType

Methods

rnf :: JBaseType -> ()

type Rep JBaseType

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

Method Descriptor

Constructors

MethodDescriptor

Fields

• methodDescriptorArguments :: [JType]
• methodDescriptorReturnType :: Maybe JType

Instances

Eq MethodDescriptor

Methods

(==) :: MethodDescriptor -> MethodDescriptor -> Bool

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

Ord MethodDescriptor

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

Methods

showsPrec :: Int -> MethodDescriptor -> ShowS

show :: MethodDescriptor -> String

showList :: [MethodDescriptor] -> ShowS

IsString MethodDescriptor

Methods

fromString :: String -> MethodDescriptor

Generic MethodDescriptor

Associated Types

type Rep MethodDescriptor :: * -> *

Methods

from :: MethodDescriptor -> Rep MethodDescriptor x

to :: Rep MethodDescriptor x -> MethodDescriptor

NFData MethodDescriptor

Methods

rnf :: MethodDescriptor -> ()

TypeParse MethodDescriptor

Methods

fromText :: Text -> Either String MethodDescriptor

parseText :: Parser MethodDescriptor

toText :: MethodDescriptor -> Text

Referenceable MethodDescriptor

Methods

fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m MethodDescriptor

toConst :: Monad m => MethodDescriptor -> m (Constant High)

type Rep MethodDescriptor

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

Field Descriptor

Constructors

FieldDescriptor

Fields

• fieldDescriptorType :: JType

Instances

Eq FieldDescriptor

Methods

(==) :: FieldDescriptor -> FieldDescriptor -> Bool

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

Ord FieldDescriptor

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

Methods

showsPrec :: Int -> FieldDescriptor -> ShowS

show :: FieldDescriptor -> String

showList :: [FieldDescriptor] -> ShowS

IsString FieldDescriptor

Methods

fromString :: String -> FieldDescriptor

Generic FieldDescriptor

Associated Types

type Rep FieldDescriptor :: * -> *

Methods

from :: FieldDescriptor -> Rep FieldDescriptor x

to :: Rep FieldDescriptor x -> FieldDescriptor

NFData FieldDescriptor

Methods

rnf :: FieldDescriptor -> ()

TypeParse FieldDescriptor

Methods

fromText :: Text -> Either String FieldDescriptor

parseText :: Parser FieldDescriptor

toText :: FieldDescriptor -> Text

Referenceable FieldDescriptor

Methods

fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m FieldDescriptor

toConst :: Monad m => FieldDescriptor -> m (Constant High)

type Rep FieldDescriptor

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

A name and a type

Constructors

NameAndType

Fields

• ntName :: Text
• ntDescriptor :: a

Instances

Eq a => Eq (NameAndType a)

Methods

(==) :: NameAndType a -> NameAndType a -> Bool

(/=) :: NameAndType a -> NameAndType a -> Bool

Ord a => Ord (NameAndType a)

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)

Methods

showsPrec :: Int -> NameAndType a -> ShowS

show :: NameAndType a -> String

showList :: [NameAndType a] -> ShowS

TypeParse t => IsString (NameAndType t)

Methods

fromString :: String -> NameAndType t

Generic (NameAndType a)

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)

Methods

rnf :: NameAndType a -> ()

TypeParse t => TypeParse (NameAndType t)

Methods

fromText :: Text -> Either String (NameAndType t)

parseText :: Parser (NameAndType t)

toText :: NameAndType t -> Text

TypeParse a => Referenceable (NameAndType a)

Methods

fromConst :: Monad m => (forall a'. String -> m a') -> Constant High -> m (NameAndType a)

toConst :: Monad m => NameAndType a -> m (Constant High)

type Rep (NameAndType a)

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

class TypeParse a where

Minimal complete definition

parseText, toText

Methods

fromText :: Text -> Either String a

parseText :: Parser a

toText :: a -> Text

Instances

TypeParse FieldDescriptor

Methods

fromText :: Text -> Either String FieldDescriptor

parseText :: Parser FieldDescriptor

toText :: FieldDescriptor -> Text

TypeParse MethodDescriptor

Methods

fromText :: Text -> Either String MethodDescriptor

parseText :: Parser MethodDescriptor

toText :: MethodDescriptor -> Text

TypeParse JType

Methods

fromText :: Text -> Either String JType

parseText :: Parser JType

toText :: JType -> Text

TypeParse t => TypeParse (NameAndType t)

Methods

fromText :: Text -> Either String (NameAndType t)

parseText :: Parser (NameAndType t)

toText :: NameAndType t -> Text