liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellSafe
LanguageHaskell98

Language.Haskell.Liquid.Prelude

Documentation

plus :: Int -> Int -> Int Source #

minus :: Int -> Int -> Int Source #

times :: Int -> Int -> Int Source #

eq :: Int -> Int -> Bool Source #

neq :: Int -> Int -> Bool Source #

leq :: Int -> Int -> Bool Source #

geq :: Int -> Int -> Bool Source #

lt :: Int -> Int -> Bool Source #

gt :: Int -> Int -> Bool Source #

liquidAssert :: Bool -> a -> a Source #

liquidAssume :: Bool -> a -> a Source #

liquidAssumeB :: (a -> Bool) -> a -> a Source #

crash :: Bool -> a Source #

safeZipWith :: (a -> b -> c) -> [a] -> [b] -> [c] Source #

(==>) :: Bool -> Bool -> Bool infixr 8 Source #