项目作者： sleexyz

项目描述：
Better RebindableSyntax for Indexed Monads

高级语言： Haskell

项目主页：

项目地址: git://github.com/sleexyz/rebindable.git

创建时间： 2016-11-20T08:56:51Z
项目社区：https://github.com/sleexyz/rebindable
开源协议：
下载

rebindable

A library to facilitate rebinding of syntax.

Example:

{-# LANGUAGE RebindableSyntax #-}
{-# LANGUAGE RecordWildCards #-}
module Example where
import Control.Monad.Indexed
import Control.Monad.Indexed.State
import Control.Monad.Indexed.Trans
import Control.Monad.IO.Class
import Prelude
import qualified Language.Haskell.Rebindable as Use
import Data.Default
foo :: IxStateT IO String Int ()
foo = let Use.IxMonad{..} = def in do
  ilift . liftIO . print =<< iget
  imodify (length)
  ilift . liftIO . print =<< iget


