Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- implies :: (Ix a, Ix b, MonadSAT m) => Relation a b -> Relation a b -> m Boolean
- symmetric :: (Ix a, MonadSAT m) => Relation a a -> m Boolean
- transitive :: (Ix a, MonadSAT m) => Relation a a -> m Boolean
- irreflexive :: (Ix a, MonadSAT m) => Relation a a -> m Boolean
- reflexive :: (Ix a, MonadSAT m) => Relation a a -> m Boolean
- regular :: (Ix a, Ix b, MonadSAT m) => Int -> Relation a b -> m Boolean
- regular_in_degree :: (Ix a, Ix b, MonadSAT m) => Int -> Relation a b -> m Boolean
- regular_out_degree :: (Ix a, Ix b, MonadSAT m) => Int -> Relation a b -> m Boolean
- max_in_degree :: (Ix a, Ix b, MonadSAT m) => Int -> Relation a b -> m Boolean
- min_in_degree :: (Ix a, Ix b, MonadSAT m) => Int -> Relation a b -> m Boolean
- max_out_degree :: (Ix a, Ix b, MonadSAT m) => Int -> Relation a b -> m Boolean
- min_out_degree :: (Ix a, Ix b, MonadSAT m) => Int -> Relation a b -> m Boolean
- empty :: (Ix a, Ix b, MonadSAT m) => Relation a b -> m Boolean
- complete :: (Ix a, Ix b, MonadSAT m) => Relation a b -> m Boolean
- disjoint :: forall {m} {a} {b}. (Ix a, Ix b, MonadSAT m) => Relation a b -> Relation a b -> m Boolean
- equals :: forall {m} {a} {b}. (Ix a, Ix b, MonadSAT m) => Relation a b -> Relation a b -> m Boolean
- is_function :: (Ix a, Ix b, MonadSAT m) => Relation a b -> m Boolean
- is_partial_function :: (Ix a, Ix b, MonadSAT m) => Relation a b -> m Boolean
- is_bijection :: (Ix a, Ix b, MonadSAT m) => Relation a b -> m Boolean
- is_permutation :: (Ix a, MonadSAT m) => Relation a a -> m Boolean
Documentation
disjoint :: forall {m} {a} {b}. (Ix a, Ix b, MonadSAT m) => Relation a b -> Relation a b -> m Boolean Source #
equals :: forall {m} {a} {b}. (Ix a, Ix b, MonadSAT m) => Relation a b -> Relation a b -> m Boolean Source #
is_function :: (Ix a, Ix b, MonadSAT m) => Relation a b -> m Boolean Source #
relation R is a function iff for each x, there is exactly one y such that R(x,y)