 | type-0.1.0: Dynamic casting library with support for arbitrary rank type kinds. | Source code | Contents | Index |
| Data.Type.Typeable |
| toTypeable :: forall t. Typed (Type t) => t -> TypeRep | Source |
| toTypeable1 :: forall t a. Typed (TypeX t) => t a -> TypeRep | Source |
| toTypeable2 :: forall t a b. Typed (TypeXX t) => t a b -> TypeRep | Source |
| toTypeable3 :: forall t a b c. Typed (TypeXXX t) => t a b c -> TypeRep | Source |
| toTypeable4 :: forall t a b c d. Typed (TypeXXXX t) => t a b c d -> TypeRep | Source |
| toTypeable5 :: forall t a b c d e. Typed (TypeXXXXX t) => t a b c d e -> TypeRep | Source |
| toTypeable6 :: forall t a b c d e f. Typed (TypeXXXXXX t) => t a b c d e f -> TypeRep | Source |
| toTypeable7 :: forall t a b c d e f g. Typed (TypeXXXXXXX t) => t a b c d e f g -> TypeRep | Source |