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.

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

add ``ConstrainedFloat``, ``confloat``, ``PositiveFloat`` and ``NegativeFloat`` types #166

Merged
merged 1 commit into from Apr 28, 2018

Conversation

2 participants
@Gr1N
Collaborator

Gr1N commented Apr 25, 2018

No description provided.

@Gr1N Gr1N force-pushed the Gr1N:float-gt-lt branch from 8abc0b3 to f048ac3 Apr 25, 2018

@codecov

This comment has been minimized.

codecov bot commented Apr 25, 2018

Codecov Report

Merging #166 into master will not change coverage.
The diff coverage is 100%.

@@          Coverage Diff          @@
##           master   #166   +/-   ##
=====================================
  Coverage     100%   100%           
=====================================
  Files           9      9           
  Lines         918    938   +20     
  Branches      204    206    +2     
=====================================
+ Hits          918    938   +20
@Gr1N

This comment has been minimized.

Collaborator

Gr1N commented Apr 28, 2018

@samuelcolvin

This comment has been minimized.

Owner

samuelcolvin commented Apr 28, 2018

Sorry, busy week back from holiday. Will look today.

@samuelcolvin

This comment has been minimized.

Owner

samuelcolvin commented Apr 28, 2018

lgtm, thanks a lot.

@samuelcolvin samuelcolvin merged commit dc07277 into samuelcolvin:master Apr 28, 2018

3 checks passed

codecov/project 100% (+0%) compared to f88e592
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
deploy/netlify Deploy preview ready!
Details

@Gr1N Gr1N deleted the Gr1N:float-gt-lt branch Apr 28, 2018

@Gr1N Gr1N referenced this pull request Apr 28, 2018

Closed

More exotic types #161

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment