liquidhaskell-0.8.10.2: Liquid Types for Haskell

Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Synthesize.Env

Synopsis

initSSEnv :: SpecType -> CGInfo -> SSEnv -> (SSEnv, [Var])
tpToCons :: SpecType -> [DataCon]
typeToCons :: SpecType -> [DataCon]
rmMeasures :: [Symbol] -> [(Symbol, SpecType)] -> [(Symbol, SpecType)]

Documentation

initSSEnv :: SpecType -> CGInfo -> SSEnv -> (SSEnv, [Var]) Source #

tpToCons :: SpecType -> [DataCon] Source #

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

typeToCons :: SpecType -> [DataCon] Source #

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