Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
27 lines (20 sloc) 695 Bytes
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE DeriveDataTypeable #-}
-- |
-- Module : TypeLevel.Reify
-- Copyright : Alexey Khudyakov
-- License : BSD3-style (see LICENSE)
--
-- Maintainer : Alexey Khudyakov <alexey.skladnoy@gmail.com>
-- Stability : unstable
-- Portability : unportable (GHC only)
module TypeLevel.Reify ( Witness(..)
, Reify(..)
) where
import Data.Data (Data,Typeable)
-- | Value with type tag
data Witness t a = Witness { getValue :: a }
deriving (Show,Eq,Typeable,Data)
-- | Convert type level into value level using
class Reify t a where
witness :: Witness t a
Something went wrong with that request. Please try again.