liquidhaskell-0.8.2.4: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Gradual.Concretize

Documentation

class Gradual a where Source #

Methods

concretize :: GMap GWInfo -> a -> [(GSub GWInfo, a)] Source #

Instances