Base.AnnotExpr

TODO

Documentation

class QualAnnotExpr e where

Methods

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

Free qualified annotated variables in an Expr

Instances

QualAnnotExpr Decl

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Decl Type -> [(Type, Ident)]

QualAnnotExpr Equation

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Equation Type -> [(Type, Ident)]

QualAnnotExpr Lhs

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Lhs Type -> [(Type, Ident)]

QualAnnotExpr Rhs

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Rhs Type -> [(Type, Ident)]

QualAnnotExpr CondExpr

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> CondExpr Type -> [(Type, Ident)]

QualAnnotExpr Pattern

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Pattern Type -> [(Type, Ident)]

QualAnnotExpr Expression

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Expression Type -> [(Type, Ident)]

QualAnnotExpr InfixOp

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> InfixOp Type -> [(Type, Ident)]

QualAnnotExpr Statement

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Statement Type -> [(Type, Ident)]

QualAnnotExpr Alt

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Alt Type -> [(Type, Ident)]