Language.JVM.Attribute.Exceptions

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

Documentation

newtype Exceptions r

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

Constructors

Exceptions

Fields

• exceptions :: SizedList16 (Ref ClassName r)

Instances

Staged Exceptions

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')

evolve :: EvolveM m => Exceptions Low -> m (Exceptions High)

devolve :: DevolveM m => Exceptions High -> m (Exceptions Low)

Eq (Exceptions High)

Defined in Language.JVM.Attribute.Exceptions

Methods

(==) :: Exceptions High -> Exceptions High -> Bool

(/=) :: Exceptions High -> Exceptions High -> Bool

Eq (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Methods

(==) :: Exceptions Low -> Exceptions Low -> Bool

(/=) :: Exceptions Low -> Exceptions Low -> Bool

Ord (Exceptions Low)

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)

Defined in Language.JVM.Attribute.Exceptions

Methods

showsPrec :: Int -> Exceptions High -> ShowS

show :: Exceptions High -> String

showList :: [Exceptions High] -> ShowS

Show (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Methods

showsPrec :: Int -> Exceptions Low -> ShowS

show :: Exceptions Low -> String

showList :: [Exceptions Low] -> ShowS

Generic (Exceptions High)

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)

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)

Defined in Language.JVM.Attribute.Exceptions

Methods

put :: Exceptions Low -> Put

get :: Get (Exceptions Low)

putList :: [Exceptions Low] -> Put

NFData (Exceptions High)

Defined in Language.JVM.Attribute.Exceptions

Methods

rnf :: Exceptions High -> ()

NFData (Exceptions Low)

Defined in Language.JVM.Attribute.Exceptions

Methods

rnf :: Exceptions Low -> ()

IsAttribute (Exceptions Low)

Exceptions is an Attribute.

Defined in Language.JVM.Attribute.Exceptions

Methods

attrName :: Const Text (Exceptions Low)

type Rep (Exceptions High)

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)

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)))))