liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Synthesize.Env

Synopsis

Documentation

tpToCons :: SpecType -> [DataCon] Source #

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