Documentation

generateCds :: forall (m :: Type -> Type) g. (MonadAlloy m, RandomGen g) => Maybe Bool -> ClassConfig -> RelationshipProperties -> Maybe Integer -> Maybe Int -> RandT g m [AlloyInstance] Source #

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

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