liquidhaskell-0.8.10.1: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Synthesize.Env

Synopsis

Documentation

tpToCons :: SpecType -> [DataCon] #

For algebraic datatypes: Find (in the refinement type) all the datatypes that are used and get their constructors.

rmMeasures :: [Symbol] -> [(Symbol, SpecType)] -> [(Symbol, SpecType)] #