Copyright | (c) 2017 Finn Teegen |
---|---|

License | BSD-3-clause |

Maintainer | bjp@informatik.uni-kiel.de |

Stability | experimental |

Portability | portable |

Safe Haskell | None |

Language | Haskell2010 |

TODO

# Documentation

class QualAnnotExpr e where Source #

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

Free qualified annotated variables in an `Expr`

## Instances

QualAnnotExpr Decl Source # | |

Defined in Base.AnnotExpr | |

QualAnnotExpr Equation Source # | |

Defined in Base.AnnotExpr | |

QualAnnotExpr Lhs Source # | |

Defined in Base.AnnotExpr | |

QualAnnotExpr Rhs Source # | |

Defined in Base.AnnotExpr | |

QualAnnotExpr CondExpr Source # | |

Defined in Base.AnnotExpr | |

QualAnnotExpr Pattern Source # | |

Defined in Base.AnnotExpr | |

QualAnnotExpr Expression Source # | |

Defined in Base.AnnotExpr qafv :: ModuleIdent -> Expression Type -> [(Type, Ident)] Source # | |

QualAnnotExpr InfixOp Source # | |

Defined in Base.AnnotExpr | |

QualAnnotExpr Statement Source # | |

Defined in Base.AnnotExpr | |

QualAnnotExpr Alt Source # | |

Defined in Base.AnnotExpr |