| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
ProjectM36.Arbitrary
Documentation
arbitrary' :: AtomType -> WithTCMap Gen (Either RelationalError Atom) Source #
maybeToRight :: b -> Maybe a -> Either b a Source #
arbitraryRelationTuple :: Attributes -> WithTCMap Gen (Either RelationalError RelationTuple) Source #
arbitraryWithRange :: Gen (Either RelationalError RelationTuple) -> Range -> Gen [Either RelationalError RelationTuple] Source #
arbitraryRelation :: Attributes -> Range -> WithTCMap Gen (Either RelationalError Relation) Source #
type WithTCMap a = ReaderT TypeConstructorMapping a Source #
createArbitraryInterval :: AtomType -> WithTCMap Gen (Either RelationalError Atom) Source #