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

Language.JVM.Attribute.Base

Contents

Helpers

Description

Synopsis

data Attribute r = Attribute {
- aName :: !(Ref Text r)
- aInfo' :: !SizedByteString32
}
aInfo :: Attribute r -> ByteString
toAttribute :: (IsAttribute (a Low), Staged a, DevolveM m) => a High -> m (Attribute Low)
toBCAttribute :: (IsAttribute (a Low), ByteCodeStaged a, DevolveM m) => (ByteCodeIndex -> m ByteCodeOffset) -> a High -> m (Attribute Low)
devolveAttribute :: (IsAttribute (a Low), DevolveM m) => (a High -> m (a Low)) -> a High -> m (Attribute Low)
fromAttribute' :: IsAttribute a => Attribute r -> Either String a
toAttribute' :: forall a. IsAttribute a => a -> Attribute High
class Binary a => IsAttribute a where
- attrName :: Const Text a
type Attributes b r = Choice (SizedList16 (Attribute r)) (b r) r
fromAttributes :: (Foldable f, EvolveM m, Monoid a) => AttributeLocation -> f (Attribute Low) -> (Attribute High -> m a) -> m a
collect :: forall c m. EvolveM m => [AttributeCollector c] -> (Attribute High -> c -> c) -> Attribute High -> m (Endo c)
collectBC :: forall c m. EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> [ByteCodeAttributeCollector c] -> (Attribute High -> c -> c) -> Attribute High -> m (Endo c)
data AttributeCollector c = (IsAttribute (a Low), Staged a) => Attr (a High -> c -> c)
data ByteCodeAttributeCollector c = (IsAttribute (a Low), ByteCodeStaged a) => BCAttr (a High -> c -> c)
newtype Const a b = Const {
- unConst :: a
}
firstOne :: [a] -> Maybe a

Documentation

data Attribute r Source #

An Attribute, simply contains of a reference to a name and contains info.

Constructors

Attribute
Fields aName :: !(Ref Text r) aInfo' :: !SizedByteString32

Instances

