Documentation

generateCds :: (MonadAlloy m, MonadRandom m) => Maybe Bool -> ClassConfig -> RelationshipProperties -> Maybe Integer -> Maybe Int -> m [AlloyInstance] Source #

instanceToAnyCd :: MonadThrow m => AlloyInstance -> m AnyCd Source #

instanceToCd :: MonadThrow m => AlloyInstance -> m Cd Source #