module Data.TypeRep
(
module Data.Constraint
, module Data.Proxy
, module Data.Syntactic
, Typeable
, TypeRep
, typeRep
, TypeEq
, typeEq
, matchCon
, matchConM
, Witness
, PWitness
, wit
, pwit
, cast
, gcast
, Dynamic (..)
, toDyn
, fromDyn
, dynToInteger
, Any
, witTypeable
, pwitTypeable
, pAny
, pEq
, pOrd
, pShow
, pNum
, pIntegral
, BoolType
, CharType
, IntType
, FloatType
, ListType
, FunType
, boolType
, charType
, intType
, floatType
, listType
, funType
, module Data.TypeRep.Sub
) where
import Data.Constraint (Dict (..))
import Data.Proxy (Proxy (..))
import Data.Syntactic ((:+:), Project (..), (:<:) (..), E (..))
import Data.TypeRep.Internal
import Data.TypeRep.Sub