Author Commit Message Labels Comments Date
Default avatar Dmitry Grebeniuk
Option: + map
Default avatar Dmitry Grebeniuk
BitArray: + intersects
Default avatar Dmitry Grebeniuk
BitArray: on internal representation and comparison using ( = )
Default avatar Dmitry Grebeniuk
List: + findi_{exn,opt}
Default avatar Dmitry Grebeniuk
BitArray: + to/of string representation
Default avatar Dmitry Grebeniuk
maps: + for_all, + exists
Default avatar Dmitry Grebeniuk
maps: +get_def
Default avatar Dmitry Grebeniuk
bimap: + #fold
Default avatar Dmitry Grebeniuk
+ bidirectional maps; however, not very well thought-out conception
Default avatar Dmitry Grebeniuk
String: +for_all
Default avatar Dmitry Grebeniuk
Cadastr.map_foldable: + #iter
Default avatar Dmitry Grebeniuk
List: + rev_iter
Default avatar Dmitry Grebeniuk
Strings.Utf8: + length, + sub
Default avatar Dmitry Grebeniuk
Strings.Utf8: type aliases
Default avatar Dmitry Grebeniuk
bitarray: + all_equal_to, + fill_all, + test it
Default avatar Dmitry Grebeniuk
bitarray todos
Default avatar Dmitry Grebeniuk
+ BitArray
Default avatar Dmitry Grebeniuk
String: + replace_char
Default avatar Dmitry Grebeniuk
String: + blit_copy
Default avatar Dmitry Grebeniuk
Int: + monoid_{min,max}
Default avatar Dmitry Grebeniuk
List: + minus
Default avatar Dmitry Grebeniuk
List: + partition_map
Default avatar Dmitry Grebeniuk
List: + merge_pairs
Default avatar Dmitry Grebeniuk
Memo module (simple memoization) / fix
Default avatar Dmitry Grebeniuk
+ Memo module (simple memoization)
Default avatar Dmitry Grebeniuk
new oasis boilerplate
Default avatar Dmitry Grebeniuk
Cd_List: + is_uniq
Default avatar Dmitry Grebeniuk
Cd_Utf8: fix_broken_utf8
Default avatar Dmitry Grebeniuk
String.split: more effective implementation
Default avatar Dmitry Grebeniuk
+ List.one : 'a -> list 'a
  1. Prev
  2. Next
Help
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.