ReadGrammar

Documentation

data LitGrm

Constructors

LitGrm

Fields

• start :: Maybe String
• rules :: [(String, [[String]])]
• rhss :: [[String]]

readGrammar :: Monad m => [String] -> m (Maybe String, [ProductionRule])

convert :: [String] -> (String, [[String]]) -> [ProductionRule]

data State

Constructors

NoState

StartSymbol String

Lhs String

Rhs [[String]]

Instances

Eq State

Defined in ReadGrammar

Methods

(==) :: State -> State -> Bool

(/=) :: State -> State -> Bool

begin :: Monad m => [Char] -> m State

takeWord :: String -> String

rep :: Monad m => State -> [String] -> m LitGrm

test :: (String -> IO a) -> IO ()

repTest :: (String -> IO a) -> [FilePath] -> IO ()

parsing :: String -> IO ()

prLhsRhss :: String -> [[String]] -> IO ()

conversion :: String -> IO ()