module Data.TypeRep
(
module Data.Constraint
, module Data.Proxy
, module Language.Syntactic
, Typeable
, TypeRep
, typeRep
, TypeEq
, typeEqM
, typeEq
, matchCon
, matchConM
, Witness
, PWitness
, wit
, pwit
, witTypeable
, pwitTypeable
, cast
, gcast
, Dynamic (..)
, toDyn
, fromDyn
, Any
, ShowClass (..)
, pAny
, pDataTypeable
, pEq
, pOrd
, pShow
, pNum
, pIntegral
, module Data.TypeRep.Sub
) where
import Data.Constraint (Dict (..))
import Data.Proxy (Proxy (..))
import Language.Syntactic ((:+:), Project (..), (:<:) (..), E (..))
import Data.TypeRep.Representation
import Data.TypeRep.Sub