Test.MuCheck.MuOp

Documentation

data MuOp

Instances

Eq MuOp

Show MuOp

(==>*) :: Mutable a => a -> [a] -> [MuOp]

(*==>*) :: Mutable a => [a] -> [a] -> [MuOp]

(~~>) :: (MonadPlus m, Eq a) => a -> a -> a -> m a

mkMp' :: (MonadPlus m, Typeable * a) => MuOp -> a -> m a

class Mutable a where

Methods

(==>) :: a -> a -> MuOp

Instances

Mutable QName

Mutable Name

Mutable QOp

Mutable Decl

Mutable GuardedRhs

Mutable Literal

Mutable Exp