purescript-newtype

purescript-newtype copied to clipboard

Provide cheap coercions over functors

4

Something like ```purescript unwrapF :: forall f a b. (Functor f, Newtype a b) => f a -> f b unwrapF = unsafeCoerce ```

natefaubion

Some traversey type thing

3

So I came up with this thing: ``` purescript what :: forall f g t a b . Functor f => Functor g => Newtype t b => (b ->...

garyb

Or at least, they are only useful if the functor is known at the call-site, otherwise you will incur a `Coercible` constraint. Previously just having the `Functor` instance was enough....

natefaubion

add unwrapF and unF

17

fixes #10

safareli