purescript-0.5.6.1: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell98

Language.PureScript.Sugar.TypeDeclarations

Description

This module implements the desugaring pass which replaces top-level type declarations with type annotations on the corresponding expression.

Synopsis

Documentation

desugarTypeDeclarations :: [Declaration] -> Either ErrorStack [Declaration] Source

Replace all top level type declarations with type annotations

desugarTypeDeclarationsModule :: [Module] -> Either ErrorStack [Module] Source

Replace all top level type declarations in a module with type annotations