Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add option module to Belt #2622

Merged
merged 11 commits into from Mar 16, 2018
Merged

Add option module to Belt #2622

merged 11 commits into from Mar 16, 2018

Commits on Mar 14, 2018

  1. Add option module to belt

    @arnarthor
    arnarthor committed Mar 14, 2018
    Configuration menu
    Copy the full SHA
    e6ecf93 View commit details
    Browse the repository at this point in the history

  2. Fix indent in makefile

    @arnarthor
    arnarthor committed Mar 14, 2018
    Configuration menu
    Copy the full SHA
    6ed6ca2 View commit details
    Browse the repository at this point in the history

  3. belt_Option assert false -> [%assert "getExn"]

    @arnarthor
    arnarthor committed Mar 14, 2018
    Configuration menu
    Copy the full SHA
    4976e58 View commit details
    Browse the repository at this point in the history

  4. belt_Option empty -> isEmpty

    @arnarthor
    arnarthor committed Mar 14, 2018
    Configuration menu
    Copy the full SHA
    8e2f870 View commit details
    Browse the repository at this point in the history

  5. belt_Option exists -> has

    @arnarthor
    arnarthor committed Mar 14, 2018
    Configuration menu
    Copy the full SHA
    781ad87 View commit details
    Browse the repository at this point in the history

  6. belt_Option add uncurried versions of map/fold/flatMap

    @arnarthor
    arnarthor committed Mar 14, 2018
    Configuration menu
    Copy the full SHA
    653c87c View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into master

    @arnarthor
    arnarthor committed Mar 14, 2018
    Configuration menu
    Copy the full SHA
    c9e3bff View commit details
    Browse the repository at this point in the history

  8. Add license to belt_Option module

    @arnarthor
    arnarthor committed Mar 14, 2018
    Configuration menu
    Copy the full SHA
    a77fcbb View commit details
    Browse the repository at this point in the history

  9. Rename getOrElse -> getWithDefault, has -> isSome, isEmpty -> isNone

    @arnarthor
    arnarthor committed Mar 14, 2018
    Configuration menu
    Copy the full SHA
    fa45dd9 View commit details
    Browse the repository at this point in the history

  10. Add eq and cmp functions

    @arnarthor
    arnarthor committed Mar 14, 2018
    Configuration menu
    Copy the full SHA
    b03196a View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2018

  1. fold -> mapWithDefault

    @arnarthor
    arnarthor committed Mar 15, 2018
    Configuration menu
    Copy the full SHA
    9452c2a View commit details
    Browse the repository at this point in the history