Safe Haskell	None
Language	GHC2021

H2JVM.Internal.Convert.ConstantPool

Description

Conversion of the high level constant pool types to the low level representation. This uses the IndexedMap type to keep the constant pool free from duplication.

Synopsis

type ConstantPoolEff (r :: [Effect]) = (State ConstantPoolState :> r, Error CodeConverterError :> r)
type ConstantPoolEffs (r :: [(Type -> Type) -> Type -> Type]) = State ConstantPoolState ': (Error CodeConverterError ': r)
data ConstantPoolState = ConstantPoolState {
- constantPool :: IndexedMap ConstantPoolInfo
- bootstrapMethods :: IndexedMap BootstrapMethod
}
runConstantPool :: forall (r :: [(Type -> Type) -> Type -> Type]) a. Eff (ConstantPoolEffs r) a -> Eff (Error CodeConverterError ': r) (a, ConstantPoolState)
runConstantPoolWith :: forall (r :: [(Type -> Type) -> Type -> Type]) a. ConstantPoolState -> Eff (ConstantPoolEffs r) a -> Eff (Error CodeConverterError ': r) (a, ConstantPoolState)
runConstantPoolWithPure :: forall (r :: [(Type -> Type) -> Type -> Type]) a. ConstantPoolState -> Eff (ConstantPoolEffs r) a -> Eff r (Either CodeConverterError (a, ConstantPoolState))
findIndexOf :: forall (r :: [Effect]). (HasCallStack, ConstantPoolEff r) => ConstantPoolEntry -> Eff r U2

Documentation

type ConstantPoolEff (r :: [Effect]) = (State ConstantPoolState :> r, Error CodeConverterError :> r) Source #

A simple state monad for accumulating a ConstantPoolState

type ConstantPoolEffs (r :: [(Type -> Type) -> Type -> Type]) = State ConstantPoolState ': (Error CodeConverterError ': r) Source #

data ConstantPoolState Source #

Accumulated state of the constant pool.

Constructors

ConstantPoolState
Fields constantPool :: IndexedMap ConstantPoolInfo A bidirectional mapping from index to a `ConstantPoolInfo`. bootstrapMethods :: IndexedMap BootstrapMethod A bidirectional mapping from an index to a `BootstrapMethod`.

Instances

Instances details

Monoid ConstantPoolState Source #
Instance details Defined in H2JVM.Internal.Convert.ConstantPool Methods mempty :: ConstantPoolState # mappend :: ConstantPoolState -> ConstantPoolState -> ConstantPoolState # mconcat :: [ConstantPoolState] -> ConstantPoolState #
Semigroup ConstantPoolState Source #
Instance details Defined in H2JVM.Internal.Convert.ConstantPool Methods (<>) :: ConstantPoolState -> ConstantPoolState -> ConstantPoolState # sconcat :: NonEmpty ConstantPoolState -> ConstantPoolState # stimes :: Integral b => b -> ConstantPoolState -> ConstantPoolState #
Show ConstantPoolState Source #
Instance details Defined in H2JVM.Internal.Convert.ConstantPool Methods showsPrec :: Int -> ConstantPoolState -> ShowS # show :: ConstantPoolState -> String # showList :: [ConstantPoolState] -> ShowS #
Eq ConstantPoolState Source #
Instance details Defined in H2JVM.Internal.Convert.ConstantPool Methods (==) :: ConstantPoolState -> ConstantPoolState -> Bool # (/=) :: ConstantPoolState -> ConstantPoolState -> Bool #
Ord ConstantPoolState Source #
Instance details Defined in H2JVM.Internal.Convert.ConstantPool Methods compare :: ConstantPoolState -> ConstantPoolState -> Ordering # (<) :: ConstantPoolState -> ConstantPoolState -> Bool # (<=) :: ConstantPoolState -> ConstantPoolState -> Bool # (>) :: ConstantPoolState -> ConstantPoolState -> Bool # (>=) :: ConstantPoolState -> ConstantPoolState -> Bool # max :: ConstantPoolState -> ConstantPoolState -> ConstantPoolState # min :: ConstantPoolState -> ConstantPoolState -> ConstantPoolState #

runConstantPool :: forall (r :: [(Type -> Type) -> Type -> Type]) a. Eff (ConstantPoolEffs r) a -> Eff (Error CodeConverterError ': r) (a, ConstantPoolState) Source #

Run a ConstantPool effect with an empty initial state.

runConstantPoolWith :: forall (r :: [(Type -> Type) -> Type -> Type]) a. ConstantPoolState -> Eff (ConstantPoolEffs r) a -> Eff (Error CodeConverterError ': r) (a, ConstantPoolState) Source #

runConstantPoolWithPure :: forall (r :: [(Type -> Type) -> Type -> Type]) a. ConstantPoolState -> Eff (ConstantPoolEffs r) a -> Eff r (Either CodeConverterError (a, ConstantPoolState)) Source #

findIndexOf :: forall (r :: [Effect]). (HasCallStack, ConstantPoolEff r) => ConstantPoolEntry -> Eff r U2 Source #

Find the index of a constant pool entry, inserting it in the first free location if it doesn't exist.