Language.Brainfuck

Documentation

data Command

The complete BF language:

• > Increment the pointer.
• < Decrement the pointer.
• + Increment the byte at the pointer.
• - Decrement the byte at the pointer.
• . Output the byte at the pointer.
• , Input a byte and store it in the byte at the pointer.
• [ Jump forward past the matching ] if the byte at the pointer is zero.
• ] Jump backward to the matching [ unless the byte at the pointer is zero.

Constructors

IncPtr

IncPtrBy !Int

Increment pointer by set amount

DecPtr

IncByte

IncByteBy !Int

Increment by a set amount

DecByte

OutputByte

JmpForward !Int

nesting level

JmpBackward !Int

nesting level

SetIpTo !Int

Sets the instruction ptr to a specific value

Halt

Ignored

Instances

Eq Command

Show Command

type Core = IOUArray Int Word8

type InstPtr = Int

type CorePtr = Int

data BF

Constructors

BF !Core !CorePtr !InstPtr

Instances

Show BF

coreSize :: Int

core :: IO Core

decode :: Char -> State Int Command

debug :: Bool

incIP :: InstPtr -> InstPtr

incCP :: CorePtr -> CorePtr

decCP :: CorePtr -> CorePtr

doCommand :: Array Int Command -> BF -> IO BF

nextJmp :: Array Int Command -> InstPtr -> (InstPtr -> InstPtr) -> Command -> InstPtr

chrToWord8 :: Char -> Word8

word8ToChr :: Word8 -> Char

updateByte :: MArray IOUArray Word8 m => BF -> (Word8 -> Word8) -> m BF

loadProgram :: String -> Array Int Command

optimize :: [Command] -> Array Int Command

execute :: Array Int Command -> Int -> BF -> IO ()

halt :: IO ()