Skip to content
This repository was archived by the owner on Oct 4, 2020. It is now read-only.

Merge into purescript-functors? #9

Open
Thimoteus opened this issue Aug 15, 2017 · 1 comment
Open

Merge into purescript-functors? #9

Thimoteus opened this issue Aug 15, 2017 · 1 comment

Comments

@Thimoteus
Copy link

No description provided.

@garyb
Copy link
Member

garyb commented Aug 15, 2017

I think it probably should be, as there are potentially various useful Injects, but restricted by type since they're essentially closed. Also they might vary in kind, Data.Functor.Coproduct.Inject, Data.Either.Inject, etc.

@garyb garyb mentioned this issue Apr 13, 2018
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@garyb @Thimoteus