| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FreeC.Backend.Agda.Converter.TypeDecl
Description
This module contains functions for converting type synonym and data type declarations and their constructors.
Synopsis
- convertTypeDecls :: DependencyComponent TypeDecl -> Converter [Declaration]
Documentation
convertTypeDecls :: DependencyComponent TypeDecl -> Converter [Declaration] Source #
Converts a strongly connected component of the type dependency graph. TODO: handle mutual recursive types