liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Bare

Contents

Description

This module contains the functions that convert from descriptions of symbols, names and types (over freshly parsed bare Strings), to representations connected to GHC vars, names, and types. The actual representations of bare and real (refinement) types are all in RefType -- they are different instances of RType

Synopsis

Documentation

data GhcSpec Source #

The following is the overall type for specifications obtained from parsing the target source and dependent libraries

Constructors

SP 

Fields

Lifted Spec