curry-frontend-1.0.4: 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	None
Language	Haskell2010

Base.AnnotExpr

Description

TODO

Documentation

class QualAnnotExpr e where Source #

Methods

qafv :: ModuleIdent -> e Type -> [(Type, Ident)] Source #

Free qualified annotated variables in an Expr

Instances

QualAnnotExpr Decl Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> Decl Type -> [(Type, Ident)] Source #
QualAnnotExpr Equation Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> Equation Type -> [(Type, Ident)] Source #
QualAnnotExpr Lhs Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> Lhs Type -> [(Type, Ident)] Source #
QualAnnotExpr Rhs Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> Rhs Type -> [(Type, Ident)] Source #
QualAnnotExpr CondExpr Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> CondExpr Type -> [(Type, Ident)] Source #
QualAnnotExpr Pattern Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> Pattern Type -> [(Type, Ident)] Source #
QualAnnotExpr Expression Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> Expression Type -> [(Type, Ident)] Source #
QualAnnotExpr InfixOp Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> InfixOp Type -> [(Type, Ident)] Source #
QualAnnotExpr Statement Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> Statement Type -> [(Type, Ident)] Source #
QualAnnotExpr Alt Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> Alt Type -> [(Type, Ident)] Source #