Copyright	Ross Meikleham
License	BSD-style
Maintainer	RossMeikleham@hotmail.co.uk
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Data.Tainted

Description

The Tainted type, and associated operations.

Synopsis

Documentation

data Tainted a Source

The Tainted type encapsulates a value. A value of type Tainted a either contains a "clean" value of type a (represented as Clean a), or it contains a "dirty" value of type a (represented as Dirty a).

The Tainted type is also a monad. Once the "dirty" state has been reached, and clean operations performed themselves create a "dirty" value.

Constructors

Dirty a
Clean a

Instances

Monad Tainted Source
Functor Tainted Source
Applicative Tainted Source
Eq a => Eq (Tainted a) Source
Ord a => Ord (Tainted a) Source
Read a => Read (Tainted a) Source
Show a => Show (Tainted a) Source

isClean :: Tainted a -> Bool Source

Returns True iff its argument is of the form 'Clean _.

isDirty :: Tainted a -> Bool Source

Returns True iff its argument is of the form Dirty _.

cleans :: [Tainted a] -> [a] Source

Extracts from a list of Tainted all the Clean elements. All the Clean elements are extracted in order.

dirtys :: [Tainted a] -> [a] Source

Extracts from a list of Tainted all the Dirty elements. All the Dirty elements are extracted in order.

partitionTaints :: [Tainted a] -> ([a], [a]) Source

Partitions a list of Tainted into two lists. All the Dirty elements are extracted, in order, to the first component of the output. Similarly the Clean elements are extracted to the second component of the output.