Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- triAndClearSymbol :: Symbol e => Integer -> Integer -> Integer -> FullTapeD e
- mulDupAndClearSymbol :: Symbol e => Integer -> Integer -> Integer -> Integer -> FullTapeD e
- dupAndClearSymbol :: Symbol e => Integer -> Integer -> FullTapeD e
- mulAddAndClearSymbol :: Symbol e => Integer -> Integer -> FullTapeD e
- addAndClearSymbol :: Symbol e => Integer -> FullTapeD e
- subAndClearSymbol :: Symbol e => Integer -> FullTapeD e
- setSymbol :: Symbol e => Integer -> FullTapeD e
- incSymbol :: Symbol e => Integer -> FullTapeD e
- nextSymbol :: Symbol e => FullTapeD e
- prevSymbol :: Symbol e => FullTapeD e
- clearSymbol :: Symbol e => FullTapeD e
- writeSymbol :: Symbol e => Char -> FullTapeD e
- moveHead :: Symbol e => Integer -> FullTapeD e
- moveHeadRight :: Symbol e => FullTapeD e
- moveHeadLeft :: Symbol e => FullTapeD e
- newTape :: Symbol e => FullTape e
- type FullTape e = (HalfTape e, HalfTape e)
Documentation
dupAndClearSymbol :: Symbol e => Integer -> Integer -> FullTapeD e #
mulAddAndClearSymbol :: Symbol e => Integer -> Integer -> FullTapeD e #
addAndClearSymbol :: Symbol e => Integer -> FullTapeD e #
subAndClearSymbol :: Symbol e => Integer -> FullTapeD e #
nextSymbol :: Symbol e => FullTapeD e #
prevSymbol :: Symbol e => FullTapeD e #
clearSymbol :: Symbol e => FullTapeD e #
writeSymbol :: Symbol e => Char -> FullTapeD e #
moveHeadRight :: Symbol e => FullTapeD e #
moveHeadLeft :: Symbol e => FullTapeD e #