liquidhaskell-0.4.0.1: Liquid Types for Haskell

Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.Prelude

Documentation

plus :: 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