Staged Attribute Source #
Instance details Defined in Language.JVM.Attribute.Base Methods stage :: LabelM m => (forall (s' :: Type -> Type). Staged s' => s' r -> m (s' r')) -> Attribute r -> m (Attribute r') Source # evolve :: EvolveM m => Attribute Low -> m (Attribute High) Source # devolve :: DevolveM m => Attribute High -> m (Attribute Low) Source #
Eq (Attribute High) Source #
Instance details Defined in Language.JVM.Attribute.Base Methods (==) :: Attribute High -> Attribute High -> Bool # (/=) :: Attribute High -> Attribute High -> Bool #
Eq (Attribute Low) Source #
Instance details Defined in Language.JVM.Attribute.Base Methods (==) :: Attribute Low -> Attribute Low -> Bool # (/=) :: Attribute Low -> Attribute Low -> Bool #
Ord (Attribute Low) Source #
Instance details Defined in Language.JVM.Attribute.Base Methods compare :: Attribute Low -> Attribute Low -> Ordering # (<) :: Attribute Low -> Attribute Low -> Bool # (<=) :: Attribute Low -> Attribute Low -> Bool # (>) :: Attribute Low -> Attribute Low -> Bool # (>=) :: Attribute Low -> Attribute Low -> Bool # max :: Attribute Low -> Attribute Low -> Attribute Low # min :: Attribute Low -> Attribute Low -> Attribute Low #
Show (Attribute High) Source #
Instance details Defined in Language.JVM.Attribute.Base Methods showsPrec :: Int -> Attribute High -> ShowS # show :: Attribute High -> String # showList :: [Attribute High] -> ShowS #
Show (Attribute Low) Source #
Instance details Defined in Language.JVM.Attribute.Base Methods showsPrec :: Int -> Attribute Low -> ShowS # show :: Attribute Low -> String # showList :: [Attribute Low] -> ShowS #
Generic (Attribute High) Source #
Instance details Defined in Language.JVM.Attribute.Base Associated Types type Rep (Attribute High) :: Type -> Type # Methods from :: Attribute High -> Rep (Attribute High) x # to :: Rep (Attribute High) x -> Attribute High #
Generic (Attribute Low) Source #
Instance details Defined in Language.JVM.Attribute.Base Associated Types type Rep (Attribute Low) :: Type -> Type # Methods from :: Attribute Low -> Rep (Attribute Low) x # to :: Rep (Attribute Low) x -> Attribute Low #
Binary (Attribute Low) Source #
Instance details Defined in Language.JVM.Attribute.Base Methods put :: Attribute Low -> Put # get :: Get (Attribute Low) # putList :: [Attribute Low] -> Put #
NFData (Attribute High) Source #
Instance details Defined in Language.JVM.Attribute.Base Methods rnf :: Attribute High -> () #
NFData (Attribute Low) Source #
Instance details Defined in Language.JVM.Attribute.Base Methods rnf :: Attribute Low -> () #
type Rep (Attribute High) Source #
Instance details Defined in Language.JVM.Attribute.Base type Rep (Attribute High) = D1 (MetaData "Attribute" "Language.JVM.Attribute.Base" "jvm-binary-0.6.0-Cb2fkt8MtttGY2dbd8288a" False) (C1 (MetaCons "Attribute" PrefixI True) (S1 (MetaSel (Just "aName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text High)) :*: S1 (MetaSel (Just "aInfo'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SizedByteString32)))
type Rep (Attribute Low) Source #
Instance details Defined in Language.JVM.Attribute.Base type Rep (Attribute Low) = D1 (MetaData "Attribute" "Language.JVM.Attribute.Base" "jvm-binary-0.6.0-Cb2fkt8MtttGY2dbd8288a" False) (C1 (MetaCons "Attribute" PrefixI True) (S1 (MetaSel (Just "aName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text Low)) :*: S1 (MetaSel (Just "aInfo'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SizedByteString32)))

aInfo :: Attribute r -> ByteString Source #

A small helper function to extract the info as a lazy ByteString.

toAttribute :: (IsAttribute (a Low), Staged a, DevolveM m) => a High -> m (Attribute Low) Source #

toBCAttribute :: (IsAttribute (a Low), ByteCodeStaged a, DevolveM m) => (ByteCodeIndex -> m ByteCodeOffset) -> a High -> m (Attribute Low) Source #

devolveAttribute :: (IsAttribute (a Low), DevolveM m) => (a High -> m (a Low)) -> a High -> m (Attribute Low) Source #

fromAttribute' :: IsAttribute a => Attribute r -> Either String a Source #

Generate an attribute in a low stage Low.

toAttribute' :: forall a. IsAttribute a => a -> Attribute High Source #

Helpers

class Binary a => IsAttribute a where Source #

A class-type that describes a data-type a as an Attribute. Most notable it provides the fromAttribute' method that enables converting an Attribute to a data-type a.

Methods

attrName :: Const Text a Source #

The name of an attribute. This is used to lookup an attribute.

Instances

IsAttribute (StackMapTable Low) Source #	`StackMapTable` is an Attribute.
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods attrName :: Const Text (StackMapTable Low) Source #
IsAttribute (Signature Low) Source #
Instance details Defined in Language.JVM.Attribute.Signature Methods attrName :: Const Text (Signature Low) Source #
IsAttribute (LineNumberTable Low) Source #	`Signature` is an Attribute.
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods attrName :: Const Text (LineNumberTable Low) Source #
IsAttribute (Exceptions Low) Source #	`Exceptions` is an Attribute.
Instance details Defined in Language.JVM.Attribute.Exceptions Methods attrName :: Const Text (Exceptions Low) Source #
IsAttribute (EnclosingMethod Low) Source #	`EnclosingMethod` is an Attribute.
Instance details Defined in Language.JVM.Attribute.EnclosingMethod Methods attrName :: Const Text (EnclosingMethod Low) Source #
IsAttribute (ConstantValue Low) Source #	`ConstantValue` is an Attribute.
Instance details Defined in Language.JVM.Attribute.ConstantValue Methods attrName :: Const Text (ConstantValue Low) Source #
IsAttribute (BootstrapMethods Low) Source #	`BootstrapMethods` is an Attribute.
Instance details Defined in Language.JVM.Attribute.BootstrapMethods Methods attrName :: Const Text (BootstrapMethods Low) Source #
IsAttribute (AnnotationDefault Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods attrName :: Const Text (AnnotationDefault Low) Source #
IsAttribute (RuntimeInvisibleParameterAnnotations Low) Source #	`RuntimeInvisibleParameterAnnotations` is an Attribute.
Instance details Defined in Language.JVM.Attribute.Annotations Methods attrName :: Const Text (RuntimeInvisibleParameterAnnotations Low) Source #
IsAttribute (RuntimeVisibleParameterAnnotations Low) Source #	`RuntimeVisibleParameterAnnotations` is an Attribute.
Instance details Defined in Language.JVM.Attribute.Annotations Methods attrName :: Const Text (RuntimeVisibleParameterAnnotations Low) Source #
IsAttribute (RuntimeInvisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods attrName :: Const Text (RuntimeInvisibleAnnotations Low) Source #
IsAttribute (RuntimeVisibleAnnotations Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods attrName :: Const Text (RuntimeVisibleAnnotations Low) Source #
IsAttribute (Code Low) Source #	`Code` is an Attribute.
Instance details Defined in Language.JVM.Attribute.Code Methods attrName :: Const Text (Code Low) Source #
IsAttribute (InnerClasses Low) Source #	`InnerClasses` is an Attribute.
Instance details Defined in Language.JVM.Attribute.InnerClasses Methods attrName :: Const Text (InnerClasses Low) Source #
(Generic (m Low), Binary (m Low)) => IsAttribute (RuntimeInvisibleTypeAnnotations m Low) Source #	`RuntimeInvisibleTypeAnnotations` is an Attribute.
Instance details Defined in Language.JVM.Attribute.Annotations Methods attrName :: Const Text (RuntimeInvisibleTypeAnnotations m Low) Source #
(Generic (m Low), Binary (m Low)) => IsAttribute (RuntimeVisibleTypeAnnotations m Low) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods attrName :: Const Text (RuntimeVisibleTypeAnnotations m Low) Source #

type Attributes b r = Choice (SizedList16 (Attribute r)) (b r) r Source #

A list of attributes and described by the expected values.

fromAttributes :: (Foldable f, EvolveM m, Monoid a) => AttributeLocation -> f (Attribute Low) -> (Attribute High -> m a) -> m a Source #

Given a Foldable structure f, and a function that can calculate a monoid given an Attribute calculate the monoid over all attributes.

collect :: forall c m. EvolveM m => [AttributeCollector c] -> (Attribute High -> c -> c) -> Attribute High -> m (Endo c) Source #

collectBC :: forall c m. EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> [ByteCodeAttributeCollector c] -> (Attribute High -> c -> c) -> Attribute High -> m (Endo c) Source #

data AttributeCollector c Source #

Constructors

(IsAttribute (a Low), Staged a) => Attr (a High -> c -> c)

data ByteCodeAttributeCollector c Source #

Constructors

(IsAttribute (a Low), ByteCodeStaged a) => BCAttr (a High -> c -> c)

newtype Const a b Source #

Create a type dependent on another type b, used for accessing the correct attrName in IsAttribute.

Constructors

Const
Fields unConst :: a

firstOne :: [a] -> Maybe a Source #

Maybe return the first element of a list