Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type MachineMonad s o xs n r a = Reader (Ctx s o a) (Γ s o xs n r a -> Code (ST s (Maybe a))) Source #
type family Func (rs :: [Type]) s o a x where ... Source #
Func '[] s o a x = SubRoutine s o a x | |
Func (r ': rs) s o a x = STRef s r -> Func rs s o a x |
data QSubRoutine s o a x Source #
forall rs. QSubRoutine (Code (Func rs s o a x)) (Regs rs) |
newtype Machine s o xs n r a Source #
Machine | |
|
askSub :: MonadReader (Ctx s o a) m => MVar x -> m (Code (SubRoutine s o a x)) Source #
debugLevel :: Ctx s o a -> Int Source #
breakPiggy :: Ctx s o a -> Ctx s o a Source #
isBankrupt :: Ctx s o a -> Bool Source #