Skip to content

Core libraries work for 0.12.0 #3116

Description

@paf31
  • eff changes to remove effect rows
    • Changes to refs, exceptions and so on
  • Reimplement ST in terms of refs as its own separate monad
  • psci-support changes for instance chains
  • typelevel-prelude merges
  • Remove kind-specific proxy types
  • Move RowList to PreludelPrim and add Record instances for Show, Eq, Ord, etc.
  • Deprecate old generics and remove record support from generics
  • updates to try purescript, demos, etc

EDIT (Liam) - proxy syntax was removed so we shouldn't remove kind-specific proxies, and RowList may be moved to Prim via #3179

Libraries:

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions