scion-0.1: Haskell IDE library
Source code
Contents
Index
Scion.Inspect.TypeOf
Portability
portable
Stability
experimental
Maintainer
nominolo@gmail.com
Description
Synopsis
typeOf
:: (
SearchResult
Id
, [
SearchResult
Id
]) ->
Maybe
Type
reduce_type
::
Type
->
Type
subst_type
::
TyVar
->
Type
->
Type
->
Type
Documentation
typeOf
:: (
SearchResult
Id
, [
SearchResult
Id
]) ->
Maybe
Type
Source
reduce_type
::
Type
->
Type
Source
Reduce a top-level type application if possible. That is, we perform the following simplification step:
(forall v . t) t' ==> t [t'/v]
where
[t'/v]
is the substitution of
t'
for
v
.
subst_type
::
TyVar
->
Type
->
Type
->
Type
Source
Produced by
Haddock
version 2.4.2