LangToGroup-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

TuringMachine.Interpreter

Description

Module Interpreter include functions for interpreting of Turing machine.

Documentation

data WorkingState Source #

Instances

Instances details
Eq WorkingState Source # 
Instance details

Defined in TuringMachine.Interpreter

Methods

(==) :: WorkingState -> WorkingState -> Bool #

(/=) :: WorkingState -> WorkingState -> Bool #

Show WorkingState Source # 
Instance details

Defined in TuringMachine.Interpreter

Methods

showsPrec :: Int -> WorkingState -> ShowS #

show :: WorkingState -> String #

showList :: [WorkingState] -> ShowS #

currentState :: Lens' WorkingState State Source #

tape :: Lens' WorkingState Tape Source #

step :: MonadFail m => TuringMachine -> WorkingState -> m (Quadruple, WorkingState) Source #

initWS :: String -> Int -> WorkingState Source #

run :: TuringMachine -> WorkingState -> [WorkingState] Source #

smartRun :: TuringMachine -> WorkingState -> [WorkingState] Source #

superSmartRun :: MonadFail m => TuringMachine -> WorkingState -> m [WorkingState] Source #

module TuringMachine.Interpreter.Tape

module TuringMachine