liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Gradual.Concretize

Documentation

class Gradual a where Source #

Minimal complete definition

Nothing

Methods

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

Instances

Instances details
Gradual (SInfo a) Source # 
Instance details

Defined in Gradual.Concretize

Methods

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