tip-haskell-frontend-0.1.1: Convert from Haskell to Tip

Safe HaskellNone
LanguageHaskell2010

Tip.HaskellFrontend

Description

The Haskell frontend to Tip

Synopsis

Documentation

readHaskellFile :: Params -> IO (Theory Id) Source

Transforms a Haskell file to a Tip Theory, crashing if unsuccessful

data Id Source

A representation of identifiers that come from GHC.

The PrettyVar instance is one way to print the names.

Constructors

GHCOrigin Name 
Id `LiftedFrom` Id 
Eta Int 
Discrim Id 
Project Id Int 
Error 

Instances

data Params Source

Parameters

Constructors

Params 

Fields

file :: FilePath

File to process

include :: [FilePath]

Directories to include

flags :: [DebugFlags]

Debugging flags

only :: [String]

Only consider these properties

extra :: [String]

Also translate these functions and its transitive dependencies

Instances

defaultParams :: FilePath -> Params Source

Default parameters, given the name of the file to process

data DebugFlags Source

Debugging flags

Constructors

PrintCore 
PrintProps 
PrintExtraIds 
PrintInitialTip 

Instances