liquidtypes-0.1: Liquid Types for Haskell

Safe HaskellSafe-Infered

Language.Haskell.Liquid.Desugar.DsListComp

Documentation

dsListComp :: [LStmt Id] -> Type -> DsM CoreExprSource

dsPArrComp :: [Stmt Id] -> DsM CoreExprSource

dsMonadComp :: [LStmt Id] -> DsM CoreExprSource