| Copyright | (c) Iago Abal 2013-2015 (c) David Castro 2013 |
|---|---|
| License | BSD3 |
| Maintainer | Iago Abal <mail@iagoabal.eu>, David Castro <david.castro.dcp@gmail.com> |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Z3.Common
Description
Common utils for other modules.
Synopsis
- returnValueToMaybe :: Monad m => Bool -> m a -> m (Maybe a)