Tainted 0.1.0 → 0.1.0.1

raw patch · 4 files changed

+9/−4 lines, 4 files

Files

README.md +2/−0
Tainted.cabal +1/−1
src/Control/Monad/Trans/Tainted.hs +3/−2
src/Data/Tainted.hs +3/−1

README.md view

@@ -1,4 +1,6 @@ # Tainted+[![travis](https://travis-ci.org/RossMeikleham/Tainted.svg?branch=master)](https://travis-ci.org/RossMeikleham/Tainted) [![hackage](https://img.shields.io/badge/Hackage-v0.1.0.1-orange.svg)](http://hackage.haskell.org/package/Tainted)+ Tainted type, and associated operations   A Tainted type contains either a clean or dirty value. Values which are

Tainted.cabal view

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                Tainted-version:             0.1.0+version:             0.1.0.1 synopsis:            Tainted type, and associated operations description:            Tainted type, and associated operations homepage:            https://github.com/RossMeikleham/Tainted

src/Control/Monad/Trans/Tainted.hs view

@@ -17,16 +17,17 @@  import Control.Monad import Control.Monad.Trans+import Control.Applicative import Data.Tainted  -- | 'TaintedT' is a monad transformed of 'Tainted' newtype TaintedT m a = TaintedT {runTainted :: m (Tainted a)}  -instance Monad m => Functor (TaintedT m) where+instance (Monad m, Functor m) => Functor (TaintedT m) where     fmap f = TaintedT . fmap (fmap f) . runTainted -instance Monad m => Applicative (TaintedT m) where+instance (Monad m, Functor m) => Applicative (TaintedT m) where     pure = return     (<*>) = ap

src/Data/Tainted.hs view

@@ -1,3 +1,5 @@++{-# LANGUAGE DeriveDataTypeable #-} ----------------------------------------------------------------------------- -- | -- Module      :  Control.Monad@@ -13,10 +15,10 @@  module Data.Tainted      (Tainted(..), isClean, isDirty, cleans, dirtys, partitionTaints)- where  import Control.Monad+import Control.Applicative import Data.Typeable