8968e13 · obelisk · git.iko.soy

git.iko.soy/obelisk

Get rid of ShowTag, EqTag, OrdTag; Use ArgDict

commit8968e1357726f8b54cb7b2705cf96b86f7e9afd6 authorAli Abrar <aliabrar@gmail.com> dateFri 8 Feb 2019, 21:36 (8 years ago) parentfb0473a

3 files changed+4−3

unifiedsplit

lib/route/obelisk-route.cabal+1

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

88 build-depends: base,

99 categories,

1010 constraints,

11+ constraints-extras,

1112 containers,

1213 dependent-map,

1314 dependent-sum,

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

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

1010{-# LANGUAGE MultiParamTypeClasses #-}

1111{-# LANGUAGE OverloadedStrings #-}

1212{-# LANGUAGE PatternSynonyms #-}

13+{-# LANGUAGE PolyKinds #-}

1314{-# LANGUAGE RankNTypes #-}

1415{-# LANGUAGE ScopedTypeVariables #-}

1516{-# LANGUAGE TemplateHaskell #-}

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

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

11module Obelisk.Route.TH (deriveRouteComponent) where

3+import Data.Constraint.Extras.TH

34import Data.GADT.Show.TH

45import Data.GADT.Compare.TH

56import Data.Universe.TH

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

1112 [ deriveGShow

1213 , deriveGEq

1314 , deriveGCompare

14− , deriveShowTagIdentity

15− , deriveEqTagIdentity

16− , deriveOrdTagIdentity

1715 , deriveSomeUniverse

16+ , deriveArgDict

1817 ]