Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Type.Reflection.Compat
Documentation
withTypeable :: forall k (a :: k) r. TypeRep a -> (Typeable a => r) -> r #
Instances
TestEquality (TypeRep :: k -> Type) | |
Defined in GHC.Internal.Data.Typeable.Internal | |
Show (TypeRep a) | |
Eq (TypeRep a) | |
Ord (TypeRep a) | |
Defined in GHC.Internal.Data.Typeable.Internal |
decTypeRep :: forall k1 k2 (a :: k1) (b :: k2). TypeRep a -> TypeRep b -> Either ((a :~~: b) -> Void) (a :~~: b) #
data (a :: k1) :~~: (b :: k2) where #
Instances
TestCoercion ((:~~:) a :: k -> Type) | |
Defined in GHC.Internal.Data.Type.Coercion | |
TestEquality ((:~~:) a :: k -> Type) | |
Defined in GHC.Internal.Data.Type.Equality | |
a ~~ b => Bounded (a :~~: b) | |
a ~~ b => Enum (a :~~: b) | |
Defined in GHC.Internal.Data.Type.Equality Methods succ :: (a :~~: b) -> a :~~: b # pred :: (a :~~: b) -> a :~~: b # fromEnum :: (a :~~: b) -> Int # enumFrom :: (a :~~: b) -> [a :~~: b] # enumFromThen :: (a :~~: b) -> (a :~~: b) -> [a :~~: b] # enumFromTo :: (a :~~: b) -> (a :~~: b) -> [a :~~: b] # enumFromThenTo :: (a :~~: b) -> (a :~~: b) -> (a :~~: b) -> [a :~~: b] # | |
a ~~ b => Read (a :~~: b) | |
Show (a :~~: b) | |
Eq (a :~~: b) | |
Ord (a :~~: b) | |
Defined in GHC.Internal.Data.Type.Equality |
data SomeTypeRep where #
Constructors
SomeTypeRep :: forall k (a :: k). !(TypeRep a) -> SomeTypeRep |
Instances
Show SomeTypeRep | |
Defined in GHC.Internal.Data.Typeable.Internal Methods showsPrec :: Int -> SomeTypeRep -> ShowS # show :: SomeTypeRep -> String # showList :: [SomeTypeRep] -> ShowS # | |
Eq SomeTypeRep | |
Defined in GHC.Internal.Data.Typeable.Internal | |
Ord SomeTypeRep | |
Defined in GHC.Internal.Data.Typeable.Internal Methods compare :: SomeTypeRep -> SomeTypeRep -> Ordering # (<) :: SomeTypeRep -> SomeTypeRep -> Bool # (<=) :: SomeTypeRep -> SomeTypeRep -> Bool # (>) :: SomeTypeRep -> SomeTypeRep -> Bool # (>=) :: SomeTypeRep -> SomeTypeRep -> Bool # max :: SomeTypeRep -> SomeTypeRep -> SomeTypeRep # min :: SomeTypeRep -> SomeTypeRep -> SomeTypeRep # |
data (a :: k) :~: (b :: k) where #
Instances
TestCoercion ((:~:) a :: k -> Type) | |
Defined in GHC.Internal.Data.Type.Coercion | |
TestEquality ((:~:) a :: k -> Type) | |
Defined in GHC.Internal.Data.Type.Equality | |
a ~ b => Bounded (a :~: b) | |
a ~ b => Enum (a :~: b) | |
Defined in GHC.Internal.Data.Type.Equality Methods succ :: (a :~: b) -> a :~: b # pred :: (a :~: b) -> a :~: b # fromEnum :: (a :~: b) -> Int # enumFrom :: (a :~: b) -> [a :~: b] # enumFromThen :: (a :~: b) -> (a :~: b) -> [a :~: b] # enumFromTo :: (a :~: b) -> (a :~: b) -> [a :~: b] # enumFromThenTo :: (a :~: b) -> (a :~: b) -> (a :~: b) -> [a :~: b] # | |
a ~ b => Read (a :~: b) | |
Show (a :~: b) | |
Eq (a :~: b) | |
Ord (a :~: b) | |
Defined in GHC.Internal.Data.Type.Equality |
rnfTypeRep :: forall {k} (a :: k). TypeRep a -> () #
typeRepTyCon :: forall {k} (a :: k). TypeRep a -> TyCon #
tyConModule :: TyCon -> String #
tyConPackage :: TyCon -> String #
pattern Fun :: forall k fun (r1 :: RuntimeRep) (r2 :: RuntimeRep) arg res. () => (k ~ Type, fun ~~ (arg -> res)) => TypeRep arg -> TypeRep res -> TypeRep fun #
rnfSomeTypeRep :: SomeTypeRep -> () #
someTypeRep :: forall {k} proxy (a :: k). Typeable a => proxy a -> SomeTypeRep #
someTypeRepTyCon :: SomeTypeRep -> TyCon #
splitApps :: forall {k} (a :: k). TypeRep a -> (TyCon, [SomeTypeRep]) #
typeRepKind :: forall k (a :: k). TypeRep a -> TypeRep k #
pattern Con' :: () => NotApplication a => TyCon -> [SomeTypeRep] -> TypeRep a #
moduleName :: Module -> String #
modulePackage :: Module -> String #
withTypeable :: forall k (a :: k) r. TypeRep a -> (Typeable a => r) -> r #