| Portability | portable (depends on ghc) |
|---|---|
| Stability | provisional |
| Maintainer | bastiaan.heeren@ou.nl |
| Safe Haskell | Safe-Inferred |
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 bSource
pairingsA :: Bool -> PairingsList a bSource
pairingsMatchA :: (a -> [b] -> c) -> [a] -> [b] -> [[c]]Source
pairingsC :: PairingsPair a bSource
pairingsAC :: Bool -> PairingsList a bSource