Person.hs

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE NoImplicitPrelude #-}

module Person where

import Core
import List (Chars)

-- Suppose we have a data structure to represent a person. The person data structure has these attributes:
--     * Age: positive integer
--     * First Name: non-empty string that starts with a capital letter and is followed by zero or more lower-case letters
--     * Surname: string that starts with a capital letter and is followed by 5 or more lower-case letters
--     * Smoker: character that must be 'y' or 'n' that maps to a boolean
--     * Phone: string of digits, dots or hyphens but must start with a digit and end with a hash (#)
data Person
  = Person
      Int -- age
      Chars -- first name
      Chars -- surname
      Bool -- smoker
      Chars -- phone number
  deriving stock (Eq, Show)