Skip to content

Add Data.Maybe#10

Open
Primetalk wants to merge 2 commits intoJetBrains:masterfrom
Primetalk:feature/data-maybe
Open

Add Data.Maybe#10
Primetalk wants to merge 2 commits intoJetBrains:masterfrom
Primetalk:feature/data-maybe

Conversation

@Primetalk
Copy link

No description provided.

@ice1000
Copy link
Contributor

ice1000 commented Feb 15, 2020

This is a mathematical library, not sure how Maybe is going to be used.
We may have another programming library

@valis
Copy link
Collaborator

valis commented Feb 15, 2020

Maybe may be useful, but it will require some additional lemmas about its relationship with non-decidable subtypes. Anyway, we're adding constructions as they're needed.

Also, in our code style, constructor names begin with lower case letters.

Also remove IsNothing
@ice1000
Copy link
Contributor

ice1000 commented Aug 2, 2020

Turns out this is very useful in writing some solvers. Can we merge this?

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants