Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ersatz.Relation
Documentation
symmetric_relation :: (HasSAT s, MonadState s m, Ix b) => ((b, b), (b, b)) -> m (Relation b b) #
transitive :: Ix a => Relation a a -> Bit #
irreflexive :: Ix a => Relation a a -> Bit #