Skip to content

Instantly share code, notes, and snippets.

@ponzao
Created February 14, 2014 13:30
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ponzao/9000989 to your computer and use it in GitHub Desktop.
Save ponzao/9000989 to your computer and use it in GitHub Desktop.
let positions x (arr: 'a []) =
let n = arr.Length - 1
let idxs = [|0..n|]
Array.zip idxs arr
|> Array.filter (fun (_, v) -> v = x)
|> Array.map (fun (idx, _) -> idx)
positions 'b' [|'a';'b';'a';'a';'b'|]
// [|1; 4|]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment