liquidhaskell-0.4.0.1: Liquid Types for Haskell
Language.Haskell.Liquid.Bare.OfType
ofBareType :: SourcePos -> BareType -> BareM SpecType Source
ofMeaSort :: BareType -> BareM SpecType Source
ofBSort :: BSort -> BareM RSort Source
ofBPVar :: BPVar -> BareM RPVar Source
mkSpecType :: SourcePos -> BareType -> BareM SpecType Source
mkSpecType' :: SourcePos -> [PVar BSort] -> BareType -> BareM SpecType Source