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 #

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 #