| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Curly.System
- knownSystems :: Map String System
- hostSystem :: System
- specialize :: forall m. (?sys :: VonNeumannMachine, MonadASM m GlobalID) => String -> AnnExpr GlobalID -> m BinAddress
- specializeStandalone :: System -> LeafExpr GlobalID -> Bytes
- data JITContext s
- newJITContext :: IO (JITContext s)
- jitExpr :: JITContext GlobalID -> AnnExpr GlobalID -> IO RunJITExpr
All known systems
hostSystem :: System Source #
Specializing for imperative systems
specialize :: forall m. (?sys :: VonNeumannMachine, MonadASM m GlobalID) => String -> AnnExpr GlobalID -> m BinAddress Source #
Just-in-time compiling
data JITContext s Source #
newJITContext :: IO (JITContext s) Source #