From 2ab08f15a938f1ef393d8af0422fa84fd519b4f3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Facundo=20Dom=C3=ADnguez?= Date: Thu, 2 Nov 2023 10:48:22 -0300 Subject: [PATCH] Update Language.Haskell.Liquid.Types.Generics --- .../Language/Haskell/Liquid/Types/Generics.hs | 21 +++---------------- 1 file changed, 3 insertions(+), 18 deletions(-) diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Generics.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Generics.hs index 2a2848a84a..58bfd49ddd 100644 --- a/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Generics.hs +++ b/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Generics.hs @@ -1,25 +1,12 @@ -{- | Geriving instances, generically. - This module shares some of the underlying ideas and implementations of the - [generic-data](https://hackage.haskell.org/package/generic-data-0.8.1.0/docs/Generic-Data.html) - package, allowing us to derive a bunch of instances using the underlying 'Generic' implementation, - but in a more declarative way. - - In particular we introduc the 'Generically' newtype wrapper to be used with '-XDerivingVia' to make - derivation explicit. For example: - -@ - data Foo = Foo - deriving Generic - deriving Eq via Generically Foo -@ +{- | Deriving instances of Hashable and Binary, generically. -} -{-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE UndecidableInstances #-} +{-# OPTIONS_GHC -Wno-orphans #-} -module Language.Haskell.Liquid.Types.Generics where +module Language.Haskell.Liquid.Types.Generics() where import GHC.Generics import Data.Hashable @@ -27,8 +14,6 @@ import Data.Binary import Data.Hashable.Generic import Data.Function -newtype Generically a = Generically a deriving Generic - -- * 'Hashable' instance (Eq (Generically a), Generic a, GHashable Zero (Rep a)) => Hashable (Generically a) where