liquidtypes-0.1: Liquid Types for Haskell

Safe HaskellSafe-Infered

Language.Haskell.Liquid.Desugar.DsGRHSs

Documentation

dsGuarded :: GRHSs Id -> Type -> DsM CoreExprSource

dsGRHSs :: HsMatchContext Name -> [Pat Id] -> GRHSs Id -> Type -> DsM MatchResultSource