liquidhaskell-0.8.2.4: Liquid Types for Haskell
Gradual.Concretize
class Gradual a where Source #
Methods
concretize :: GMap GWInfo -> a -> [(GSub GWInfo, a)] Source #
Instances
concretize :: GMap GWInfo -> SInfo a -> [(GSub GWInfo, SInfo a)] Source #