Control.Monad.BrainFuck

Documentation

newtype BrainFuck a

Constructors

BrainFuck (DataPointer -> ([Char], DataPointer, a))

Instances

Monad BrainFuck

type DataPointer = Integer

func :: BrainFuck f -> DataPointer -> ([Char], DataPointer, f)

Retrieve the inner function

brainfuck :: BrainFuck f -> String

Evaluate the monad and get a brainfuck program

next :: BrainFuck ()

move data pointer right

close :: BrainFuck ()

if byte at data pointer is nonzero, jump to command after matching open

open :: BrainFuck ()

if byte at data pointer is zero, jump to command after close

input :: BrainFuck ()

input byte, storing at data pointer

output :: BrainFuck ()

output byte at data pointer

decr :: BrainFuck ()

decrement data

incr :: BrainFuck ()

increment data

prev :: BrainFuck ()

move data pointer left

add :: Int -> BrainFuck ()

sub :: Int -> BrainFuck ()

cmd :: Char -> BrainFuck ()

Adds an arbitrary character to the program. Should not be used directly.

cmd' :: (DataPointer -> DataPointer) -> Char -> BrainFuck ()

Adds an arbitrary character to the program, and updates the data pointer. Should not be used directly.

multi :: BrainFuck () -> Int -> BrainFuck ()

Run an action multiple times.

addr :: BrainFuck DataPointer

Gets the current address of the data pointer.

setAddr :: Integer -> BrainFuck ()

Moves the data pointer to a specific address.

loopUnless0 :: BrainFuck () -> BrainFuck ()

The loop is only entered if the byte at the data pointer is not zero.

On entry, the loop body is run, and then it loops when the byte at the data pointer is not zero.

data Constants

brainfuckConstants :: (Constants -> BrainFuck a) -> String

Let's run programs with data cells 0-8 reserved to always contain the numbers 0 to 8.

These constants will make brainfuck quite a bit easier to use!

at :: Constants -> Integer -> BrainFuck ()

Sets data pointer to point to one of the Constants.

loop :: Constants -> BrainFuck () -> BrainFuck ()

Run an action in a loop, until it sets its data pointer to 0.

forever :: Constants -> BrainFuck () -> BrainFuck ()

Runs an action in an infinite loop.

demo :: String

Prints out the ASCII table, starting with space, repeatedly.

TODO: Only print printable characters.