Searched refs:mkNothingExpr (Results 1 – 5 of 5) sorted by relevance
43 mkNothingExpr, mkJustExpr,669 mkNothingExpr :: Type -> CoreExpr670 mkNothingExpr ty = mkConApp nothingDataCon [Type ty] function
48 mkNothingExpr, mkJustExpr,698 mkNothingExpr :: Type -> CoreExpr699 mkNothingExpr ty = mkConApp nothingDataCon [Type ty] function
45 mkNothingExpr, mkJustExpr,689 mkNothingExpr :: Type -> CoreExpr690 mkNothingExpr ty = mkConApp nothingDataCon [Type ty] function
2706 coreNothing' elt_ty = MkC (mkNothingExpr elt_ty)