Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Runtime.Stack

Contents

Unboxed type tags

Synopsis

data K
- = KE
- | CB Callback
- | AMark !Int AEnv !AffineRef !K
- | Mark !Int !(EnumSet Word64) DEnv !K
- | Push !Int !Int !CombIx !Int !(RSection Val) !K
- | Local HEnv !Int !K
data GClosure comb
- = GPAp !CombIx !(GCombInfo comb) !Seg
- | GEnum !Reference !PackedTag
- | GData1 !Reference !PackedTag !Val
- | GData2 !Reference !PackedTag !Val !Val
- | GDataG !Reference !PackedTag !Seg
- | GCaptured !K !Int !Seg
- | GForeign !Foreign
- | GUnboxedTypeTag !UnboxedTypeTag
- | GAffine !(EnumSet Word64) !AEnv !AffineRef
- | GBlackHole
newtype Closure where
- Closure {
  - unClosure :: GClosure (RComb Val)
  }
- pattern DataC :: Reference -> PackedTag -> SegList -> Closure
- pattern PApV :: CombIx -> RCombInfo Val -> SegList -> Closure
- pattern CapV :: K -> Int -> SegList -> Closure
- pattern PAp :: CombIx -> GCombInfo (RComb Val) -> Seg -> Closure
- pattern Enum :: Reference -> PackedTag -> Closure
- pattern Data1 :: Reference -> PackedTag -> Val -> Closure
- pattern Data2 :: Reference -> PackedTag -> Val -> Val -> Closure
- pattern DataG :: Reference -> PackedTag -> Seg -> Closure
- pattern Captured :: K -> Int -> Seg -> Closure
- pattern Foreign :: Foreign -> Closure
- pattern Affine :: EnumSet Word64 -> AEnv -> AffineRef -> Closure
- pattern BlackHole :: Closure
- pattern UnboxedTypeTag :: UnboxedTypeTag -> Closure
newtype AffineRef = ARef (IORef Closure)
type AEnv = EnumMap Word64 AffineRef
type DEnv = EnumMap Word64 Val
data HEnv = HEnv {
- aenv :: AEnv
- denv :: DEnv
}
closureTag :: Closure -> PackedTag
formDataReplaced :: Reference -> PackedTag -> SegList -> Closure
unitClosure :: Closure
data UnboxedTypeTag
- = CharTag
- | FloatTag
- | IntTag
- | NatTag
unboxedTypeTagToInt :: UnboxedTypeTag -> Int
unboxedTypeTagFromInt :: HasCallStack => Int -> UnboxedTypeTag
type IxClosure = GClosure CombIx
newtype Callback = Hook (XStack -> IO ())
data Augment
- = I
- | K
- | C
data Dump
- = A
- | F Int Int
- | S
data Stack = Stack {
- ap :: !Int
- fp :: !Int
- sp :: !Int
- ustk :: !(MutableByteArray (PrimState IO))
- bstk :: !(MutableArray (PrimState IO) Closure)
}
type XStack = (# Int#, Int#, Int#, MutableByteArray# (PrimState IO), MutableArray# (PrimState IO) Closure #)
pattern XStack :: Int# -> Int# -> Int# -> MutableByteArray# RealWorld -> MutableArray# RealWorld Closure -> Stack
packXStack :: XStack -> Stack
unpackXStack :: Stack -> XStack
xStackIOToIO :: IOXStack -> IO Stack
stackIOToIOX :: IO Stack -> IOXStack
estackIOToIOX :: IO (Bool, Stack) -> IOEXStack
exStackIOToIO :: IOEXStack -> IO (Bool, Stack)
type IOXStack = State# RealWorld -> (# State# RealWorld, XStack #)
type IOEXStack = State# RealWorld -> (# State# RealWorld, Bool, XStack #)
$sel:apX:XStack :: Stack -> Int#
$sel:fpX:XStack :: Stack -> Int#
$sel:spX:XStack :: Stack -> Int#
$sel:ustkX:XStack :: Stack -> MutableByteArray# RealWorld
$sel:bstkX:XStack :: Stack -> MutableArray# RealWorld Closure
type Off = Int
type SZ = Int
type FP = Int
type Seg = (USeg, BSeg)
type USeg = ByteArray
type BSeg = Array Closure
type SegList = [Val]
data Val where
- Val {
  - getUnboxedVal :: !UVal
  - getBoxedVal :: !BVal
  }
- pattern CharVal :: Char -> Val
- pattern NatVal :: Word64 -> Val
- pattern DoubleVal :: Double -> Val
- pattern IntVal :: Int -> Val
- pattern BoolVal :: Bool -> Val
- pattern UnboxedVal :: Int -> UnboxedTypeTag -> Val
- pattern BoxedVal :: Closure -> Val
emptyVal :: Val
falseVal :: Val
trueVal :: Val
boxedVal :: BVal -> Val
type USeq = Seq Val
traceK :: Reference -> K -> [(Reference, Int)]
frameDataSize :: K -> Int
data RuntimePanic = Panic String (Maybe Val)
marshalToForeign :: HasCallStack => Closure -> Foreign
marshalUnwrapForeignIO :: HasCallStack => Closure -> IO a
unull :: USeg
bnull :: BSeg
nullSeg :: Seg
peekD :: Stack -> IO Double
peekOffD :: Stack -> Int -> IO Double
peekC :: Stack -> IO Char
peekOffC :: Stack -> Int -> IO Char
poke :: DebugCallStack => Stack -> Val -> IO ()
pokeD :: Stack -> Double -> IO ()
pokeOffD :: Stack -> Int -> Double -> IO ()
pokeC :: Stack -> Char -> IO ()
pokeOffC :: Stack -> Int -> Char -> IO ()
pokeBool :: DebugCallStack => Stack -> Bool -> IO ()
pokeTag :: DebugCallStack => Stack -> Int -> IO ()
peekTag :: DebugCallStack => Stack -> IO Int
peekTagOff :: DebugCallStack => Stack -> Off -> IO Int
peekI :: DebugCallStack => Stack -> IO Int
peekOffI :: DebugCallStack => Stack -> Off -> IO Int
peekN :: Stack -> IO Word64
peekOffN :: Stack -> Int -> IO Word64
pokeN :: Stack -> Word64 -> IO ()
pokeOffN :: Stack -> Int -> Word64 -> IO ()
pokeI :: Stack -> Int -> IO ()
pokeOffI :: Stack -> Int -> Int -> IO ()
pokeByte :: Stack -> Word8 -> IO ()
peekBi :: BuiltinForeign b => Stack -> IO b
peekOffBi :: BuiltinForeign b => Stack -> Int -> IO b
pokeBi :: BuiltinForeign b => Stack -> b -> IO ()
pokeOffBi :: BuiltinForeign b => Stack -> Int -> b -> IO ()
peekBool :: Stack -> IO Bool
peekOffBool :: Stack -> Int -> IO Bool
peekOffS :: Stack -> Int -> IO USeq
pokeS :: Stack -> USeq -> IO ()
pokeOffS :: Stack -> Int -> USeq -> IO ()
frameView :: Stack -> IO ()
scount :: Seg -> Int
closureTermRefs :: Monoid m => (Reference -> m) -> Closure -> m
dumpAP :: Int -> Int -> Int -> Dump -> Int
dumpFP :: Int -> Int -> Dump -> Int
alloc :: IO Stack
peek :: DebugCallStack => Stack -> IO Val
upeek :: DebugCallStack => Stack -> IO UVal
bpeek :: DebugCallStack => Stack -> IO BVal
peekOff :: DebugCallStack => Stack -> Off -> IO Val
upeekOff :: DebugCallStack => Stack -> Off -> IO UVal
bpeekOff :: DebugCallStack => Stack -> Off -> IO BVal
bpoke :: DebugCallStack => Stack -> BVal -> IO ()
bpokeOff :: DebugCallStack => Stack -> Off -> BVal -> IO ()
pokeOff :: DebugCallStack => Stack -> Off -> Val -> IO ()
upokeT :: DebugCallStack => Stack -> UVal -> BVal -> IO ()
upokeOffT :: DebugCallStack => Stack -> Off -> UVal -> BVal -> IO ()
unsafePokeIasN :: DebugCallStack => Stack -> Int -> IO ()
bump :: Stack -> IO Stack
bumpn :: Stack -> SZ -> IO Stack
grabSeg :: Stack -> SZ -> IO (Seg, Stack)
truncateSeg :: Stack -> SZ -> IO Stack
ensure :: Stack -> SZ -> IO Stack
duplicate :: Stack -> IO Stack
discardFrame :: Stack -> IO Stack
saveFrame :: Stack -> IO (Stack, SZ, SZ)
saveArgs :: Stack -> IO (Stack, SZ)
restoreFrame :: Stack -> SZ -> SZ -> IO Stack
prepareArgs :: Stack -> Args' -> IO Stack
acceptArgs :: Stack -> Int -> IO Stack
frameArgs :: Stack -> IO Stack
augSeg :: Augment -> Stack -> Seg -> Maybe Args' -> IO Seg
dumpSeg :: Stack -> Seg -> Dump -> IO Stack
adjustArgs :: Stack -> SZ -> IO Stack
fsize :: Stack -> SZ
asize :: Stack -> SZ
useg :: [Int] -> USeg
bseg :: [Closure] -> BSeg
segFromList :: SegList -> Seg
natTypeTag :: Closure
intTypeTag :: Closure
charTypeTag :: Closure
floatTypeTag :: Closure
hasNoAllocations :: Name -> Obligation
universalEq :: (Foreign -> Foreign -> Bool) -> Val -> Val -> Bool
universalCompare :: (Foreign -> Foreign -> Ordering) -> Val -> Val -> Ordering
inflateMap :: Map Val Val -> Closure
deflateMap :: Closure -> Maybe (Map Val Val)

Documentation

data K Source #

Constructors

KE
CB Callback
AMark !Int AEnv !AffineRef !K
Mark !Int !(EnumSet Word64) DEnv !K
Push !Int !Int !CombIx !Int !(RSection Val) !K
Local HEnv !Int !K

Instances

Instances details

Show K Source #
Instance details Defined in Unison.Runtime.Stack Methods showsPrec :: Int -> K -> ShowS # show :: K -> String # showList :: [K] -> ShowS #

data GClosure comb Source #

Constructors

GPAp
Fields !CombIx !(GCombInfo comb) !Seg args
GEnum !Reference !PackedTag
GData1 !Reference !PackedTag !Val
GData2 !Reference !PackedTag !Val !Val
GDataG !Reference !PackedTag !Seg
GCaptured
Fields !K code cont !Int arg size !Seg u/b data stacks
GForeign !Foreign
GUnboxedTypeTag !UnboxedTypeTag	The type tag for the value in the corresponding unboxed stack slot. We should consider adding separate constructors for common builtin type tags. GHC will optimize nullary constructors into singletons.
GAffine
Fields !(EnumSet Word64) associated ability numbers !AEnv original handler environment !AffineRef updateable reference
GBlackHole

Instances

Instances details

Foldable GClosure Source #
Instance details Defined in Unison.Runtime.Stack Methods fold :: Monoid m => GClosure m -> m # foldMap :: Monoid m => (a -> m) -> GClosure a -> m # foldMap' :: Monoid m => (a -> m) -> GClosure a -> m # foldr :: (a -> b -> b) -> b -> GClosure a -> b # foldr' :: (a -> b -> b) -> b -> GClosure a -> b # foldl :: (b -> a -> b) -> b -> GClosure a -> b # foldl' :: (b -> a -> b) -> b -> GClosure a -> b # foldr1 :: (a -> a -> a) -> GClosure a -> a # foldl1 :: (a -> a -> a) -> GClosure a -> a # toList :: GClosure a -> [a] # null :: GClosure a -> Bool # length :: GClosure a -> Int # elem :: Eq a => a -> GClosure a -> Bool # maximum :: Ord a => GClosure a -> a # minimum :: Ord a => GClosure a -> a # sum :: Num a => GClosure a -> a # product :: Num a => GClosure a -> a #
Traversable GClosure Source #
Instance details Defined in Unison.Runtime.Stack Methods traverse :: Applicative f => (a -> f b) -> GClosure a -> f (GClosure b) # sequenceA :: Applicative f => GClosure (f a) -> f (GClosure a) # mapM :: Monad m => (a -> m b) -> GClosure a -> m (GClosure b) # sequence :: Monad m => GClosure (m a) -> m (GClosure a) #
Functor GClosure Source #
Instance details Defined in Unison.Runtime.Stack Methods fmap :: (a -> b) -> GClosure a -> GClosure b # (<$) :: a -> GClosure b -> GClosure a #
Show comb => Show (GClosure comb) Source #
Instance details Defined in Unison.Runtime.Stack Methods showsPrec :: Int -> GClosure comb -> ShowS # show :: GClosure comb -> String # showList :: [GClosure comb] -> ShowS #

newtype Closure Source #

Constructors

Closure
Fields unClosure :: GClosure (RComb Val)

Bundled Patterns

pattern DataC :: Reference -> PackedTag -> SegList -> Closure
pattern PApV :: CombIx -> RCombInfo Val -> SegList -> Closure
pattern CapV :: K -> Int -> SegList -> Closure
pattern PAp :: CombIx -> GCombInfo (RComb Val) -> Seg -> Closure
pattern Enum :: Reference -> PackedTag -> Closure
pattern Data1 :: Reference -> PackedTag -> Val -> Closure
pattern Data2 :: Reference -> PackedTag -> Val -> Val -> Closure
pattern DataG :: Reference -> PackedTag -> Seg -> Closure
pattern Captured :: K -> Int -> Seg -> Closure
pattern Foreign :: Foreign -> Closure
pattern Affine :: EnumSet Word64 -> AEnv -> AffineRef -> Closure
pattern BlackHole :: Closure
pattern UnboxedTypeTag :: UnboxedTypeTag -> Closure

Instances

Instances details

Show Closure Source #
Instance details Defined in Unison.Runtime.Stack Methods showsPrec :: Int -> Closure -> ShowS # show :: Closure -> String # showList :: [Closure] -> ShowS #
ForeignConvention Closure Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readAtIndex :: Stack -> Int -> IO Closure Source # readsAt :: Stack -> Args -> IO Closure Source # decodeVal :: Val -> IO Closure Source # writeBack :: Stack -> Closure -> IO () Source # encodeVal :: Closure -> Val Source #

newtype AffineRef Source #

Constructors

ARef (IORef Closure)

Instances

Instances details

Show AffineRef Source #
Instance details Defined in Unison.Runtime.Stack Methods showsPrec :: Int -> AffineRef -> ShowS # show :: AffineRef -> String # showList :: [AffineRef] -> ShowS #
Eq AffineRef Source #
Instance details Defined in Unison.Runtime.Stack Methods (==) :: AffineRef -> AffineRef -> Bool # (/=) :: AffineRef -> AffineRef -> Bool #

type AEnv = EnumMap Word64 AffineRef Source #

type DEnv = EnumMap Word64 Val Source #

data HEnv Source #

Constructors

HEnv
Fields aenv :: AEnv denv :: DEnv

Instances

Instances details

Monoid HEnv Source #
Instance details Defined in Unison.Runtime.Stack Methods mempty :: HEnv # mappend :: HEnv -> HEnv -> HEnv # mconcat :: [HEnv] -> HEnv #
Semigroup HEnv Source #
Instance details Defined in Unison.Runtime.Stack Methods (<>) :: HEnv -> HEnv -> HEnv # sconcat :: NonEmpty HEnv -> HEnv # stimes :: Integral b => b -> HEnv -> HEnv #

closureTag :: Closure -> PackedTag Source #

formDataReplaced :: Reference -> PackedTag -> SegList -> Closure Source #

unitClosure :: Closure Source #

data UnboxedTypeTag Source #

Constructors

CharTag
FloatTag
IntTag
NatTag

Instances

Instances details

Show UnboxedTypeTag Source #
Instance details Defined in Unison.Runtime.Stack Methods showsPrec :: Int -> UnboxedTypeTag -> ShowS # show :: UnboxedTypeTag -> String # showList :: [UnboxedTypeTag] -> ShowS #
Eq UnboxedTypeTag Source #
Instance details Defined in Unison.Runtime.Stack Methods (==) :: UnboxedTypeTag -> UnboxedTypeTag -> Bool # (/=) :: UnboxedTypeTag -> UnboxedTypeTag -> Bool #
Ord UnboxedTypeTag Source #
Instance details Defined in Unison.Runtime.Stack Methods compare :: UnboxedTypeTag -> UnboxedTypeTag -> Ordering # (<) :: UnboxedTypeTag -> UnboxedTypeTag -> Bool # (<=) :: UnboxedTypeTag -> UnboxedTypeTag -> Bool # (>) :: UnboxedTypeTag -> UnboxedTypeTag -> Bool # (>=) :: UnboxedTypeTag -> UnboxedTypeTag -> Bool # max :: UnboxedTypeTag -> UnboxedTypeTag -> UnboxedTypeTag # min :: UnboxedTypeTag -> UnboxedTypeTag -> UnboxedTypeTag #

unboxedTypeTagToInt :: UnboxedTypeTag -> Int Source #

unboxedTypeTagFromInt :: HasCallStack => Int -> UnboxedTypeTag Source #

type IxClosure = GClosure CombIx Source #

newtype Callback Source #

Constructors

Hook (XStack -> IO ())

Instances

Instances details

Eq Callback Source #
Instance details Defined in Unison.Runtime.Stack Methods (==) :: Callback -> Callback -> Bool # (/=) :: Callback -> Callback -> Bool #
Ord Callback Source #
Instance details Defined in Unison.Runtime.Stack Methods compare :: Callback -> Callback -> Ordering # (<) :: Callback -> Callback -> Bool # (<=) :: Callback -> Callback -> Bool # (>) :: Callback -> Callback -> Bool # (>=) :: Callback -> Callback -> Bool # max :: Callback -> Callback -> Callback # min :: Callback -> Callback -> Callback #

data Augment Source #

Constructors

I
K
C

data Dump Source #

Constructors

A
F Int Int
S

data Stack Source #

Constructors

Stack
Fields ap :: !Int fp :: !Int sp :: !Int ustk :: !(MutableByteArray (PrimState IO)) bstk :: !(MutableArray (PrimState IO) Closure)

Instances

Instances details

Show Stack Source #
Instance details Defined in Unison.Runtime.Stack Methods showsPrec :: Int -> Stack -> ShowS # show :: Stack -> String # showList :: [Stack] -> ShowS #

type XStack = (# Int#, Int#, Int#, MutableByteArray# (PrimState IO), MutableArray# (PrimState IO) Closure #) Source #

pattern XStack :: Int# -> Int# -> Int# -> MutableByteArray# RealWorld -> MutableArray# RealWorld Closure -> Stack Source #

packXStack :: XStack -> Stack Source #

unpackXStack :: Stack -> XStack Source #

xStackIOToIO :: IOXStack -> IO Stack Source #

stackIOToIOX :: IO Stack -> IOXStack Source #

estackIOToIOX :: IO (Bool, Stack) -> IOEXStack Source #

exStackIOToIO :: IOEXStack -> IO (Bool, Stack) Source #

type IOXStack = State# RealWorld -> (# State# RealWorld, XStack #) Source #

type IOEXStack = State# RealWorld -> (# State# RealWorld, Bool, XStack #) Source #

$sel:apX:XStack :: Stack -> Int# Source #

$sel:fpX:XStack :: Stack -> Int# Source #

$sel:spX:XStack :: Stack -> Int# Source #

$sel:ustkX:XStack :: Stack -> MutableByteArray# RealWorld Source #

$sel:bstkX:XStack :: Stack -> MutableArray# RealWorld Closure Source #

type Off = Int Source #

type SZ = Int Source #

type FP = Int Source #

type Seg = (USeg, BSeg) Source #

type USeg = ByteArray Source #

type BSeg = Array Closure Source #

type SegList = [Val] Source #

data Val Source #

A runtime value, which is either a boxed or unboxed value, but we may not know which.

When it represents a boxed value, $sel:getUnboxedVal:Val is meaningless, but when it represents an unboxed value, $sel:getBoxedVal:Val tells us its type.

Constructors

Val
Fields getUnboxedVal :: !UVal getBoxedVal :: !BVal

Bundled Patterns

pattern CharVal :: Char -> Val
pattern NatVal :: Word64 -> Val
pattern DoubleVal :: Double -> Val
pattern IntVal :: Int -> Val
pattern BoolVal :: Bool -> Val
pattern UnboxedVal :: Int -> UnboxedTypeTag -> Val
pattern BoxedVal :: Closure -> Val	Matches a Val which is known to be boxed, and returns the closure portion.

Instances

Instances details

Show Val Source #
Instance details Defined in Unison.Runtime.Stack Methods showsPrec :: Int -> Val -> ShowS # show :: Val -> String # showList :: [Val] -> ShowS #
Eq Val Source #	The `Eq` instance for `Val` can’t be derived because you need to take into account the fact that if a `Val` is boxed, the unboxed side is garbage and should not be compared.
Instance details Defined in Unison.Runtime.Stack Methods (==) :: Val -> Val -> Bool # (/=) :: Val -> Val -> Bool #
Ord Val Source #
Instance details Defined in Unison.Runtime.Stack Methods compare :: Val -> Val -> Ordering # (<) :: Val -> Val -> Bool # (<=) :: Val -> Val -> Bool # (>) :: Val -> Val -> Bool # (>=) :: Val -> Val -> Bool # max :: Val -> Val -> Val # min :: Val -> Val -> Val #
ForeignConvention Val Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readAtIndex :: Stack -> Int -> IO Val Source # readsAt :: Stack -> Args -> IO Val Source # decodeVal :: Val -> IO Val Source # writeBack :: Stack -> Val -> IO () Source # encodeVal :: Val -> Val Source #
BuiltinForeign (Ticket Val) Source #
Instance details Defined in Unison.Runtime.Stack Methods foreignName :: Tagged (Ticket Val) String Source # foreignRef :: Tagged (Ticket Val) Reference Source #
BuiltinForeign (TVar Val) Source #
Instance details Defined in Unison.Runtime.Stack Methods foreignName :: Tagged (TVar Val) String Source # foreignRef :: Tagged (TVar Val) Reference Source #
BuiltinForeign (IORef Val) Source #
Instance details Defined in Unison.Runtime.Stack Methods foreignName :: Tagged (IORef Val) String Source # foreignRef :: Tagged (IORef Val) Reference Source #
BuiltinForeign (MVar Val) Source #
Instance details Defined in Unison.Runtime.Stack Methods foreignName :: Tagged (MVar Val) String Source # foreignRef :: Tagged (MVar Val) Reference Source #
BuiltinForeign (Array Val) Source #
Instance details Defined in Unison.Runtime.Stack Methods foreignName :: Tagged (Array Val) String Source # foreignRef :: Tagged (Array Val) Reference Source #
BuiltinForeign (Promise Val) Source #
Instance details Defined in Unison.Runtime.Stack Methods foreignName :: Tagged (Promise Val) String Source # foreignRef :: Tagged (Promise Val) Reference Source #
ForeignConvention (Seq Val) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readAtIndex :: Stack -> Int -> IO (Seq Val) Source # readsAt :: Stack -> Args -> IO (Seq Val) Source # decodeVal :: Val -> IO (Seq Val) Source # writeBack :: Stack -> Seq Val -> IO () Source # encodeVal :: Seq Val -> Val Source #
BuiltinForeign (Map Val Val) Source #
Instance details Defined in Unison.Runtime.Stack Methods foreignName :: Tagged (Map Val Val) String Source # foreignRef :: Tagged (Map Val Val) Reference Source #
BuiltinForeign (MutableArray s Val) Source #
Instance details Defined in Unison.Runtime.Stack Methods foreignName :: Tagged (MutableArray s Val) String Source # foreignRef :: Tagged (MutableArray s Val) Reference Source #

emptyVal :: Val Source #

A nulled out value you can use when filling empty arrays, etc.

falseVal :: Val Source #

trueVal :: Val Source #

boxedVal :: BVal -> Val Source #

Lift a boxed val into an Val

type USeq = Seq Val Source #

Implementation for Unison sequences.

traceK :: Reference -> K -> [(Reference, Int)] Source #

frameDataSize :: K -> Int Source #

data RuntimePanic Source #

Constructors

Panic String (Maybe Val)

Instances

Instances details

Exception RuntimePanic Source #
Instance details Defined in Unison.Runtime.Stack Methods toException :: RuntimePanic -> SomeException # fromException :: SomeException -> Maybe RuntimePanic # displayException :: RuntimePanic -> String #
Show RuntimePanic Source #
Instance details Defined in Unison.Runtime.Stack Methods showsPrec :: Int -> RuntimePanic -> ShowS # show :: RuntimePanic -> String # showList :: [RuntimePanic] -> ShowS #

marshalToForeign :: HasCallStack => Closure -> Foreign Source #

marshalUnwrapForeignIO :: HasCallStack => Closure -> IO a Source #

unull :: USeg Source #

bnull :: BSeg Source #

nullSeg :: Seg Source #

peekD :: Stack -> IO Double Source #

peekOffD :: Stack -> Int -> IO Double Source #

peekC :: Stack -> IO Char Source #

peekOffC :: Stack -> Int -> IO Char Source #

poke :: DebugCallStack => Stack -> Val -> IO () Source #

pokeD :: Stack -> Double -> IO () Source #

pokeOffD :: Stack -> Int -> Double -> IO () Source #

pokeC :: Stack -> Char -> IO () Source #

pokeOffC :: Stack -> Int -> Char -> IO () Source #

pokeBool :: DebugCallStack => Stack -> Bool -> IO () Source #

pokeTag :: DebugCallStack => Stack -> Int -> IO () Source #

Store an unboxed tag to later match on. Often used to indicate the constructor of a data type that's been unpacked onto the stack, or some tag we're about to branch on.

peekTag :: DebugCallStack => Stack -> IO Int Source #

peekTagOff :: DebugCallStack => Stack -> Off -> IO Int Source #

peekI :: DebugCallStack => Stack -> IO Int Source #

peekOffI :: DebugCallStack => Stack -> Off -> IO Int Source #

peekN :: Stack -> IO Word64 Source #

peekOffN :: Stack -> Int -> IO Word64 Source #

pokeN :: Stack -> Word64 -> IO () Source #

pokeOffN :: Stack -> Int -> Word64 -> IO () Source #

pokeI :: Stack -> Int -> IO () Source #

Note: This is for poking an unboxed value that has the UNISON type int, not just any unboxed data.

pokeOffI :: Stack -> Int -> Int -> IO () Source #

pokeByte :: Stack -> Word8 -> IO () Source #

peekBi :: BuiltinForeign b => Stack -> IO b Source #

peekOffBi :: BuiltinForeign b => Stack -> Int -> IO b Source #

pokeBi :: BuiltinForeign b => Stack -> b -> IO () Source #

pokeOffBi :: BuiltinForeign b => Stack -> Int -> b -> IO () Source #

peekBool :: Stack -> IO Bool Source #

peekOffBool :: Stack -> Int -> IO Bool Source #

peekOffS :: Stack -> Int -> IO USeq Source #

pokeS :: Stack -> USeq -> IO () Source #

pokeOffS :: Stack -> Int -> USeq -> IO () Source #

frameView :: Stack -> IO () Source #

scount :: Seg -> Int Source #

closureTermRefs :: Monoid m => (Reference -> m) -> Closure -> m Source #

dumpAP :: Int -> Int -> Int -> Dump -> Int Source #

dumpFP :: Int -> Int -> Dump -> Int Source #

alloc :: IO Stack Source #

peek :: DebugCallStack => Stack -> IO Val Source #

upeek :: DebugCallStack => Stack -> IO UVal Source #

bpeek :: DebugCallStack => Stack -> IO BVal Source #

peekOff :: DebugCallStack => Stack -> Off -> IO Val Source #

upeekOff :: DebugCallStack => Stack -> Off -> IO UVal Source #

bpeekOff :: DebugCallStack => Stack -> Off -> IO BVal Source #

bpoke :: DebugCallStack => Stack -> BVal -> IO () Source #

Store a boxed value. We don't bother nulling out the unboxed stack, it's extra work and there's nothing to garbage collect.

bpokeOff :: DebugCallStack => Stack -> Off -> BVal -> IO () Source #

pokeOff :: DebugCallStack => Stack -> Off -> Val -> IO () Source #

upokeT :: DebugCallStack => Stack -> UVal -> BVal -> IO () Source #

upokeOffT :: DebugCallStack => Stack -> Off -> UVal -> BVal -> IO () Source #

unsafePokeIasN :: DebugCallStack => Stack -> Int -> IO () Source #

Sometimes we get back an int from a foreign call which we want to use as a Nat. If we know it's positive and smaller than 2^63 then we can safely store the Int directly as a Nat without checks.

bump :: Stack -> IO Stack Source #

bumpn :: Stack -> SZ -> IO Stack Source #

grabSeg :: Stack -> SZ -> IO (Seg, Stack) Source #

Eats up arguments

truncateSeg :: Stack -> SZ -> IO Stack Source #

ensure :: Stack -> SZ -> IO Stack Source #

duplicate :: Stack -> IO Stack Source #

discardFrame :: Stack -> IO Stack Source #

saveFrame :: Stack -> IO (Stack, SZ, SZ) Source #

saveArgs :: Stack -> IO (Stack, SZ) Source #

restoreFrame :: Stack -> SZ -> SZ -> IO Stack Source #

prepareArgs :: Stack -> Args' -> IO Stack Source #

acceptArgs :: Stack -> Int -> IO Stack Source #

frameArgs :: Stack -> IO Stack Source #

augSeg :: Augment -> Stack -> Seg -> Maybe Args' -> IO Seg Source #

dumpSeg :: Stack -> Seg -> Dump -> IO Stack Source #

adjustArgs :: Stack -> SZ -> IO Stack Source #

fsize :: Stack -> SZ Source #

asize :: Stack -> SZ Source #

useg :: [Int] -> USeg Source #

Converts a list of integers representing an unboxed segment back into the appropriate segment. Segments are stored backwards in the runtime, so this reverses the list.

bseg :: [Closure] -> BSeg Source #

Converts a list of closures back to a boxed segment. Segments are stored backwards, so this reverses the contents.

segFromList :: SegList -> Seg Source #

Converts from the list representation of a segment to the efficient stack form. Segments are stored backwards, so this reverses the contents.

Unboxed type tags

natTypeTag :: Closure Source #

intTypeTag :: Closure Source #

charTypeTag :: Closure Source #

floatTypeTag :: Closure Source #

hasNoAllocations :: Name -> Obligation Source #

universalEq :: (Foreign -> Foreign -> Bool) -> Val -> Val -> Bool Source #

universalCompare :: (Foreign -> Foreign -> Ordering) -> Val -> Val -> Ordering Source #

inflateMap :: Map Val Val -> Closure Source #

deflateMap :: Closure -> Maybe (Map Val Val) Source #