Safe Haskell	None
Language	Haskell2010

Generics.MRSOP.STDiff.Enum

Synopsis

enumAlmu :: forall m ki codes ix iy. (MonadPlus m, TestEquality ki, EqHO ki, IsNat ix, IsNat iy) => Fix ki codes ix -> Fix ki codes iy -> m (Almu ki codes ix iy)

Documentation

enumAlmu :: forall m ki codes ix iy. (MonadPlus m, TestEquality ki, EqHO ki, IsNat ix, IsNat iy) => Fix ki codes ix -> Fix ki codes iy -> m (Almu ki codes ix iy) Source #

Enumerates all possible patches that transform a value into another on a MonadPlus instance; WARNING: this function has impractical runtime performance and should not be used!!