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

Language.JVM.Attribute.Exceptions

Description

Based on the Exceptions Attribute, as documented here. It describes the checked exceptions that a method can make.

Synopsis

newtype Exceptions r = Exceptions {
- exceptions :: SizedList16 (Ref ClassName r)
}

Documentation

newtype Exceptions r Source #

An Exceptions attribute is a list of references into the constant pool.

Constructors

Exceptions
Fields exceptions :: SizedList16 (Ref ClassName r)

Instances

Staged Exceptions Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods stage :: LabelM m => (forall (s' :: Type -> Type). Staged s' => s' r -> m (s' r')) -> Exceptions r -> m (Exceptions r') Source # evolve :: EvolveM m => Exceptions Low -> m (Exceptions High) Source # devolve :: DevolveM m => Exceptions High -> m (Exceptions Low) Source #
Eq (Exceptions High) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods (==) :: Exceptions High -> Exceptions High -> Bool # (/=) :: Exceptions High -> Exceptions High -> Bool #
Eq (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods (==) :: Exceptions Low -> Exceptions Low -> Bool # (/=) :: Exceptions Low -> Exceptions Low -> Bool #
Ord (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods compare :: Exceptions Low -> Exceptions Low -> Ordering # (<) :: Exceptions Low -> Exceptions Low -> Bool # (<=) :: Exceptions Low -> Exceptions Low -> Bool # (>) :: Exceptions Low -> Exceptions Low -> Bool # (>=) :: Exceptions Low -> Exceptions Low -> Bool # max :: Exceptions Low -> Exceptions Low -> Exceptions Low # min :: Exceptions Low -> Exceptions Low -> Exceptions Low #
Show (Exceptions High) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods showsPrec :: Int -> Exceptions High -> ShowS # show :: Exceptions High -> String # showList :: [Exceptions High] -> ShowS #
Show (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods showsPrec :: Int -> Exceptions Low -> ShowS # show :: Exceptions Low -> String # showList :: [Exceptions Low] -> ShowS #
Generic (Exceptions High) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Associated Types type Rep (Exceptions High) :: Type -> Type # Methods from :: Exceptions High -> Rep (Exceptions High) x # to :: Rep (Exceptions High) x -> Exceptions High #
Generic (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Associated Types type Rep (Exceptions Low) :: Type -> Type # Methods from :: Exceptions Low -> Rep (Exceptions Low) x # to :: Rep (Exceptions Low) x -> Exceptions Low #
Binary (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods put :: Exceptions Low -> Put # get :: Get (Exceptions Low) # putList :: [Exceptions Low] -> Put #
NFData (Exceptions High) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods rnf :: Exceptions High -> () #
NFData (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions Methods rnf :: Exceptions Low -> () #
IsAttribute (Exceptions Low) Source #	`Exceptions` is an Attribute.
Instance details Defined in Language.JVM.Attribute.Exceptions Methods attrName :: Const Text (Exceptions Low) Source #
type Rep (Exceptions High) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions type Rep (Exceptions High) = D1 (MetaData "Exceptions" "Language.JVM.Attribute.Exceptions" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "Exceptions" PrefixI True) (S1 (MetaSel (Just "exceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (Ref ClassName High)))))
type Rep (Exceptions Low) Source #
Instance details Defined in Language.JVM.Attribute.Exceptions type Rep (Exceptions Low) = D1 (MetaData "Exceptions" "Language.JVM.Attribute.Exceptions" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" True) (C1 (MetaCons "Exceptions" PrefixI True) (S1 (MetaSel (Just "exceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 (Ref ClassName Low)))))