Пример использования прувера для предоставления доступа сотрудников ФКН к чтению или изменению оценок, описанный в статье.
Для начала необходимо запустить интерактивный режим командой cabal repl
Затем необходимо импортировать библиотеки Test, RBACPolicies и Permissions:
ghci> import Test
ghci> import RBACPolicies
ghci> import PermissionПосле этого можно проверять наличие доступов с помощью запросов вида:
ghci> makeSingleDecision policies' ("Evgeniy", "CS", r)
True
ghci> makeSingleDecision policies' ("Evgeniy", "Ten", r \/ w)
True
ghci> makeSingleDecision policies' ("Evgeniy", "CAOS", w)
False
ghci> makeSingleDecision policies' ("Evgeniy", "CS", w)
False