curry-frontend-1.0.1: Compile the functional logic language Curry to several intermediate formats

Copyright	(c) 2017 Finn Teegen
License	BSD-3-clause
Maintainer	bjp@informatik.uni-kiel.de
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

IL.Typing

Description

TODO

Documentation

class Typeable a where Source #

Minimal complete definition

Methods

typeOf :: a -> Type Source #

Instances

Typeable Alt Source #
Methods typeOf :: Alt -> Type Source #
Typeable Expression Source #
Methods typeOf :: Expression -> Type Source #
Typeable ConstrTerm Source #
Methods typeOf :: ConstrTerm -> Type Source #