Safe Haskell | None |
---|
Documentation
solve :: (Fixable l, Show l, Show v, Ord v) => (String -> IO ()) -> C l v -> IO (Map v v, Map v (Result l v))Source
showFixable :: a -> StringSource
ResultJust | |
| |
ResultBounded | |
Safe Haskell | None |
---|
solve :: (Fixable l, Show l, Show v, Ord v) => (String -> IO ()) -> C l v -> IO (Map v v, Map v (Result l v))Source
showFixable :: a -> StringSource
ResultJust | |
| |
ResultBounded | |