Skip to content

UInt constructor export for pattern matching #16

@jamesdbrock

Description

@jamesdbrock

It’s too bad we can’t pattern match on a literal UInt 2.

https://pursuit.purescript.org/packages/purescript-protobuf/2.1.1/docs/Protobuf.Internal.Runtime#t:FieldNumberInt

But if we did export the UInt constructor for pattern matching it wouldn't even make sense, because what happens when we pattern match on UInt (-2)? That’s right you know what happens.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    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