Documentation
data MuOp Source
MuOp constructor used to specify mutation transformation
class Mutable a where Source
Mutation operation representing translation from one fn to another fn.
(==>*) :: Mutable a => a -> [a] -> [MuOp] Source
The function ==>*
pairs up the given element with all elements of the
second list, and applies ==>
on them.
(*==>*) :: Mutable a => [a] -> [a] -> [MuOp] Source
The function *==>*
pairs up all elements of first list with all elements
of second list and applies ==>
between them.
(~~>) :: (MonadPlus m, Eq a) => a -> a -> a -> m a Source
The function ~~>
accepts two values, and returns a function
that if given a value equal to first, returns second
we handle x ~~> x separately
same :: MuOp -> Bool Source
The function same
applies on a MuOP
determining if transformation is
between same values.