FST.Arguments

Documentation

parseInteractive :: [String] -> InteractiveCommand

data InteractiveCommand

Constructors

BuildTransducer

BuildNTransducer

Minimize

Determinize

StdInReg String

Load FilePath

LUnion FilePath FilePath

LProduct FilePath FilePath

LStar FilePath

LComposition FilePath FilePath

Save FilePath

ApplyDown

ApplyUp

ApplyD [String]

ApplyU [String]

ViewReg

ViewInput

ViewOutput

ViewTransducer

Help

ClearMemory

Quit

NoCommand

isFST :: String -> Bool

isDAT :: String -> Bool

isNET :: String -> Bool

isTHIS :: String -> Bool

parseBatch :: [String] -> Either String (FilePath, [BatchCommand])

inputB :: [BatchCommand] -> Maybe FilePath

outputB :: [BatchCommand] -> Maybe FilePath

isUpB :: [BatchCommand] -> Bool