generically (empty) → 0.1

raw patch · 4 files changed

+177/−0 lines, 4 filesdep +base

Dependencies added: base

Files

CHANGELOG.md +3/−0
LICENSE +28/−0
generically.cabal +37/−0
src/GHC/Generics/Generically.hs +109/−0

+ CHANGELOG.md view

@@ -0,0 +1,3 @@+# 0.1 -- 2022-06-15++* First version.

+ LICENSE view

@@ -0,0 +1,28 @@+All rights reserved.++Redistribution and use in source and binary forms, with or without+modification, are permitted provided that the following conditions are met:++    * Redistributions of source code must retain the above copyright+      notice, this list of conditions and the following disclaimer.++    * Redistributions in binary form must reproduce the above+      copyright notice, this list of conditions and the following+      disclaimer in the documentation and/or other materials provided+      with the distribution.++    * Neither the name of Herbert Valerio Riedel nor the names of other+      contributors may be used to endorse or promote products derived+      from this software without specific prior written permission.++THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

+ generically.cabal view

@@ -0,0 +1,37 @@+cabal-version:      1.12+name:               generically+version:            0.1+synopsis:           Generically newtype to use with DerivingVia+description:+  This is a compatibility package as @Generically@ and @Generically1@ newtypes+  are available since @base-4.17@ in 'GHC.Generics'.++bug-reports:        https://github.com/haskell-compat/generically/issues+author:             Oleg Grenrus+maintainer:         Oleg Grenrus <oleg.grenrus@iki.fi>+copyright:          2022 Oleg Grenrus+license:            BSD3+license-file:       LICENSE+category:           Generics+build-type:         Simple+extra-source-files: CHANGELOG.md+tested-with:+  GHC ==8.0.2+   || ==8.2.2+   || ==8.4.4+   || ==8.6.5+   || ==8.8.4+   || ==8.10.7+   || ==9.0.2+   || ==9.2.3+   || ==9.4.1++source-repository head+  type:     git+  location: https://github.com/haskell-compat/generically.git++library+  default-language: Haskell2010+  build-depends:    base >=4.9 && <4.18+  hs-source-dirs:   src+  exposed-modules:  GHC.Generics.Generically

+ src/GHC/Generics/Generically.hs view

@@ -0,0 +1,109 @@+{-# LANGUAGE CPP #-}+{-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE UndecidableInstances #-}+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE PolyKinds #-}+{-# LANGUAGE InstanceSigs #-}+#if __GLASGOW_HASKELL__ >= 810+{-# LANGUAGE StandaloneKindSignatures #-}+#endif+-- | This module exports 'Generically' and 'Generically' newtypes+-- meant to be used with "GHC.Generics" and @DerivingVia@.+--+-- These types are re-exported from "GHC.Generics" on @base-4.17@ and later,+-- and defined here for older @base@ versions.+--+module GHC.Generics.Generically (+    Generically (..),+    Generically1 (..),+) where++#if MIN_VERSION_base(4,17,0)+import GHC.Generics+#else++#if __GLASGOW_HASKELL__ >= 810+import Data.Kind (Type)+#endif++#if !MIN_VERSION_base(4,11,0)+import Data.Semigroup (Semigroup (..))+#endif++import GHC.Generics+import Control.Applicative (liftA2)+import Control.Applicative (Alternative (..))+import Data.Functor.Classes (Ord1 (..), Eq1 (..))++-------------------------------------------------------------------------------+-- Generically+-------------------------------------------------------------------------------++-- | A type whose instances are defined generically, using the+-- 'Generic' representation. +newtype Generically a = Generically a++instance (Generic a, Semigroup (Rep a ())) => Semigroup (Generically a) where+  (<>) :: Generically a -> Generically a -> Generically a+  Generically a <> Generically b = Generically (to (from a <> from b :: Rep a ()))++instance (Generic a, Monoid (Rep a ())) => Monoid (Generically a) where+  mempty :: Generically a+  mempty = Generically (to (mempty :: Rep a ()))++  mappend :: Generically a -> Generically a -> Generically a+#if MIN_VERSION_base(4,11,0)+  mappend = (<>)+#else+  mappend (Generically a) (Generically b) = Generically (to (mappend (from a) (from b) :: Rep a ()))+#endif++-------------------------------------------------------------------------------+-- Generically1+-------------------------------------------------------------------------------++#if __GLASGOW_HASKELL__ >= 810+type    Generically1 :: forall k. (k -> Type) -> (k -> Type)+#endif++-- | A datatype whose instances are defined generically, using the+-- 'Generic' representation. 'Generically1' is a higher-kinded version+-- of 'Generically' that uses 'Generic1'.+newtype Generically1 f a = Generically1 (f a)++instance (Generic1 f, Functor (Rep1 f)) => Functor (Generically1 f) where+  fmap :: (a -> a') -> (Generically1 f a -> Generically1 f a')+  fmap f (Generically1 as) = Generically1 (to1 (fmap f (from1 as)))++  (<$) :: a -> Generically1 f b -> Generically1 f a+  a <$ Generically1 as = Generically1 (to1 (a <$ from1 as))++instance (Generic1 f, Applicative (Rep1 f)) => Applicative (Generically1 f) where+  pure :: a -> Generically1 f a+  pure a = Generically1 (to1 (pure a))++  (<*>) :: Generically1 f (a -> b) -> Generically1 f a -> Generically1 f b+  Generically1 fs <*> Generically1 as = Generically1 (to1 (from1 fs <*> from1 as))++#if MIN_VERSION_base(4,10,0)+  liftA2 :: (a -> b -> c) -> (Generically1 f a -> Generically1 f b -> Generically1 f c)+  liftA2 f (Generically1 as) (Generically1 bs) = Generically1 (to1 (liftA2 f (from1 as) (from1 bs)))+#endif++instance (Generic1 f, Alternative (Rep1 f)) => Alternative (Generically1 f) where+  empty :: Generically1 f a+  empty = Generically1 (to1 empty)++  (<|>) :: Generically1 f a -> Generically1 f a -> Generically1 f a+  Generically1 as1 <|> Generically1 as2 = Generically1 (to1 (from1 as1 <|> from1 as2))++instance (Generic1 f, Eq1 (Rep1 f)) => Eq1 (Generically1 f) where+  liftEq :: (a -> b -> Bool) -> (Generically1 f a -> Generically1 f b -> Bool)+  liftEq eq (Generically1 as1) (Generically1 as2) = liftEq eq (from1 as1) (from1 as2)++instance (Generic1 f, Ord1 (Rep1 f)) => Ord1 (Generically1 f) where+  liftCompare :: (a -> b -> Ordering) -> (Generically1 f a -> Generically1 f b -> Ordering)+  liftCompare cmp (Generically1 as1) (Generically1 as2) = liftCompare cmp (from1 as1) (from1 as2)++-- MIN_VERSION_base(4,17,0)+#endif