| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
Ideas.Common.Rewriting.AC
Contents
Description
- type Pairings a = a -> a -> [[(a, a)]]
- type PairingsList a b = [a] -> [b] -> [[([a], [b])]]
- type PairingsPair a b = (a, a) -> (b, b) -> [[(a, b)]]
- pairingsNone :: PairingsPair a b
- pairingsA :: Bool -> PairingsList a b
- pairingsMatchA :: (a -> [b] -> c) -> [a] -> [b] -> [[c]]
- pairingsC :: PairingsPair a b
- pairingsAC :: Bool -> PairingsList a b
Types
type PairingsList a b = [a] -> [b] -> [[([a], [b])]] Source
type PairingsPair a b = (a, a) -> (b, b) -> [[(a, b)]] Source
Primitive pairings functions
pairingsNone :: PairingsPair a b Source
pairingsA :: Bool -> PairingsList a b Source
pairingsMatchA :: (a -> [b] -> c) -> [a] -> [b] -> [[c]] Source
pairingsC :: PairingsPair a b Source
pairingsAC :: Bool -> PairingsList a b Source