unique-logic-0.3: Solve simple simultaneous equations
UniqueLogic.ST.RuleLog
Contents
Synopsis
generic2 :: Monoid w => (b -> Writer w a) -> (a -> Writer w b) -> Variable w s a -> Variable w s b -> T w s ()Source
generic3 :: Monoid w => (b -> c -> Writer w a) -> (c -> a -> Writer w b) -> (a -> b -> Writer w c) -> Variable w s a -> Variable w s b -> Variable w s c -> T w s ()Source