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 HaskellNone
LanguageHaskell2010

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

Instances details
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 #