free-compiler-0.3.0.0: A Haskell to Coq compiler.

Safe HaskellNone
LanguageHaskell2010

FreeC.Frontend.Haskell.PatternMatching

Contents

Description

This module provides an interface to the pattern matching compiler and case completion library by Malte Clement https://git.informatik.uni-kiel.de/stu204333/placc-thesis. We are using a slightly adapted version of the library located at https://github.com/FreeProving/haskell-src-transformations.

Synopsis

Documentation

transformPatternMatching :: Module SrcSpan -> Converter (Module SrcSpan) Source #

Applies the pattern matching transformation, guard elimination and case completion.

Orphan instances

TransformSrcSpan SrcSpan Source #

Converts a source span to an HST source span.

Instance details

Methods

transformSrcSpan :: SrcSpan -> SrcSpan0 (HSE SrcSpan)

TransformSrcSpan SrcSpan Source #

Extracts the actual source span from an HST source span.

Instance details

Methods

transformSrcSpan :: SrcSpan0 (HSE SrcSpan) -> SrcSpan