monad-st (empty) → 0.1

raw patch · 4 files changed

+93/−0 lines, 4 filesdep +basedep +transformerssetup-changed

Dependencies added: base, transformers

Files

• Control/Monad/ST/Class.hs +28/−0
• LICENSE +30/−0
• Setup.lhs +7/−0
• monad-st.cabal +28/−0

@@ -0,0 +1,28 @@+{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances #-}+-----------------------------------------------------------------------------+-- |+-- Module      :  Control.Monad.ST.Class+-- Copyright   :  (C) 2011 Edward Kmett+-- License     :  BSD-style (see the file LICENSE)+--+-- Maintainer  :  Edward Kmett <ekmett@gmail.com>+-- Stability   :  experimental+-- Portability :  MPTCs, fundeps+--+----------------------------------------------------------------------------+module Control.Monad.ST.Class (MonadST(..)) where++import Control.Monad.Trans.Class+import Control.Monad.ST++class Monad m => MonadST s m | m -> s where+  liftST :: ST s a -> m a+  +instance MonadST RealWorld IO where+  liftST = stToIO++instance MonadST s (ST s) where+  liftST = id++instance (MonadTrans t, MonadST s m, Monad (t m)) => MonadST s (t m) where+  liftST = lift . liftST

@@ -0,0 +1,30 @@+Copyright 2011 Edward Kmett++All rights reserved.++Redistribution and use in source and binary forms, with or without+modification, are permitted provided that the following conditions+are met:++1. Redistributions of source code must retain the above copyright+   notice, this list of conditions and the following disclaimer.++2. Redistributions in binary form must reproduce the above copyright+   notice, this list of conditions and the following disclaimer in the+   documentation and/or other materials provided with the distribution.++3. Neither the name of the author nor the names of his contributors+   may be used to endorse or promote products derived from this software+   without specific prior written permission.++THIS SOFTWARE IS PROVIDED BY THE AUTHORS ``AS IS'' AND ANY EXPRESS OR+IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED+WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE+DISCLAIMED.  IN NO EVENT SHALL THE AUTHORS OR CONTRIBUTORS BE LIABLE FOR+ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS+OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)+HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,+STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN+ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE+POSSIBILITY OF SUCH DAMAGE.

@@ -0,0 +1,7 @@+#!/usr/bin/runhaskell+> module Main (main) where++> import Distribution.Simple++> main :: IO ()+> main = defaultMain

@@ -0,0 +1,28 @@+name:          monad-st+category:      Control, Monads+version:       0.1+license:       BSD3+cabal-version: >= 1.6+license-file:  LICENSE+author:        Edward A. Kmett+maintainer:    Edward A. Kmett <ekmett@gmail.com>+stability:     experimental+homepage:      git://github.com/ekmett/monad-st+copyright:     Copyright (C) 2011 Edward A. Kmett+synopsis:      Provides a MonadST class+description:   Provides a MonadST class+build-type:    Simple++source-repository head+  type: git+  location: git://github.com/ekmett/monad-st.git++library+  build-depends: +    base >= 4 && < 5,+    transformers >= 0.2.0 && <= 0.3++  exposed-modules:+    Control.Monad.ST.Class++  ghc-options:      -Wall