on dev help sign in
docs
a7b8a06Eitan Chatav
squeal-postgresql/src/Squeal/PostgreSQL/Expression.hs+5−8
@@ -734,32 +734,29 @@ least = unsafeFunctionVar "LEAST"
734
734
735-- | >>> printSQL $ unsafeBinaryOp "OR" true false
735-- | >>> printSQL $ unsafeBinaryOp "OR" true false
736-- (TRUE OR FALSE)
736-- (TRUE OR FALSE)
737−unsafeBinaryOp :: ByteString {- ^ operator -} -> Operator ty0 ty1 ty2
737+unsafeBinaryOp :: ByteString -> Operator ty0 ty1 ty2
738unsafeBinaryOp op x y = UnsafeExpression $ parenthesized $
738unsafeBinaryOp op x y = UnsafeExpression $ parenthesized $
739 renderSQL x <+> op <+> renderSQL y
739 renderSQL x <+> op <+> renderSQL y
740
740
741-- | >>> printSQL $ unsafeUnaryOpL "NOT" true
741-- | >>> printSQL $ unsafeUnaryOpL "NOT" true
742-- (NOT TRUE)
742-- (NOT TRUE)
743−unsafeUnaryOpL :: ByteString {- ^ operator -} -> x :--> y
743+unsafeUnaryOpL :: ByteString -> x :--> y
744unsafeUnaryOpL op x = UnsafeExpression $ parenthesized $ op <+> renderSQL x
744unsafeUnaryOpL op x = UnsafeExpression $ parenthesized $ op <+> renderSQL x
745
745
746-- | >>> printSQL $ true & unsafeUnaryOpR "IS NOT TRUE"
746-- | >>> printSQL $ true & unsafeUnaryOpR "IS NOT TRUE"
747-- (TRUE IS NOT TRUE)
747-- (TRUE IS NOT TRUE)
748−unsafeUnaryOpR :: ByteString {- ^ operator -} -> x :--> y
748+unsafeUnaryOpR :: ByteString -> x :--> y
749unsafeUnaryOpR op x = UnsafeExpression $ parenthesized $ renderSQL x <+> op
749unsafeUnaryOpR op x = UnsafeExpression $ parenthesized $ renderSQL x <+> op
750
750
751-- | >>> printSQL $ unsafeFunction "f" true
751-- | >>> printSQL $ unsafeFunction "f" true
752-- f(TRUE)
752-- f(TRUE)
753−unsafeFunction :: ByteString {- ^ function -} -> x :--> y
753+unsafeFunction :: ByteString -> x :--> y
754unsafeFunction fun x = UnsafeExpression $
754unsafeFunction fun x = UnsafeExpression $
755 fun <> parenthesized (renderSQL x)
755 fun <> parenthesized (renderSQL x)
756
756
757-- | >>> printSQL $ unsafeFunctionN "f" (currentTime :* localTimestamp :* false *: literal 'a')
757-- | >>> printSQL $ unsafeFunctionN "f" (currentTime :* localTimestamp :* false *: literal 'a')
758-- f(CURRENT_TIME, LOCALTIMESTAMP, FALSE, E'a')
758-- f(CURRENT_TIME, LOCALTIMESTAMP, FALSE, E'a')
759−unsafeFunctionN
759+unsafeFunctionN :: SListI xs => ByteString -> FunctionN xs y
760− :: SListI xs
761− => ByteString {- ^ function -}
762− -> FunctionN xs y
763unsafeFunctionN fun xs = UnsafeExpression $
760unsafeFunctionN fun xs = UnsafeExpression $
764 fun <> parenthesized (renderCommaSeparated renderSQL xs)
761 fun <> parenthesized (renderCommaSeparated renderSQL xs)
765
762