[Proposal] Integration of helpers to operate on Newtypes in base

[Hécate]

Hi David, thank you very much for pointing its existence!
There are indeed very interesting helpers that are available there that 
could definitely populate an independent Data.Newtype module in base!

Cheers!

Le 10/11/2020 à 14:36, David Feuer a écrit :
> If you're playing around with these ideas, you may appreciate the 
> coercible-utils package[*]. I basically rewrote the package last year 
> to get really good type inference at the cost of some (hard to use) 
> flexibility.
>
> [*] https://hackage.haskell.org/package/coercible-utils 
> <https://hackage.haskell.org/package/coercible-utils>
>
> On Tue, Nov 10, 2020, 8:23 AM Hécate <hecate at glitchbra.in 
> <mailto:hecate at glitchbra.in>> wrote:
>
>     Hello, CLC and haskell-libraries,
>
>     I am opening a proposal process to consider the integration of
>     several helper functions in `base`, operating on Newtypes, and all
>     based on `coerce`.
>
>     My motivations are that we ought to provide a minimum set of tools
>     in order to work effectively with one of our most beloved and
>     ubiquitous language features.
>
>     Now, these functions that I am about to present to you all do not
>     come out of nowhere. They have been integrated to Kowainik's
>     alternative prelude "Relude", and seem
>     to have found their use amongst their users, me included.
>     Their documentation can be found here =>
>     https://hackage.haskell.org/package/relude-0.7.0.0/docs/Relude-Extra-Newtype.html
>     <https://hackage.haskell.org/package/relude-0.7.0.0/docs/Relude-Extra-Newtype.html>
>
>     but I am reproducing them below for convenience:
>
>     ---
>     un :: forall a n. Coercible a n => n -> a
>
>     Unwraps value from newtype.
>
>     ```
>     >>> newtype Size = Size Int deriving Show
>     >>> un @Int (Size 5)
>     5
>     >>> un (Size 5) == length ['a', 'x', 'b']
>     False
>     ```
>
>     ---
>     wrap :: forall n a. Coercible a n => a -> n
>
>     Wraps value to newtype. Behaves exactly as 'un' but has more
>     meaningful name in case you need to convert some value to newtype.
>
>     ```
>     >>> newtype Flag = Flag Bool deriving (Show, Eq)
>     >>> wrap False == Flag True
>     False
>     ```
>
>     ---
>     under :: forall n a. Coercible a n => (n -> n) -> a -> a
>
>     Applies function to the content of newtype. This function is not
>     supposed to be used on newtypes that are created with the help of
>     smart constructors.
>
>     ```
>     >>> newtype Foo = Foo Bool deriving Show
>     >>> under not (Foo True)
>     Foo False
>     >>> newtype Bar = Bar String deriving Show
>     >>> under (filter (== 'a')) (Bar "abacaba")
>     Bar "aaaa"
>     ```
>
>     As well as the coerced composition operator:
>
>     (#.) :: Coercible b c => (b -> c) -> (a -> b) -> (a -> c)
>     (#.) _f = coerce
>     {-# INLINE (#.) #-}
>
>     Which currently lives in
>     https://hackage.haskell.org/package/base-4.14.0.0/docs/src/Data.Functor.Utils.html#%23
>     <https://hackage.haskell.org/package/base-4.14.0.0/docs/src/Data.Functor.Utils.html#%23>
>     but is not exported.
>
>
>     Regarding the location of these functions, I either see them
>     living in their own "Data.Newtype", or they could join Data.Coerce.
>     I would personally create a new module as to avoid "polluting"
>     Data.Coerce with non-class functions, but this is my personal
>     preference.
>
>
>     Thank you for reading.
>
>     -- 
>     Hécate ✨
>     🐦: @TechnoEmpress
>     IRC: Uniaika
>     WWW:https://glitchbra.in  <https://glitchbra.in>
>     RUN: BSD
>
>     _______________________________________________
>     Libraries mailing list
>     Libraries at haskell.org <mailto:Libraries at haskell.org>
>     http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>     <http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries>
>
-- 
Hécate ✨
🐦: @TechnoEmpress
IRC: Uniaika
WWW: https://glitchbra.in
RUN: BSD

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20201110/b7eeb1d5/attachment.html>