Data.Relation.Examples.E02

Documentation

p :: Show a => a -> IO ()

Documentation Tests

All examples in this module are tested automatically with Doctest, and pretty printed with Text.Groom.

This output is provided as proof of the correctness of the REPL (>>>) text:

   There are 12 tests, with 12 total interactions.
   Examples: 12  Tried: 12  Errors: 0  Failures: 0

enrollment :: Relation [Char] [Char]

Example 2:

A student x can take n classes.

• Each student must take at least 1 class
• Each class must have at least one student.

>>> p enrollment
Relation{domain =
           fromList
             [("Antonio", fromList ["History"]),
              ("Rebeca", fromList ["History", "Mathematics"]),
              ("Rolando", fromList ["Comunication", "Religion"]),
              ("Teresa", fromList ["Architecture", "Religion"])],
         range =
           fromList
             [("Architecture", fromList ["Teresa"]),
              ("Comunication", fromList ["Rolando"]),
              ("History", fromList ["Antonio", "Rebeca"]),
              ("Mathematics", fromList ["Rebeca"]),
              ("Religion", fromList ["Rolando", "Teresa"])]}

rebecaenrollment :: Set [Char]

>>> p rebecaenrollment
fromList ["History", "Mathematics"]

takingreligion :: Set [Char]

>>> p takingreligion
fromList ["Rolando", "Teresa"]

others :: Set [Char]

>>> p others
fromList ["Architecture", "Comunication", "Religion"]

test1 :: Bool

>>> p test1
True

takingreligion2 :: Relation [Char] [Char]

>>> p takingreligion2
Relation{domain =
           fromList
             [("Rolando", fromList ["Religion"]),
              ("Teresa", fromList ["Religion"])],
         range = fromList [("Religion", fromList ["Rolando", "Teresa"])]}

id1 :: Set [Char] -> (Bool, Set [Char])

id2 :: Set [Char] -> (Bool, Set [Char])

id3 :: Set [Char] -> (Bool, Set [Char])

id4 :: Set [Char] -> (Bool, Set [Char])

religion :: Set [Char]

teresa :: Set [Char]

>>> p religion
fromList ["Religion"]

t11 :: (Bool, Set [Char])

>>> p t11
(True, fromList ["Religion"])

t12 :: (Bool, Set [Char])

>>> p t12
(True, fromList ["Rolando", "Teresa"])

t13 :: (Bool, Set [Char])

>>> p t13
(True, fromList ["Teresa"])

t14 :: (Bool, Set [Char])

>>> p t14
(True, fromList ["Architecture", "Religion"])

id1R, id2R :: (Ord a, Ord b) => Set b -> Relation a b -> Bool

id3R, id4R :: (Ord a, Ord b) => Set a -> Relation a b -> Bool

testAll :: Bool

>>> p testAll
True