X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FGenerics.hs;h=76a8a2b8230891f83f84d74601a70fa552cf85e9;hb=7be52948a693fbd8f79ba9035092b74b26775e4f;hp=8e6658940fd0330cefe071e491c16bf13c6299d0;hpb=d3a9a422741104a526dedfbe4032d81c728cdbe1;p=dead%2Fhtsn-import.git diff --git a/src/Generics.hs b/src/Generics.hs index 8e66589..76a8a2b 100644 --- a/src/Generics.hs +++ b/src/Generics.hs @@ -2,12 +2,35 @@ {-# LANGUAGE NoMonomorphismRestriction #-} {-# LANGUAGE TypeFamilies #-} +-- These can go if the tuple instances are accepted upstream. + +{-# LANGUAGE TemplateHaskell #-} +{-# LANGUAGE DataKinds #-} +{-# OPTIONS_GHC -fno-warn-orphans #-} + module Generics ( Generic(..), to_tuple ) where import Generics.SOP ( Code, Generic(..) ) +import Generics.SOP.TH ( deriveGeneric ) + +deriveGeneric ''(,,,,,,,,,,,,,,,) +deriveGeneric ''(,,,,,,,,,,,,,,,,) +deriveGeneric ''(,,,,,,,,,,,,,,,,,) +deriveGeneric ''(,,,,,,,,,,,,,,,,,,) +deriveGeneric ''(,,,,,,,,,,,,,,,,,,,) -- 20 +deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,) +deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,) +deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,) +deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,,) +deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,,,) -- 25 +deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,,,,) +deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,,,,,) +deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,,,,,,) +deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,,,,,,,) +deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) -- 30 -- | Convert a simple product type into a tuple, generically. --