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

Repository navigation

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

Merge into purescript-functors? #9

Open

opened

on Aug 15, 2017

No description provided.

garyb commented on Aug 15, 2017
garyb
on Aug 15, 2017
Member
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.

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

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests