Add roles declarations to allow safe coercions by kl0tl · Pull Request #20

Add roles declarations to allow safe coercions by kl0tl · Pull Request #20 · purescript/purescript-effect

purescript / purescript-effect Public

Notifications You must be signed in to change notification settings
Fork 20
Star 52

Merged

hdgarrood merged 1 commit intopurescript:masterfrom

kl0tl:roles-declarations

Oct 3, 2020

Merged

Add roles declarations to allow safe coercions#20
hdgarrood merged 1 commit intopurescript:masterfrom
kl0tl:roles-declarations

Conversation

Copy link

Member

kl0tl commented
Sep 12, 2020

This allows terms of type Effect a to be coerced to type Effect b when Coercible a b holds, hence allowing the zero cost coerce instead of map wrap and map unwrap to introduce and eliminate newtypes under effects for instance. Ditto for all the uncurried effectful functions types.