Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
data TransformedPair :: * -> N -> N -> * where Source
TP :: Operation a n k -> Operation a m k -> TransformedPair a n m |
transform :: Operation a n m -> Operation a n k -> TransformedPair a k m Source