curry-frontend-0.4.2: Lexer, parser, type checker, etc. for the Curry language

Copyright(c) 2003 - 2006 Wolfgang Lux
2014 - 2015 Jan Tikovsky
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Base.Typing

Description

 

Documentation

class Typeable a where Source #

Minimal complete definition

typeOf

Methods

typeOf :: ValueEnv -> a -> Type Source #