Copyright | (c) Christian Gram Kalhauge 2018 |
---|---|
License | MIT |
Maintainer | kalhuage@cs.ucla.edu |
Safe Haskell | Safe |
Language | Haskell2010 |
This module contains the JType
, ClassName
, MethodDescriptor
, and
FieldDescriptor
.
Synopsis
- newtype ClassName = ClassName {}
- strCls :: String -> ClassName
- dotCls :: Text -> ClassName
- data JType
- data JBaseType
- jBaseTypeP :: Parser JBaseType
- jBaseTypeToChar :: JBaseType -> Char
- data MethodDescriptor = MethodDescriptor {}
- newtype FieldDescriptor = FieldDescriptor {}
- data NameAndType a = NameAndType {
- ntName :: Text
- ntDescriptor :: a
- (<:>) :: Text -> a -> NameAndType a
- class TypeParse a where
Base types
ClassName
A class name
Instances
Eq ClassName Source # | |
Ord ClassName Source # | |
Defined in Language.JVM.Type | |
Show ClassName Source # | |
IsString ClassName Source # | |
Defined in Language.JVM.Type fromString :: String -> ClassName # | |
Generic ClassName Source # | |
NFData ClassName Source # | |
Defined in Language.JVM.Type | |
Referenceable ClassName Source # | |
type Rep ClassName Source # | |
Defined in Language.JVM.Type |
strCls :: String -> ClassName Source #
Wrapper method that converts a string representation of a class into a class.
JType
The JVM types
Instances
Eq JType Source # | |
Ord JType Source # | |
Show JType Source # | |
IsString JType Source # | |
Defined in Language.JVM.Type fromString :: String -> JType # | |
Generic JType Source # | |
NFData JType Source # | |
Defined in Language.JVM.Type | |
TypeParse JType Source # | |
type Rep JType Source # | |
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)))) |
The Jvm Primitive Types
Instances
Eq JBaseType Source # | |
Ord JBaseType Source # | |
Defined in Language.JVM.Type | |
Show JBaseType Source # | |
Generic JBaseType Source # | |
NFData JBaseType Source # | |
Defined in Language.JVM.Type | |
type Rep JBaseType Source # | |
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 :: * -> *)))) |
jBaseTypeToChar :: JBaseType -> Char Source #
MethodDescriptor
data MethodDescriptor Source #
Method Descriptor
Instances
FieldDescriptor
newtype FieldDescriptor Source #
Field Descriptor
Instances
NameAndType
data NameAndType a Source #
A name and a type
NameAndType | |
|
Instances
(<:>) :: Text -> a -> NameAndType a Source #
class TypeParse a where Source #
Instances
TypeParse FieldDescriptor Source # | |
Defined in Language.JVM.Type | |
TypeParse MethodDescriptor Source # | |
Defined in Language.JVM.Type | |
TypeParse JType Source # | |
TypeParse t => TypeParse (NameAndType t) Source # | |
Defined in Language.JVM.Type |