| definition: |
showSendMailWithOptions :: String -> String -> [MailOption] -> String -> String showSendMailWithOptions from subject options contents = unlines $ [ "From: " ++ from , "To : " ++ intercalate ", " tos ] ++ (if null ccs then [] else ["Cc : " ++ intercalate ", " ccs ]) ++ (if null bccs then [] else ["Bcc : " ++ intercalate ", " bccs]) ++ [ "Subject: " ++ subject, "", contents, "" ] where tos = [ s | TO s <- options ] ccs = [ s | CC s <- options ] bccs = [ s | BCC s <- options ] |
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Shows the text (wth subject, sender, and recipient) of an email --- to be sent with the command 'sendMailWithOptions' but actually --- does not send it. --- This is useful for debugging or testing before really sending emails. --- --- @param from - the email address of the sender --- @param subject - the subject of the email --- @param options - send options, e.g., multiple recipients --- @param contents - the contents of the email |
| failfree: |
(_, _, _, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_,_) |-> _}
|
| name: |
showSendMailWithOptions |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
String -> String -> [MailOption] -> String -> String |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |