liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Gradual.Types

Documentation

data GConfig Source #

Constructors

GConfig 

Fields

type GSub a = HashMap KVar (a, Expr) Source #

type GMap a = HashMap KVar (a, [Expr]) Source #

toGMap :: [(KVar, (a, [Expr]))] -> GMap a Source #

fromGMap :: GMap a -> [(KVar, (a, [Expr]))] Source #

fromGSub :: GSub a -> [(KVar, (a, Expr))] Source #