ByteCodeAsm

Documentation

assembleBCOs :: HscEnv -> [ProtoBCO Name] -> [TyCon] -> [RemotePtr ()] -> Maybe ModBreaks -> IO CompiledByteCode

assembleOneBCO :: HscEnv -> ProtoBCO Name -> IO UnlinkedBCO

bcoFreeNames :: UnlinkedBCO -> UniqDSet Name

Finds external references. Remember to remove the names defined by this group of BCOs themselves

data SizedSeq a

Instances

Functor SizedSeq

Defined in SizedSeq

Methods

fmap :: (a -> b) -> SizedSeq a -> SizedSeq b

(<$) :: a -> SizedSeq b -> SizedSeq a

Foldable SizedSeq

Defined in SizedSeq

Methods

fold :: Monoid m => SizedSeq m -> m

foldMap :: Monoid m => (a -> m) -> SizedSeq a -> m

foldMap' :: Monoid m => (a -> m) -> SizedSeq a -> m

foldr :: (a -> b -> b) -> b -> SizedSeq a -> b

foldr' :: (a -> b -> b) -> b -> SizedSeq a -> b

foldl :: (b -> a -> b) -> b -> SizedSeq a -> b

foldl' :: (b -> a -> b) -> b -> SizedSeq a -> b

foldr1 :: (a -> a -> a) -> SizedSeq a -> a

foldl1 :: (a -> a -> a) -> SizedSeq a -> a

toList :: SizedSeq a -> [a]

null :: SizedSeq a -> Bool

length :: SizedSeq a -> Int

elem :: Eq a => a -> SizedSeq a -> Bool

maximum :: Ord a => SizedSeq a -> a

minimum :: Ord a => SizedSeq a -> a

sum :: Num a => SizedSeq a -> a

product :: Num a => SizedSeq a -> a

Traversable SizedSeq

Defined in SizedSeq

Methods

traverse :: Applicative f => (a -> f b) -> SizedSeq a -> f (SizedSeq b)

sequenceA :: Applicative f => SizedSeq (f a) -> f (SizedSeq a)

mapM :: Monad m => (a -> m b) -> SizedSeq a -> m (SizedSeq b)

sequence :: Monad m => SizedSeq (m a) -> m (SizedSeq a)

Show a => Show (SizedSeq a)

Defined in SizedSeq

Methods

showsPrec :: Int -> SizedSeq a -> ShowS

show :: SizedSeq a -> String

showList :: [SizedSeq a] -> ShowS

Generic (SizedSeq a)

Defined in SizedSeq

Associated Types

type Rep (SizedSeq a) :: Type -> Type

Methods

from :: SizedSeq a -> Rep (SizedSeq a) x

to :: Rep (SizedSeq a) x -> SizedSeq a

Binary a => Binary (SizedSeq a)

Defined in SizedSeq

Methods

put :: SizedSeq a -> Put

get :: Get (SizedSeq a)

putList :: [SizedSeq a] -> Put

NFData a => NFData (SizedSeq a)

Defined in SizedSeq

Methods

rnf :: SizedSeq a -> ()

type Rep (SizedSeq a)

Defined in SizedSeq

type Rep (SizedSeq a) = D1 ('MetaData "SizedSeq" "SizedSeq" "ghc-lib-parser-8.8.4.20210620-7JD4VtGHHgH2lVN8p4DUe8" 'False) (C1 ('MetaCons "SizedSeq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))

sizeSS :: SizedSeq a -> Word

ssElts :: SizedSeq a -> [a]

iNTERP_STACK_CHECK_THRESH :: Int