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 a -> Lazyboy a

Executes the given action provided condition flag is set.

class Comparable a b where

A typeclass for comparisons between registers and values.

Methods

equalTo

Arguments

:: a

-> b

-> Lazyboy Condition

Check the equality of two items.

notEqualTo

Arguments

:: a

-> b

-> Lazyboy Condition

Check the inequality of two items.

greaterThan

Arguments

:: a

-> b

-> Lazyboy Condition

Check whether a is greater than b.

lessThan

Arguments

:: a

-> b

-> Lazyboy Condition

Check whether a is less than b.

Instances

Comparable Word8 Register8

An instance for comparing a Word8 and an 8-bit register (this is an alias).

Defined in Lazyboy.Control

Methods

equalTo :: Word8 -> Register8 -> Lazyboy Condition

notEqualTo :: Word8 -> Register8 -> Lazyboy Condition

greaterThan :: Word8 -> Register8 -> Lazyboy Condition

lessThan :: Word8 -> Register8 -> Lazyboy Condition

Comparable Register8 Word8

An instance for comparing an 8-bit register and a Word8.

Defined in Lazyboy.Control

Methods

equalTo :: Register8 -> Word8 -> Lazyboy Condition

notEqualTo :: Register8 -> Word8 -> Lazyboy Condition

greaterThan :: Register8 -> Word8 -> Lazyboy Condition

lessThan :: Register8 -> Word8 -> Lazyboy Condition

Comparable Register8 Register8

An instance for comparing two 8-bit registers.

Defined in Lazyboy.Control

Methods

equalTo :: Register8 -> Register8 -> Lazyboy Condition

notEqualTo :: Register8 -> Register8 -> Lazyboy Condition

greaterThan :: Register8 -> Register8 -> Lazyboy Condition

lessThan :: Register8 -> Register8 -> Lazyboy Condition

if' :: Lazyboy Condition -> Lazyboy a -> Lazyboy a

Executes an action which returns a condition flag, then conditionally executes another action baed on the state of that condition flag.

not :: Lazyboy Condition -> Lazyboy Condition

Boolean NOT operation for inverting Condition flags.

and :: Lazyboy Condition -> Lazyboy Condition -> Lazyboy Condition

Assign boolean values to two registers based on the result flags of some conditions and then AND them and return the result.

or :: Lazyboy Condition -> Lazyboy Condition -> Lazyboy Condition

Assign boolean values to two registers based on the result flags of some conditions and then OR them and return the result.