Documentation
a :- b |
flattenAlts :: Alts a b -> [(a, b)]Source
instantiate :: Tuple a => a -> [(a, LP b)] -> LP bSource
solve3 :: (Convert a, Convert b, Convert c) => Int -> (Term a -> Term b -> Term c -> Pred) -> [(a, b, c)]Source
solve4 :: (Convert a, Convert b, Convert c, Convert d) => Int -> (Term a -> Term b -> Term c -> Term d -> Pred) -> [(a, b, c, d)]Source
conv4 :: (Convert a, Convert b, Convert c, Convert d) => (a -> b -> c -> d -> e) -> Int -> Conv eSource