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

Copyright	(c) 2003 - 2006 Wolfgang Lux 2014 - 2015 Jan Tikovsky
License	BSD-3-clause
Maintainer	bjp@informatik.uni-kiel.de
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

Base.Typing

Description

Documentation

class Typeable a where Source #

Minimal complete definition

Methods

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

Instances

Typeable Rhs Source #
Methods typeOf :: ValueEnv -> Rhs -> Type Source #
Typeable Pattern Source #
Methods typeOf :: ValueEnv -> Pattern -> Type Source #
Typeable Expression Source #
Methods typeOf :: ValueEnv -> Expression -> Type Source #
Typeable Ident Source #
Methods typeOf :: ValueEnv -> Ident -> Type Source #
Typeable Type Source #
Methods typeOf :: ValueEnv -> Type -> Type Source #