Documentation

type QuadrupleFromPart = (State, Symbol) Source #

type QuadrupleToPart = (SymbolOrMove, State) Source #

type Quadruple = (QuadrupleFromPart, QuadrupleToPart) Source #

type Quadruples = Map QuadrupleFromPart QuadrupleToPart Source #

type StrQuadruple = Quadruple String Source #

type StrPair = Pair String Source #

toStrQ :: Quadruple -> StrQuadruple Source #

type Predicate a = a -> Bool Source #

(&.) :: Predicate a -> Predicate a -> Predicate a infixr 3 Source #

(|.) :: Predicate a -> Predicate a -> Predicate a infixr 2 Source #

fromState :: State -> StrQuadruplePredicate Source #

toState :: State -> StrQuadruplePredicate Source #

fromSymbol :: Symbol -> StrQuadruplePredicate Source #

toSymbol :: Symbol -> StrQuadruplePredicate Source #

withMove :: Move -> StrQuadruplePredicate Source #

withoutMove :: StrQuadruplePredicate Source #

takeOnly :: Predicate a -> Getter (Set a) (Set a) Source #

takeFromPart :: Getter (Set StrQuadruple) (Set StrPair) Source #

takeToPart :: Getter (Set StrQuadruple) (Set StrPair) Source #

withoutLoops :: Getter (Set StrQuadruple) (Set StrQuadruple) Source #

copy :: (Listable c String, Indexable c Index String) => Int -> Getter (Set c) (Set [String]) Source #

module TuringMachine.State

module TuringMachine.SymbolOrMove