From 87fbc27f35c9eda125a91790f6175222c0ffbc0f Mon Sep 17 00:00:00 2001 From: sevillaarvin <33614172+sevillaarvin@users.noreply.github.com> Date: Tue, 20 Apr 2021 11:21:06 +0800 Subject: [PATCH 1/2] docs(generic): update Data.Generic.Rep link MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Point `Data.Generic.Rep` from the [deprecated link](https://pursuit.purescript.org/packages/purescript-generics-rep/6.1.4/docs/Data.Generic.Rep#t:Generic) to the [new link](https://pursuit.purescript.org/packages/purescript-prelude/5.0.0/docs/Data.Generic.Rep#t:Generic) Also forgot to change `genericShow` reference from last pull request https://github.com/purescript/documentation/pull/385: ```purescript #+begin_src purescript import Data.Generic.Rep (class Generic) import Data.Show.Generic (genericShow) -- import Data.Generic.Rep.Show (genericShow) import Effect.Console (logShow) :paste data MyADT = Some | Arbitrary Int | Contents Number String derive instance genericMyADT :: Generic MyADT _ instance showMyADT :: Show MyADT where show = genericShow main = logShow [Some, Arbitrary 1, Contents 2.0 "Three"] #+end_src #+RESULTS: : PSCi, version 0.14.0 : Type :? for help : : import Prelude : : > > > > > > … … … … … … … … … … … … … > See ya! : () ``` --- guides/Type-Class-Deriving.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/guides/Type-Class-Deriving.md b/guides/Type-Class-Deriving.md index 38a96a9..a3e82af 100644 --- a/guides/Type-Class-Deriving.md +++ b/guides/Type-Class-Deriving.md @@ -23,7 +23,7 @@ nub [Some, Arbitrary 1, Some, Some] == [Some, Arbitrary 1] ``` Currently, instances for the following classes can be derived by the compiler: -- [Data.Generic.Rep (class Generic)](https://pursuit.purescript.org/packages/purescript-generics-rep/docs/Data.Generic.Rep#t:Generic) +- [Data.Generic.Rep (class Generic)](https://pursuit.purescript.org/packages/purescript-prelude/5.0.0/docs/Data.Generic.Rep#t:Generic) - [Data.Eq (class Eq)](https://pursuit.purescript.org/packages/purescript-prelude/docs/Data.Eq#t:Eq) - [Data.Ord (class Ord)](https://pursuit.purescript.org/packages/purescript-prelude/docs/Data.Ord#t:Ord) - [Data.Functor (class Functor)](https://pursuit.purescript.org/packages/purescript-prelude/docs/Data.Functor#t:Functor) @@ -72,7 +72,7 @@ But we _can_ use `genericShow`, which works with _any_ type that has a `Generic` ```purescript import Data.Generic.Rep (class Generic) -import Data.Generic.Rep.Show (genericShow) +import Data.Show.Generic (genericShow) import Effect.Console (logShow) derive instance genericMyADT :: Generic MyADT _ From 9a6c40bd86d36738499b048a30e9f3422411472f Mon Sep 17 00:00:00 2001 From: sevillaarvin <33614172+sevillaarvin@users.noreply.github.com> Date: Tue, 20 Apr 2021 19:04:36 +0800 Subject: [PATCH 2/2] Update guides/Type-Class-Deriving.md Co-authored-by: milesfrain --- guides/Type-Class-Deriving.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/guides/Type-Class-Deriving.md b/guides/Type-Class-Deriving.md index a3e82af..e8286ef 100644 --- a/guides/Type-Class-Deriving.md +++ b/guides/Type-Class-Deriving.md @@ -23,7 +23,7 @@ nub [Some, Arbitrary 1, Some, Some] == [Some, Arbitrary 1] ``` Currently, instances for the following classes can be derived by the compiler: -- [Data.Generic.Rep (class Generic)](https://pursuit.purescript.org/packages/purescript-prelude/5.0.0/docs/Data.Generic.Rep#t:Generic) +- [Data.Generic.Rep (class Generic)](https://pursuit.purescript.org/packages/purescript-prelude/docs/Data.Generic.Rep#t:Generic) - [Data.Eq (class Eq)](https://pursuit.purescript.org/packages/purescript-prelude/docs/Data.Eq#t:Eq) - [Data.Ord (class Ord)](https://pursuit.purescript.org/packages/purescript-prelude/docs/Data.Ord#t:Ord) - [Data.Functor (class Functor)](https://pursuit.purescript.org/packages/purescript-prelude/docs/Data.Functor#t:Functor) @@ -155,4 +155,3 @@ instance showChain :: Show a => Show (Chain a) where ``` This technique of undoing point free notation is known as _eta expansion_. -