morley-upgradeable-0.3: test/Test/Doc/Positions.hs

-- SPDX-FileCopyrightText: 2020 Tocqueville Group
--
-- SPDX-License-Identifier: LicenseRef-MIT-TQ

-- | Tests on ordering of documentation items.
module Test.Doc.Positions
  ( test_Errors
  ) where

import Test.Tasty (TestTree)

import Cleveland.Util (goesBefore)
import Lorentz.Contracts.Upgradeable.Common.Base (PermanentEntrypointsKind, UpgradeableEntrypointsKind)
import Lorentz.Entrypoints.Doc (DEntrypoint, PlainEntrypointsKind)

test_Errors :: [TestTree]
test_Errors =
  [ Proxy @(DEntrypoint PlainEntrypointsKind) `goesBefore` Proxy @(DEntrypoint PermanentEntrypointsKind)
  , Proxy @(DEntrypoint PermanentEntrypointsKind) `goesBefore` Proxy @(DEntrypoint UpgradeableEntrypointsKind)
  ]