ca6edae · obelisk · git.iko.soy

git.iko.soy/obelisk

Merge pull request #365 from obsidiansystems/aa-remove-constraints-extras

Revert "Get rid of ShowTag, EqTag, OrdTag; Use ArgDict"

commitca6edae87909d0d3c31f6c4a89a2f70bcb209924 authorAli Abrar <aliabrar@gmail.com> dateTue 5 Mar 2019, 16:10 (8 years ago) parent8267e0d 9ad7568

3 files changed+3−4

unifiedsplit

lib/route/obelisk-route.cabal−1

@@ -8,7 +8,6 @@ library

88 build-depends: base,

99 categories,

1010 constraints,

11− constraints-extras,

1211 containers,

1312 dependent-map,

1413 dependent-sum,

lib/route/src/Obelisk/Route.hs−1

@@ -10,7 +10,6 @@

1010{-# LANGUAGE MultiParamTypeClasses #-}

1111{-# LANGUAGE OverloadedStrings #-}

1212{-# LANGUAGE PatternSynonyms #-}

13−{-# LANGUAGE PolyKinds #-}

1413{-# LANGUAGE RankNTypes #-}

1514{-# LANGUAGE ScopedTypeVariables #-}

1615{-# LANGUAGE TemplateHaskell #-}

lib/route/src/Obelisk/Route/TH.hs+3−2

@@ -1,6 +1,5 @@

11module Obelisk.Route.TH (deriveRouteComponent) where

3−import Data.Constraint.Extras.TH

43import Data.GADT.Show.TH

54import Data.GADT.Compare.TH

65import Data.Universe.TH

@@ -12,6 +11,8 @@ deriveRouteComponent x = concat <$> traverse ($ x)

1211 [ deriveGShow

1312 , deriveGEq

1413 , deriveGCompare

14+ , deriveShowTagIdentity

15+ , deriveEqTagIdentity

16+ , deriveOrdTagIdentity

1517 , deriveSomeUniverse

16− , deriveArgDict

1718 ]