Safe Haskell	None
Language	GHC2021

JVM.Data.Abstract.Type

Synopsis

Documentation

data PrimitiveType Source #

Constructors

Byte
Char
Double
Float
Int
Long
Short
Boolean

Instances

Instances details

Data PrimitiveType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PrimitiveType -> c PrimitiveType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PrimitiveType # toConstr :: PrimitiveType -> Constr # dataTypeOf :: PrimitiveType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PrimitiveType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PrimitiveType) # gmapT :: (forall b. Data b => b -> b) -> PrimitiveType -> PrimitiveType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PrimitiveType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PrimitiveType -> r # gmapQ :: (forall d. Data d => d -> u) -> PrimitiveType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PrimitiveType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PrimitiveType -> m PrimitiveType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimitiveType -> m PrimitiveType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimitiveType -> m PrimitiveType #
Bounded PrimitiveType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods minBound :: PrimitiveType # maxBound :: PrimitiveType #
Enum PrimitiveType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods succ :: PrimitiveType -> PrimitiveType # pred :: PrimitiveType -> PrimitiveType # toEnum :: Int -> PrimitiveType # fromEnum :: PrimitiveType -> Int # enumFrom :: PrimitiveType -> [PrimitiveType] # enumFromThen :: PrimitiveType -> PrimitiveType -> [PrimitiveType] # enumFromTo :: PrimitiveType -> PrimitiveType -> [PrimitiveType] # enumFromThenTo :: PrimitiveType -> PrimitiveType -> PrimitiveType -> [PrimitiveType] #
Show PrimitiveType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods showsPrec :: Int -> PrimitiveType -> ShowS # show :: PrimitiveType -> String # showList :: [PrimitiveType] -> ShowS #
Eq PrimitiveType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods (==) :: PrimitiveType -> PrimitiveType -> Bool # (/=) :: PrimitiveType -> PrimitiveType -> Bool #
Ord PrimitiveType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods compare :: PrimitiveType -> PrimitiveType -> Ordering # (<) :: PrimitiveType -> PrimitiveType -> Bool # (<=) :: PrimitiveType -> PrimitiveType -> Bool # (>) :: PrimitiveType -> PrimitiveType -> Bool # (>=) :: PrimitiveType -> PrimitiveType -> Bool # max :: PrimitiveType -> PrimitiveType -> PrimitiveType # min :: PrimitiveType -> PrimitiveType -> PrimitiveType #
Pretty PrimitiveType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods pretty :: PrimitiveType -> Doc ann Source # prettyList :: [PrimitiveType] -> Doc ann Source #

data FieldType Source #

JVM field type. Used in places such as method descriptors and field descriptors.

Constructors

PrimitiveFieldType PrimitiveType
ObjectFieldType QualifiedClassName
ArrayFieldType FieldType

Instances

Instances details

Data FieldType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldType -> c FieldType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldType # toConstr :: FieldType -> Constr # dataTypeOf :: FieldType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FieldType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldType) # gmapT :: (forall b. Data b => b -> b) -> FieldType -> FieldType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldType -> r # gmapQ :: (forall d. Data d => d -> u) -> FieldType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldType -> m FieldType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldType -> m FieldType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldType -> m FieldType #
Show FieldType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods showsPrec :: Int -> FieldType -> ShowS # show :: FieldType -> String # showList :: [FieldType] -> ShowS #
Eq FieldType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods (==) :: FieldType -> FieldType -> Bool # (/=) :: FieldType -> FieldType -> Bool #
Ord FieldType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods compare :: FieldType -> FieldType -> Ordering # (<) :: FieldType -> FieldType -> Bool # (<=) :: FieldType -> FieldType -> Bool # (>) :: FieldType -> FieldType -> Bool # (>=) :: FieldType -> FieldType -> Bool # max :: FieldType -> FieldType -> FieldType # min :: FieldType -> FieldType -> FieldType #
Pretty FieldType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods pretty :: FieldType -> Doc ann Source # prettyList :: [FieldType] -> Doc ann Source #

fieldTypeToClassInfoType :: FieldType -> ClassInfoType Source #

data ClassInfoType Source #

JVM class info type. Used in places such as the constant pool and exception tables.

Constructors

ClassInfoType QualifiedClassName
PrimitiveClassInfoType PrimitiveType
ArrayClassInfoType ClassInfoType

Instances

Instances details

Data ClassInfoType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ClassInfoType -> c ClassInfoType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ClassInfoType # toConstr :: ClassInfoType -> Constr # dataTypeOf :: ClassInfoType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ClassInfoType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ClassInfoType) # gmapT :: (forall b. Data b => b -> b) -> ClassInfoType -> ClassInfoType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ClassInfoType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ClassInfoType -> r # gmapQ :: (forall d. Data d => d -> u) -> ClassInfoType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ClassInfoType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ClassInfoType -> m ClassInfoType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassInfoType -> m ClassInfoType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassInfoType -> m ClassInfoType #
Show ClassInfoType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods showsPrec :: Int -> ClassInfoType -> ShowS # show :: ClassInfoType -> String # showList :: [ClassInfoType] -> ShowS #
Eq ClassInfoType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods (==) :: ClassInfoType -> ClassInfoType -> Bool # (/=) :: ClassInfoType -> ClassInfoType -> Bool #
Ord ClassInfoType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods compare :: ClassInfoType -> ClassInfoType -> Ordering # (<) :: ClassInfoType -> ClassInfoType -> Bool # (<=) :: ClassInfoType -> ClassInfoType -> Bool # (>) :: ClassInfoType -> ClassInfoType -> Bool # (>=) :: ClassInfoType -> ClassInfoType -> Bool # max :: ClassInfoType -> ClassInfoType -> ClassInfoType # min :: ClassInfoType -> ClassInfoType -> ClassInfoType #
Pretty ClassInfoType Source #
Instance details Defined in JVM.Data.Abstract.Type Methods pretty :: ClassInfoType -> Doc ann Source # prettyList :: [ClassInfoType] -> Doc ann Source #

classInfoTypeToFieldType :: ClassInfoType -> FieldType Source #