问Haskell while to do while

EN

我是Haskell的新手，我已经在这上面工作了几个月了，如果有人愿意帮助我，我会很高兴！我正在尝试让这个程序与do while循环一起工作。

我有一个while语句，它可以运行这个阶乘程序"x = 4；y= 1；while !(x == 0) do (y =y* x；x=x- 1)“，它给出了输出"("x"，整数0)，("y"，整数24)”。程序是这样的：

whilestatement :: Parser Com
whilestatement = 
    do
        symbol "while"
        b <- bexpr
        symbol "do"
        s <- com
        return (While b s)

任务是创建一个do while语句，它可以运行这个阶乘程序"x =4；y= 1；do (y =y* x；x=x- 1) while !(x == 0)“。我所做的只是在while语句中做了一些更改。我改变了这部分只是互换了符号"do“和符号"while"：

whilestatement :: Parser Com
whilestatement = 
    do
        symbol "do"
        s <- com
        symbol "while"
        b <- bexpr
        return (While b s)

程序运行并给出相同的输出。但是这是做while语句的正确方法吗?或者你能帮我做这个while语句to do while语句吗？谢谢