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