Skip to content

“bless” strict functors from base by re-exporting them from Yaya.Pattern #82

@sellout

Description

@sellout

The Yaya.Pattern module is for types suitable for use as pattern functors. A requirement (for totality) of pattern functors is that they are strict in all occurrences of the final type parameter.

Currently, Yaya.Pattern holds both novel functors (like XNor and AndMaybe) and strict replacements for functors in base (like the re-exports of Either and Maybe from strict). It should also re-export functors from base (and other dependencies of Yaya) that satisfy this requirement.

Examples:

  • Const and Proxy are strict because their final parameter is phantom
  • Identity is strict because it’s a newtype over its final parameter

Constructors, fields, and other fundamental operations should also be re-exported.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions