verifiable-expressions-0.4.0: An intermediate language for Hoare logic style verification.

Safe HaskellNone
LanguageHaskell2010

Language.While.Syntax.Sugar

Documentation

(.=.) :: l -> WhileExpr l AlgReal -> Command l a infix 1 Source #

(\\) :: Command l a -> Command l a -> Command l a infixr 0 Source #

(^^^) :: WhileProp l Bool -> AnnCommand l () -> AnnCommand l () infix 3 Source #

(.==) :: WhileExpr l AlgReal -> WhileExpr l AlgReal -> WhileExpr l Bool Source #

(.<) :: WhileExpr l AlgReal -> WhileExpr l AlgReal -> WhileExpr l Bool infix 8 Source #

(.>) :: WhileExpr l AlgReal -> WhileExpr l AlgReal -> WhileExpr l Bool infix 8 Source #

(.<=) :: WhileExpr l AlgReal -> WhileExpr l AlgReal -> WhileExpr l Bool infix 8 Source #

(.>=) :: WhileExpr l AlgReal -> WhileExpr l AlgReal -> WhileExpr l Bool infix 8 Source #

(.&&) :: WhileExpr l Bool -> WhileExpr l Bool -> WhileExpr l Bool infixr 7 Source #

(.||) :: WhileExpr l Bool -> WhileExpr l Bool -> WhileExpr l Bool infixr 6 Source #

wenot :: WhileExpr l Bool -> WhileExpr l Bool Source #