mirror of
https://github.com/hasura/graphql-engine.git
synced 2024-12-16 09:51:59 +03:00
11a454c2d6
This commit applies ormolu to the whole Haskell code base by running `make format`. For in-flight branches, simply merging changes from `main` will result in merge conflicts. To avoid this, update your branch using the following instructions. Replace `<format-commit>` by the hash of *this* commit. $ git checkout my-feature-branch $ git merge <format-commit>^ # and resolve conflicts normally $ make format $ git commit -a -m "reformat with ormolu" $ git merge -s ours post-ormolu https://github.com/hasura/graphql-engine-mono/pull/2404 GitOrigin-RevId: 75049f5c12f430c615eafb4c6b8e83e371e01c8e
32 lines
697 B
Haskell
32 lines
697 B
Haskell
{-# LANGUAGE PolyKinds #-}
|
|
{-# OPTIONS_GHC -fno-warn-orphans #-}
|
|
|
|
module Data.GADT.Compare.Extended
|
|
( module Data.GADT.Compare,
|
|
strengthenOrdering,
|
|
extendGOrdering,
|
|
)
|
|
where
|
|
|
|
import Data.GADT.Compare
|
|
import Type.Reflection
|
|
import Prelude
|
|
|
|
instance GEq ((:~~:) a) where
|
|
geq HRefl HRefl = Just Refl
|
|
|
|
instance GCompare ((:~~:) a) where
|
|
gcompare HRefl HRefl = GEQ
|
|
|
|
strengthenOrdering :: Ordering -> GOrdering a a
|
|
strengthenOrdering LT = GLT
|
|
strengthenOrdering EQ = GEQ
|
|
strengthenOrdering GT = GGT
|
|
|
|
infixr 6 `extendGOrdering`
|
|
|
|
extendGOrdering :: GOrdering a b -> (a ~ b => GOrdering c d) -> GOrdering c d
|
|
extendGOrdering GLT _ = GLT
|
|
extendGOrdering GEQ x = x
|
|
extendGOrdering GGT _ = GGT
|