Safe Haskell | None |
---|---|
Language | Haskell2010 |
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!!