Base.AnnotExpr

Description

TODO

Documentation

Methods

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

Free qualified annotated variables in an Expr

Instances

QualAnnotExpr Alt Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> Alt Type -> [(Type, Ident)] Source #
QualAnnotExpr CondExpr Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> CondExpr Type -> [(Type, Ident)] Source #
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 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 Lhs Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> Lhs Type -> [(Type, Ident)] Source #
QualAnnotExpr Pattern Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> Pattern Type -> [(Type, Ident)] Source #
QualAnnotExpr Rhs Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> Rhs Type -> [(Type, Ident)] Source #
QualAnnotExpr Statement Source #
Instance details Defined in Base.AnnotExpr Methods qafv :: ModuleIdent -> Statement Type -> [(Type, Ident)] Source #