prim-uniq-0.2: src/Data/Unique/Tag.hs

{-# LANGUAGE Trustworthy #-}
module Data.Unique.Tag
    ( Tag
    , newTag
    
    , RealWorld
    
    , (:~:)(..)
    , GEq(..)
    
    , GOrdering(..)
    , GCompare(..)
    ) where

import Data.GADT.Compare
import Unsafe.Unique.Tag
import Data.Type.Equality ((:~:)(..))
import Control.Monad.Primitive (RealWorld)