liquidtypes-0.1: Liquid Types for Haskell

Safe HaskellSafe-Infered

Language.Haskell.Liquid.Parse

Documentation

class Inputable a whereSource

Methods

rr :: String -> aSource

rr' :: String -> String -> aSource

Instances

hsSpecificationP :: [Char] -> SourceName -> String -> Spec BareType SymbolSource