packages feed

imp-ppl-0.1.0.0: src/Imp/Prelude.hs

-- | The standard "Prelude", minus the six names the graded DSL replaces.
--   @return@, @(>>=)@, @(>>)@, @flip@, @fmap@ and @(\<$\>)@.
--
--   @RebindableSyntax@, which the DSL requires, implies @NoImplicitPrelude@,
--   so this module supplies the ordinary Prelude that would otherwise be missing.
module Imp.Prelude
  ( module Prelude
  ) where

import Prelude hiding (return, (>>=), (>>), flip, fmap, (<$>))