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

Copyright(c) 2017 Finn Teegen
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

IL.Typing

Description

TODO

Documentation

class Typeable a where Source #

Methods

typeOf :: a -> Type Source #

Instances
Typeable Alt Source # 
Instance details

Defined in IL.Typing

Methods

typeOf :: Alt -> Type Source #

Typeable Expression Source # 
Instance details

Defined in IL.Typing

Methods

typeOf :: Expression -> Type Source #

Typeable ConstrTerm Source # 
Instance details

Defined in IL.Typing

Methods

typeOf :: ConstrTerm -> Type Source #