Mercurial and Git clients can push and pull from this alias URL to interact with this repository. You can change to which repository an alias points by going to the Aliases link on the project page.
modulebabybearparser.ParseropenFParsec.CharParsersopenFParsec.PrimitivesopenSystemtypeKeyword=Wordofstring|Phraseofstringwithoverridethis.ToString()=matchthiswith|Words->String.Format("Word<{0}>",s)|Phrases->String.Format("Phrase<{0}>",s)typeFilter=|Authorofstring|DateofDateTime*DateTime|Fileofstring|Projectofstring|RepoofstringtypeAtom=KeywordAtomofKeyword|FilterAtomofFilterwithoverridethis.ToString()=matchthiswith|KeywordAtomk->String.Format("KeywordAtom<{0}>",k)|FilterAtomf->String.Format("FilterAtom<{0}>",f)exceptionParseErrorofstring(* Utilities *)
let pipeline (f, a) = f a
+let failIfNone msg = function+ | Some x -> preturn x+ | None -> fail msg+let stringToDate = function+ | "today" -> Some DateTime.UtcNow.Date+ | "yesterday" -> Some <| DateTime.UtcNow.Date.AddDays(-1.)+ | s -> try DateTime.Parse s |> Some with :? FormatException -> Nonelet findFilter = function
| "author" -> Author
| "file" -> File
|"project"->Project|"repo"->Repo|_->raise<|Exception"Invalid filter name"(* Parsers *)letword=many1Satisfy<|func->c<>' 'letphraseEscape=pchar'\\'>>.pchar'"'letphraseInnard=phraseEscape<|>noneOf"\""letphraseInnards=manyCharsphraseInnardletphrase=between(pchar'"')(pchar'"')phraseInnardslet keyword = (phrase |>> Phrase) <|> (word |>> Word)
let filterName = ["author"; "file"; "project"; "repo"] |> Seq.map pstring |> choice
-let filter =
+let regularFilter =
(filterName |>> findFilter)
.>> (pchar ':')
.>>. (phrase <|> word <?> "filter argument")
|>> pipeline
+let dateWord = many1Chars <| noneOf ". "+let fullDate = (phrase <|> dateWord) |>> stringToDate >>= failIfNone "Unrecognized date"+let dateStart = fullDate <|>% DateTime.MinValue+let dateEnd = fullDate <|>% DateTime.UtcNow.Date+let dateFilter = pstring "date:" >>. dateStart .>> pstring ".." .>>. dateEnd |>> Date+let filter = regularFilter <|> dateFilterlet atom = (filter |>> FilterAtom) <|> (keyword |>> KeywordAtom)
let spaces = many1Satisfy <| fun c -> c = ' '
letatoms=sepByatomspacesletparseinput=matchrunatomsinputwith|Success(x,_,_)->x|Failure(x,_,_)->raise<|ParseErrorx
Attach a Trello Card
Add a tag
Your session has expired
You are no longer logged in. Please log in and try your request again.
Filter RSS Feed
This RSS feed URL allows you to see the contents of your current filter using any feed reader.
This link includes a special authentication token. If you share the URL with anyone else, they can see this RSS feed's activity. You can disable these tokens when needed.
Your current filter is unsaved; changing it won't affect this RSS feed.