Skip to content

[generics-rep] newtype NoConstructors = NoConstructors Void #247

Closed
#282
Closed
[generics-rep] newtype NoConstructors = NoConstructors Void#247
#282
Labels
purs-0.15A reminder to address this issue or merge this PR before we release PureScript v0.15.0type: breaking changeA change that requires a major version bump.

Description

@no-longer-on-githu-b
no-longer-on-githu-b
opened on Jun 5, 2017

This way you can use absurd. Although if we implement purescript/purescript#2922 then this is not necessary.

Metadata

Metadata

Assignees

No one assigned

    Labels

    purs-0.15A reminder to address this issue or merge this PR before we release PureScript v0.15.0type: breaking changeA change that requires a major version bump.

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions