liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Bare.OfType

Documentation

ofBareType :: SourcePos -> BareType -> BareM SpecType Source #

ofMeaSort :: BareType -> BareM SpecType Source #

ofBSort :: BSort -> BareM RSort Source #

ofBPVar :: BPVar -> BareM RPVar Source #

mkLSpecType :: Located BareType -> BareM (Located SpecType) Source #

mkSpecType' :: SourcePos -> [PVar BSort] -> BareType -> BareM SpecType Source #