Lazyboy.Control

This module defines methods of controlling the flow of execution for Lazyboy.

Documentation

getLabel :: Lazyboy Integer

Get a label, and in the process increment the counter used to track labels. this provides a safe interface to label retrieval and utilization.

getLocalLabel :: Lazyboy Label

Get a local label. The name is guaranteed to be unique.

getGlobalLabel :: Lazyboy Label

Get a global label. The name is guaranteed to be unique.

withLabel :: (Label -> Lazyboy ()) -> Lazyboy ()

Execute an action within a global label and pass the action the label.

withLocalLabel :: (Label -> Lazyboy ()) -> Lazyboy ()

Execute an action within a local label and pass the action the label.

embedFile :: FilePath -> Lazyboy Label

Embed a file and return a global label for it. A jump over the block of data is added to prevent the image data being executed.

embedImage :: FilePath -> Lazyboy Label

Embed an image and return a (global) label for it. A jump over the block of data is added to prevent the image data being executed.

embedBytes :: [Word8] -> Lazyboy Label

Embed a sequence of bytes into the file and return a (global) label for it. A jump over the block of data is added to prevent the image data being executed.

freeze :: Lazyboy ()

Suspend execution indefinitely by disabling interrupts and halting.

cond :: Condition -> Lazyboy () -> Lazyboy ()

Executes the given action provided condition flag is set.