descript-lang-0.2.0.0: src/Core/Data/Proxy.hs

module Core.Data.Proxy
  ( proxyOf
  ) where

import Data.Proxy

-- | A proxy for the type of the value.
proxyOf :: a -> Proxy a
proxyOf _ = Proxy