cmd_log :: String -> IP.IdrisParser (Either String Command)
cmd_log name = do
    i <- fromIntegral <$> IP.natural
    P.eof
    return (Right (LogLvl i))
cmd_log :: String -> IP.IdrisParser (Either String Command)
cmd_log name = do
    i <- fromIntegral <$> IP.natural
    P.eof
    return (Right (LogLvl i))
cmd_log name = do
    i <- fromIntegral <$> IP.natural
    P.eof
    return (Right (LogLvl i))