rebindable (empty) → 0.1.0

raw patch · 3 files changed

+65/−0 lines, 3 filesdep +basedep +data-default-classdep +indexed

Dependencies added: base, data-default-class, indexed

Files

• rebindable.cabal +24/−0
• src/Language/Haskell/Rebindable.hs +5/−0
• src/Language/Haskell/Rebindable/Do.hs +36/−0

@@ -0,0 +1,24 @@+-- This file has been generated from package.yaml by hpack version 0.14.1.+--+-- see: https://github.com/sol/hpack++name:           rebindable+version:        0.1.0+synopsis:       A library to facilitate rebinding of Haskell syntax+maintainer:     Sean Lee <freshdried@gmail.com>+license:        MIT+build-type:     Simple+cabal-version:  >= 1.10++library+  hs-source-dirs:+      src+  ghc-options: -Wall+  build-depends:+      base >= 4.9 && < 5+    , data-default-class+    , indexed+  exposed-modules:+      Language.Haskell.Rebindable+      Language.Haskell.Rebindable.Do+  default-language: Haskell2010

@@ -0,0 +1,5 @@+module Language.Haskell.Rebindable (+  module Language.Haskell.Rebindable.Do,+) where++import Language.Haskell.Rebindable.Do

@@ -0,0 +1,36 @@+{-# LANGUAGE DuplicateRecordFields #-}+{-# LANGUAGE RankNTypes #-}+{-# LANGUAGE GADTs #-}++module Language.Haskell.Rebindable.Do where++import           Data.Default.Class+import           Prelude hiding ((>>), (>>=), return, Monad)+import qualified Control.Monad.Indexed as P+import qualified Prelude as P++data Monad = Monad+  { return :: forall a m. (P.Monad m) => a -> m a+  , (>>=) :: forall a b m. (P.Monad m) =>  m a -> (a -> m b) -> m b+  , (>>) :: forall a b m. (P.Monad m) =>  m a -> m b -> m b+  }++data IxMonad = IxMonad+  { return :: forall a i m. (P.IxMonad m) =>  a -> m i i a+  , (>>=) :: forall a b i j k m. (P.IxMonad m) => m i j a -> (a -> m j k b) -> m i k b+  , (>>) :: forall a b i j k m. (P.IxMonad m) => m i j a -> m j k b -> m i k b+  }++instance Default Monad where+  def = Monad+    { return = P.return+    , (>>=) = (P.>>=)+    , (>>) = (P.>>)+    }++instance Default IxMonad where+  def = IxMonad+    { return = P.ireturn+    , (>>=) = (P.>>>=)+    , (>>) = \a b -> a P.>>>= (\_ -> b)+    }