Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
liquidAssertB :: Bool -> Bool Source
liquidAssert :: Bool -> a -> a Source
liquidAssume :: Bool -> a -> a Source
liquidAssumeB :: (a -> Bool) -> a -> a Source
liquidError :: String -> a Source
safeZipWith :: (a -> b -> c) -> [a] -> [b] -> [c] Source