sboosali / commands-core Goto Github PK

data Symbol a where
 Terminal    :: String -> Symbol String
 NonTerminal :: a      -> Symbol a

generateParser :: Symbol a -> Parser a
generateParser (Terminal    s) = pure s
generateParser (NonTerminal a) = pure a

fmap :: (a -> b) -> Symbol a -> Symbol b
fmap f (Terminal s) = undefined :: Symbol b
...

data Symbol a
 = Terminal    String
 | NonTerminal a

deriving Functor

generateParser :: Symbol a -> Parser a
generateParser (Terminal s) = pure undefined :: Parser a
...