LangToGroup-0.1.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

ConfigType

Description

This module represents a configuration of the Turing machine TM.

Synopsis

Documentation

newtype Configs Source #

This is type of configurations of the Turing machine.

Constructors

Configs [[([Square], State, [Square])]] 

Instances

Instances details
Eq Configs Source # 
Instance details

Defined in ConfigType

Methods

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

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

Ord Configs Source # 
Instance details

Defined in ConfigType

Methods

compare :: Configs -> Configs -> Ordering #

(<) :: Configs -> Configs -> Bool #

(<=) :: Configs -> Configs -> Bool #

(>) :: Configs -> Configs -> Bool #

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

max :: Configs -> Configs -> Configs #

min :: Configs -> Configs -> Configs #

Show Configs Source # 
Instance details

Defined in ConfigType

Methods

showsPrec :: Int -> Configs -> ShowS #

show :: Configs -> String #

showList :: [Configs] -> ShowS #