| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.Runtime.Machine.Types
Synopsis
- type ActiveThreads = Maybe (IORef (Set ThreadId))
- type Tag = Word64
- type DEnv = EnumMap Word64 Val
- type MCombs = RCombs Val
- type Combs = GCombs Void CombIx
- type MSection = RSection Val
- type MBranch = RBranch Val
- type MInstr = RInstr Val
- type MComb = RComb Val
- type MRef = RRef Val
- data Tracer
- refLookup :: String -> Map Reference Word64 -> Reference -> Word64
- die :: HasCallStack => String -> IO a
- data CCache = CCache {
- sandboxed :: Bool
- tracer :: Bool -> Val -> Tracer
- srcCombs :: TVar (EnumMap Word64 Combs)
- combs :: TVar (EnumMap Word64 MCombs)
- combRefs :: TVar (EnumMap Word64 Reference)
- cacheableCombs :: TVar (EnumSet Word64)
- tagRefs :: TVar (EnumMap Word64 Reference)
- freshTm :: TVar Word64
- freshTy :: TVar Word64
- intermed :: TVar (Map Reference (SuperGroup Symbol))
- refTm :: TVar (Map Reference Word64)
- refTy :: TVar (Map Reference Word64)
- sandbox :: TVar (Map Reference (Set Reference))
- refNumsTm :: CCache -> IO (Map Reference Word64)
- refNumsTy :: CCache -> IO (Map Reference Word64)
- refNumTm :: CCache -> Reference -> IO Word64
- baseCCache :: Bool -> IO CCache
- lookupCode :: CCache -> Referent -> IO (Maybe Code)
- resolveCode :: Reference -> Map Reference (SuperGroup Symbol) -> Map Reference Word64 -> EnumSet Word64 -> Maybe Code
- cacheability :: Map Reference Word64 -> EnumSet Word64 -> Reference -> Cacheability
- checkSandboxing :: CCache -> [Reference] -> Closure -> IO Bool
- checkValueSandboxing :: CCache -> [Reference] -> Value -> IO (Either [Referent] [Referent])
- codeValidate :: CCache -> [(Reference, SuperGroup Symbol)] -> IO (Maybe (Failure Text))
Documentation
type ActiveThreads = Maybe (IORef (Set ThreadId)) Source #
A ref storing every currently active thread. This is helpful for cleaning up orphaned threads when the main process completes.
We track threads when running in a host process like UCM,
otherwise, in one-off environments Nothing is used and we don't bother tracking forked threads since they'll be
cleaned up automatically on process termination.
Constructors
| CCache | |
Fields
| |
resolveCode :: Reference -> Map Reference (SuperGroup Symbol) -> Map Reference Word64 -> EnumSet Word64 -> Maybe Code Source #
cacheability :: Map Reference Word64 -> EnumSet Word64 -> Reference -> Cacheability Source #