| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.Runtime.Stack
Contents
Synopsis
- data 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 { }
- 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
- data Failure a = Failure Reference Text a
- data Foreign
- = WrapArray !(Array Val)
- | WrapByteArray !ByteArray
- | WrapBytes !Bytes
- | WrapCDynFunc !CDynFunc
- | WrapCPattern !CPattern
- | WrapCharPattern !CharPattern
- | WrapCode !(Referenced Code)
- | WrapClientSockAddr !ClientSockAddr
- | WrapDLL !DLL
- | WrapFFISpec !FFSpec
- | WrapFFIType !FFType
- | WrapHandle !Handle
- | WrapHashAlgorithm !HashAlgorithm
- | WrapIORef !(IORef Val)
- | WrapInteger !Integer
- | WrapListenSocket !ListenSocket
- | WrapMap !(Map Val Val)
- | WrapMutableByteArray !(MutableByteArray RealWorld)
- | WrapMutableArray !(MutableArray RealWorld Val)
- | WrapMVar !(MVar Val)
- | WrapNatural !Natural
- | WrapProcessHandle !ProcessHandle
- | WrapPromise !(Promise Val)
- | WrapPtr !(Ptr ())
- | WrapReference !Reference
- | WrapReferent !Referent
- | WrapSeq !(Seq Val)
- | WrapSocket !Socket
- | WrapText !Text
- | WrapThreadId !ThreadId
- | WrapTicket !(Ticket Val)
- | WrapTimeSpec !TimeSpec
- | WrapTlsClientParams !ClientParams
- | WrapTlsServerParams !ServerParams
- | WrapTls !Tls
- | WrapTVar !(TVar Val)
- | WrapUDPSocket !UDPSocket
- | WrapValue !(Referenced Value)
- | WrapX509PrivKey !PrivKey
- | WrapX509SignedCertificate !SignedCertificate
- foreignRef :: Foreign -> Reference
- foreignName :: Foreign -> String
- class BuiltinForeign f where
- builtinName :: Tagged f String
- wrapBuiltin :: f -> Foreign
- maybeUnwrapBuiltin :: Foreign -> Maybe f
- newtype AffineRef = ARef (IORef Closure)
- type AEnv = EnumMap Word64 AffineRef
- type DEnv = EnumMap Word64 Val
- data HEnv = HEnv {}
- closureTag :: Closure -> PackedTag
- formDataReplaced :: Reference -> PackedTag -> Seg -> Closure
- unitClosure :: Closure
- data UnboxedTypeTag
- unboxedTypeTagToInt :: UnboxedTypeTag -> Int
- unboxedTypeTagFromInt :: HasCallStack => Int -> UnboxedTypeTag
- type IxClosure = GClosure CombIx
- newtype Callback = Hook (XStack -> IO ())
- data Augment
- data Dump
- data Stack = Stack {}
- 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
- 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)
- marshalUnwrapForeignIO :: (HasCallStack, BuiltinForeign a) => 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
- traverseListToSeg :: (a -> IO Val) -> [a] -> IO Seg
- traverseAccumSegToList :: (Val -> StateT s IO a) -> Seg -> StateT s IO [a]
- natTypeTag :: Closure
- intTypeTag :: Closure
- charTypeTag :: Closure
- floatTypeTag :: Closure
- hasNoAllocations :: Name -> Obligation
- inflateMap :: Map Val Val -> Closure
- deflateMap :: Closure -> Maybe (Map Val Val)
- data HashAlgorithm where
- HashAlgorithm :: HashAlgorithm a => Reference -> a -> HashAlgorithm
- data Tls = Tls {}
Documentation
Constructors
| GPAp | |
| GEnum !Reference !PackedTag | |
| GData1 !Reference !PackedTag !Val | |
| GData2 !Reference !PackedTag !Val !Val | |
| GDataG !Reference !PackedTag !Seg | |
| GCaptured | |
| 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 | |
| GBlackHole | |
Instances
| Foldable GClosure Source # | |
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 # elem :: Eq a => a -> GClosure a -> Bool # maximum :: Ord a => GClosure a -> a # minimum :: Ord a => GClosure a -> a # | |
| Traversable GClosure Source # | |
| Functor GClosure Source # | |
| Show comb => Show (GClosure comb) Source # | |
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
| ForeignConvention a => ForeignConvention (Failure a) Source # | |
Constructors
foreignRef :: Foreign -> Reference Source #
foreignName :: Foreign -> String Source #
class BuiltinForeign f where Source #
Methods
builtinName :: Tagged f String Source #
wrapBuiltin :: f -> Foreign Source #
maybeUnwrapBuiltin :: Foreign -> Maybe f Source #
Instances
closureTag :: Closure -> PackedTag Source #
data UnboxedTypeTag Source #
Instances
| Show UnboxedTypeTag Source # | |
Defined in Unison.Runtime.Stack Methods showsPrec :: Int -> UnboxedTypeTag -> ShowS # show :: UnboxedTypeTag -> String # showList :: [UnboxedTypeTag] -> ShowS # | |
| Eq UnboxedTypeTag Source # | |
Defined in Unison.Runtime.Stack Methods (==) :: UnboxedTypeTag -> UnboxedTypeTag -> Bool # (/=) :: UnboxedTypeTag -> UnboxedTypeTag -> Bool # | |
| Ord UnboxedTypeTag Source # | |
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 # | |
Constructors
| Stack | |
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 #
$sel:apX:XStack :: Stack -> Int# Source #
$sel:fpX:XStack :: Stack -> Int# Source #
$sel:spX:XStack :: Stack -> Int# 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
| |
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
| Show Val Source # | |
| Eq Val Source # | The |
| Ord Val Source # | |
| ForeignConvention Val Source # | |
| BuiltinForeign (Ticket Val) Source # | |
| BuiltinForeign (TVar Val) Source # | |
| BuiltinForeign (IORef Val) Source # | |
| BuiltinForeign (MVar Val) Source # | |
| BuiltinForeign (Seq Val) Source # | |
| BuiltinForeign (Array Val) Source # | |
| BuiltinForeign (Promise Val) Source # | |
| BuiltinForeign (Map Val Val) Source # | |
| BuiltinForeign (MutableArray RealWorld Val) Source # | |
Defined in Unison.Runtime.Stack Methods builtinName :: Tagged (MutableArray RealWorld Val) String Source # wrapBuiltin :: MutableArray RealWorld Val -> Foreign Source # maybeUnwrapBuiltin :: Foreign -> Maybe (MutableArray RealWorld Val) Source # | |
frameDataSize :: K -> Int Source #
data RuntimePanic Source #
Instances
| Exception RuntimePanic Source # | |
Defined in Unison.Runtime.Stack Methods toException :: RuntimePanic -> SomeException # fromException :: SomeException -> Maybe RuntimePanic # displayException :: RuntimePanic -> String # | |
| Show RuntimePanic Source # | |
Defined in Unison.Runtime.Stack Methods showsPrec :: Int -> RuntimePanic -> ShowS # show :: RuntimePanic -> String # showList :: [RuntimePanic] -> ShowS # | |
marshalUnwrapForeignIO :: (HasCallStack, BuiltinForeign a) => Closure -> IO a 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.
pokeI :: Stack -> Int -> IO () Source #
Note: This is for poking an unboxed value that has the UNISON type int, not just any unboxed data.
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.
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.
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 #
hasNoAllocations :: Name -> Obligation Source #
data HashAlgorithm where Source #
Constructors
| HashAlgorithm :: HashAlgorithm a => Reference -> a -> HashAlgorithm |
Instances
| BuiltinForeign HashAlgorithm Source # | |
Defined in Unison.Runtime.Stack Methods builtinName :: Tagged HashAlgorithm String Source # wrapBuiltin :: HashAlgorithm -> Foreign Source # maybeUnwrapBuiltin :: Foreign -> Maybe HashAlgorithm Source # | |
Instances
| Eq Tls Source # | |
| BuiltinForeign Tls Source # | |
Defined in Unison.Runtime.Stack | |