scion-0.1.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