Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

# Documentation

Conditional expressions over type `a`

and its mappings.
Supported operations:
* equality check :==
* disunction :&&
* conjunction :||

Typical usage: Say we have variable 'var :: a', a function 'f :: a -> b' and a value 'val :: b'. Expression 'f :== b' acts as 'f a == b' Examples:

data D = D { fld1 :: Int , fld2 :: String , fld3 :: Double } d = D 42 "noononno" 1.618 d `matches` (fld1 :== 12 :&& fld2 :== "abc") False d `matches` (fld1 :== 42 :|| fld3 == 1.0) True