phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Condition

Documentation

parseCondition :: String -> Either String Condition Source #

parseConditionThrows :: String -> IO Condition Source #