| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
JVM.Data.Convert.Monad
Documentation
type ConvertEff (r :: [Effect]) = ((ConstantPool :: (Type -> Type) -> Type -> Type) :> r, Error CodeConverterError :> r) Source #
runConvertM :: forall (r :: [(Type -> Type) -> Type -> Type]) a. Eff ((ConstantPool :: (Type -> Type) -> Type -> Type) ': (Error CodeConverterError ': r)) a -> Eff r (Either CodeConverterError (a, ConstantPoolState)) Source #
data CodeConverterError Source #
Constructors
| DuplicateLabel Label Word16 | |
| UnmarkedLabel Label |
Instances
| Show CodeConverterError Source # | |
Defined in JVM.Data.Convert.Monad Methods showsPrec :: Int -> CodeConverterError -> ShowS # show :: CodeConverterError -> String # showList :: [CodeConverterError] -> ShowS # | |