liquidhaskell-0.8.10.1: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Gradual.Concretize

Documentation

class Gradual a where #

Minimal complete definition

Nothing

Methods

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

Instances

Instances details
Gradual (SInfo a) # 
Instance details

Defined in Gradual.Concretize

Methods

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