Merge IOHK fork

[peterbecich]

Closes #63

Uses https://hackage.haskell.org/package/wl-pprint-text-1.2.0.2

Merge is not complete yet

[peterbecich]

TODO DecodeJsonField
c55622e
c0dbf86

[peterbecich]

TODO fix type error in example. See spago build

[peterbecich]

TODO #74 (comment)

[flip111]

When i load the code into GHCI i get

Not in scope: type constructor or class ‘Eq’
Not in scope: type constructor or class ‘Ord’
Not in scope: type constructor or class ‘Show’

for file https://github.com/peterbecich/purescript-bridge/blob/f1c0879094be41b3e6ef6846db00a28e461ef35a/src/Language/PureScript/Bridge/TypeInfo.hs

import Data.Eq (Eq)

fixed it for me

[peterbecich]

@flip111 , I don't see that error.

Are you on GHC 9.2 or higher? If not, would you try using the Nix Flake?

nix develop will provide GHC 9.2. Then cabal repl.

[peterbecich]

More detail about #77 (comment)

Using the parent repository currently, Haskell

data Bar a = Bar a
  deriving (Generic, Show, Typeable, FromJSON, ToJSON)

generates PureScript

newtype Bar a =
    Bar a

instance encodeJsonBar :: (Generic a ra, EncodeJson a) => EncodeJson (Bar a) where
  encodeJson = genericEncodeAeson Argonaut.defaultOptions
instance decodeJsonBar :: (Generic a ra, DecodeJson a, DecodeJsonField a) => DecodeJson (Bar a) where
  decodeJson = genericDecodeAeson Argonaut.defaultOptions
  
_Bar :: forall a. Iso' (Bar a) a
_Bar = _Newtype

That is correct.

In this PR,

data BarSimple a = BarSimple a
  deriving (Generic, Show, Typeable, FromJSON, ToJSON)

generates PureScript

newtype BarSimple a = BarSimple a

instance (Show a) => Show (BarSimple a) where
  show a = genericShow a

derive instance (Eq a) => Eq (BarSimple a)

derive instance (Ord a) => Ord (BarSimple a)

derive instance Newtype (BarSimple a) _

derive instance Generic (BarSimple a) _

instance (EncodeJson a) => EncodeJson (BarSimple a) where
  encodeJson = genericEncodeAeson Argonaut.defaultOptions

instance (DecodeJson a) => DecodeJson (BarSimple a) where
  decodeJson = genericDecodeAeson Argonaut.defaultOptions

. DecodeJsonField is missing

[peterbecich]

replaced by #89