typeOf is:exact

typeOf :: forall a . Typeable a => a -> TypeRep
base Data.Typeable
Observe a type representation for the type of a value.
typeOf :: Typeable a => a -> TypeRep a
base Type.Reflection
typeof :: JExpr -> JExpr
ghc GHC.JS.Make, ghc-lib GHC.JS.Make
Given a JExpr, return the its type.
typeOf :: Typeable a => a -> TypeRep
protolude Protolude, base-prelude BasePrelude, rebase Rebase.Prelude, massiv-test Test.Massiv.Utils
Observe a type representation for the type of a value.
typeOf :: MonadInterpreter m => String -> m String
hint Language.Haskell.Interpreter
Returns a string representation of the type of the expression.
typeOf :: Expr s X -> Either (TypeError s X) (Expr s X)
dhall Dhall.TypeCheck
typeOf is the same as typeWith with an empty context, meaning that the expression must be closed (i.e. no free variables), otherwise type-checking will fail.
typeOf :: IsValue a => a -> Type
dbus DBus
Deprecated. Get the D-Bus type corresponding to the given Haskell value. The value may be undefined.
typeOf :: forall a . IsValue a => a -> Type
dbus DBus.Internal.Types
typeOf :: Typeable a => a -> TypeRep
rank1dynamic Data.Rank1Typeable
The type representation of any Typeable term
typeOf :: SEXP s a -> SEXPTYPE
inline-r Foreign.R Foreign.R.Internal H.Prelude H.Prelude.Interactive Language.R
Return the "type" tag (aka the form tag) of the given SEXP. This function is pure because the type of an object does not normally change over the lifetime of the object.
typeOf :: Matcher s SEXPTYPE
inline-r Language.R.Matcher
Returns type of the current SEXP. Can never fail.
typeOf :: MonadIO m => Env -> RawValue p -> m (RawValue 'Regular)
emacs-module Data.Emacs.Module.Env
typeOf :: (MonadEmacs m v, WithCallStack) => v s -> m s (v s)
emacs-module Emacs.Module Emacs.Module.Monad.Class
Get type of an Emacs value as an Emacs symbol.
package typeof
Uses
Not on Stackage, so not searched. Small script for inferring types