liquidhaskell-boot-0.9.6.3: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.Types

Description

This module re-exports a bunch of the Types modules

Documentation

module Language.Haskell.Liquid.Types.Visitors

module Language.Haskell.Liquid.Types.Specs

module Language.Haskell.Liquid.Types.PrettyPrint

module Language.Haskell.Liquid.Types.Names

module Language.Haskell.Liquid.Types.Literals

module Language.Haskell.Liquid.Types.Bounds

module Language.Haskell.Liquid.Types.Variance

module Language.Haskell.Liquid.Types.RefType

module Language.Haskell.Liquid.Types.PredType

module Language.Haskell.Liquid.Types.Meet

module Language.Haskell.Liquid.Types.Fresh

module Language.Haskell.Liquid.Types.Dictionaries

module Language.Haskell.Liquid.Types.Types