LangToGroup-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

TuringMachine.SymbolOrMove

Documentation

data MoveOr s Source #

Constructors

S s 
M Move 

Instances

Instances details
Eq s => Eq (MoveOr s) Source # 
Instance details

Defined in TuringMachine.SymbolOrMove

Methods

(==) :: MoveOr s -> MoveOr s -> Bool #

(/=) :: MoveOr s -> MoveOr s -> Bool #

Ord s => Ord (MoveOr s) Source # 
Instance details

Defined in TuringMachine.SymbolOrMove

Methods

compare :: MoveOr s -> MoveOr s -> Ordering #

(<) :: MoveOr s -> MoveOr s -> Bool #

(<=) :: MoveOr s -> MoveOr s -> Bool #

(>) :: MoveOr s -> MoveOr s -> Bool #

(>=) :: MoveOr s -> MoveOr s -> Bool #

max :: MoveOr s -> MoveOr s -> MoveOr s #

min :: MoveOr s -> MoveOr s -> MoveOr s #

type SymbolOrMove = MoveOr Symbol Source #

type ShowedSymbolOrMove = MoveOr ShowedSymbol Source #

getSymbol :: MonadFail m => MoveOr s -> m s Source #

isSymbol :: MoveOr s -> Bool Source #

getMove :: MonadFail m => MoveOr s -> m Move Source #

isMove :: MoveOr s -> Bool Source #

module TuringMachine.Symbol

module TuringMachine.ShowedSymbol

module TuringMachine.Move