liquidtypes-0.1: Liquid Types for Haskell

Safe HaskellSafe-Infered

Language.Haskell.Liquid.FileNames

Contents

Description

This module contains Haskell variables representing globally visible names for files, paths, extensions and various other constants. Rather than have strings floating around the system, all constant names should be defined here, and the (exported) variables should be used and manipulated elsewhere.

Synopsis

Hardwired file extension names

data Ext Source

Constructors

Cgi

Constraint Generation Information

Fq

Input to constraint solving (fixpoint)

Out

Output from constraint solving (fixpoint)

Html

HTML file with inferred type annotations

Annot

Text file with inferred types

Hs

Target source

LHs

Literate Haskell target source file

Spec

Spec file (e.g. include/Prelude.spec)

Hquals

Qualifiers file (e.g. include/Prelude.hquals)

Result

Final result: SAFE/UNSAFE

Cst

I've totally forgotten!

Mkdn

Markdown file (temporarily generated from .Lhs + annots)

Pred 
PAss 
Dat 

Instances

Hardwired global names

Hardwired paths

Various generic utility functions for finding and removing files