Language.Haskell.Liquid.Prelude

Documentation

plus :: Int -> Int -> Int

minus :: Int -> Int -> Int

times :: Int -> Int -> Int

eq :: Int -> Int -> Bool

neq :: Int -> Int -> Bool

leq :: Int -> Int -> Bool

geq :: Int -> Int -> Bool

lt :: Int -> Int -> Bool

gt :: Int -> Int -> Bool

liquidAssertB :: Bool -> Bool

liquidAssert :: Bool -> a -> a

liquidAssume :: Bool -> a -> a

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

unsafeError :: String -> a

liquidError :: String -> a

crash :: Bool -> a

force :: Bool

choose :: Int -> Int

isEven :: Int -> Bool

isOdd :: Int -> Bool

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

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