liquidhaskell-0.3.1.0: 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