on dev help sign in
adjust nullities
64a17baEitan Chatav
squeal-postgresql/src/Squeal/PostgreSQL/Expression.hs+6−6
@@ -977,42 +977,42 @@ isNotDistinctFrom = unsafeBinaryOp "IS NOT DISTINCT FROM"
977>>> printSQL $ true & isTrue
977>>> printSQL $ true & isTrue
978(TRUE IS TRUE)
978(TRUE IS TRUE)
979-}
979-}
980−isTrue :: null 'PGbool :--> 'NotNull 'PGbool
980+isTrue :: null0 'PGbool :--> null1 'PGbool
981isTrue = unsafeUnaryOpR "IS TRUE"
981isTrue = unsafeUnaryOpR "IS TRUE"
982
982
983{- | is false or unknown
983{- | is false or unknown
984>>> printSQL $ true & isNotTrue
984>>> printSQL $ true & isNotTrue
985(TRUE IS NOT TRUE)
985(TRUE IS NOT TRUE)
986-}
986-}
987−isNotTrue :: null 'PGbool :--> 'NotNull 'PGbool
987+isNotTrue :: null0 'PGbool :--> null1 'PGbool
988isNotTrue = unsafeUnaryOpR "IS NOT TRUE"
988isNotTrue = unsafeUnaryOpR "IS NOT TRUE"
989
989
990{- | is false
990{- | is false
991>>> printSQL $ true & isFalse
991>>> printSQL $ true & isFalse
992(TRUE IS FALSE)
992(TRUE IS FALSE)
993-}
993-}
994−isFalse :: null 'PGbool :--> 'NotNull 'PGbool
994+isFalse :: null0 'PGbool :--> null1 'PGbool
995isFalse = unsafeUnaryOpR "IS FALSE"
995isFalse = unsafeUnaryOpR "IS FALSE"
996
996
997{- | is true or unknown
997{- | is true or unknown
998>>> printSQL $ true & isNotFalse
998>>> printSQL $ true & isNotFalse
999(TRUE IS NOT FALSE)
999(TRUE IS NOT FALSE)
1000-}
1000-}
1001−isNotFalse :: null 'PGbool :--> 'NotNull 'PGbool
1001+isNotFalse :: null0 'PGbool :--> null1 'PGbool
1002isNotFalse = unsafeUnaryOpR "IS NOT FALSE"
1002isNotFalse = unsafeUnaryOpR "IS NOT FALSE"
1003
1003
1004{- | is unknown
1004{- | is unknown
1005>>> printSQL $ true & isUnknown
1005>>> printSQL $ true & isUnknown
1006(TRUE IS UNKNOWN)
1006(TRUE IS UNKNOWN)
1007-}
1007-}
1008−isUnknown :: null 'PGbool :--> 'NotNull 'PGbool
1008+isUnknown :: null0 'PGbool :--> null1 'PGbool
1009isUnknown = unsafeUnaryOpR "IS UNKNOWN"
1009isUnknown = unsafeUnaryOpR "IS UNKNOWN"
1010
1010
1011{- | is true or false
1011{- | is true or false
1012>>> printSQL $ true & isNotUnknown
1012>>> printSQL $ true & isNotUnknown
1013(TRUE IS NOT UNKNOWN)
1013(TRUE IS NOT UNKNOWN)
1014-}
1014-}
1015−isNotUnknown :: null 'PGbool :--> 'NotNull 'PGbool
1015+isNotUnknown :: null0 'PGbool :--> null1 'PGbool
1016isNotUnknown = unsafeUnaryOpR "IS NOT UNKNOWN"
1016isNotUnknown = unsafeUnaryOpR "IS NOT UNKNOWN"
1017
1017
1018-- | >>> printSQL currentDate
1018-- | >>> printSQL currentDate