typeOf

typeOf :: Typeable a => a -> TypeRep
base Data.Typeable
typeOf1 :: Typeable1 t => t a -> TypeRep
base Data.Typeable
typeOf1Default :: (Typeable2 t, Typeable a) => t a b -> TypeRep
base Data.Typeable
For defining a Typeable1 instance from any Typeable2 instance.
typeOf2 :: Typeable2 t => t a b -> TypeRep
base Data.Typeable
typeOf2Default :: (Typeable3 t, Typeable a) => t a b c -> TypeRep
base Data.Typeable
For defining a Typeable2 instance from any Typeable3 instance.
typeOf3 :: Typeable3 t => t a b c -> TypeRep
base Data.Typeable
typeOf3Default :: (Typeable4 t, Typeable a) => t a b c d -> TypeRep
base Data.Typeable
For defining a Typeable3 instance from any Typeable4 instance.
typeOf4 :: Typeable4 t => t a b c d -> TypeRep
base Data.Typeable
typeOf4Default :: (Typeable5 t, Typeable a) => t a b c d e -> TypeRep
base Data.Typeable
For defining a Typeable4 instance from any Typeable5 instance.
typeOf5 :: Typeable5 t => t a b c d e -> TypeRep
base Data.Typeable
typeOf5Default :: (Typeable6 t, Typeable a) => t a b c d e f -> TypeRep
base Data.Typeable
For defining a Typeable5 instance from any Typeable6 instance.
typeOf6 :: Typeable6 t => t a b c d e f -> TypeRep
base Data.Typeable
typeOf6Default :: (Typeable7 t, Typeable a) => t a b c d e f g -> TypeRep
base Data.Typeable
For defining a Typeable6 instance from any Typeable7 instance.
typeOf7 :: Typeable7 t => t a b c d e f g -> TypeRep
base Data.Typeable
typeOfDefault :: (Typeable1 t, Typeable a) => t a -> TypeRep
base Data.Typeable
For defining a Typeable instance from any Typeable1 instance.
package typeof
package
A script to infer and insert type declarations in Haskell source, callable from your editor. Bindings exist to emacs and vim. Version 0.1.2
asTypeOf :: a -> a -> a
base Prelude
asTypeOf is a type-restricted version of const. It is usually used as an infix operator, and its typing forces its first argument (which is usually overloaded) to have the same type as the second.
dataTypeOf :: Data a => a -> DataType
base Data.Data