Smap

Choose the version you want to view.

Current version:Version message:

Remove warning from CurryPP

Click on a tag to show all related programs.

functional_pattern set_functions narrowing

Click on the badge to open the comment window for viewing and writing comments.

No comments yet.

Created by antoy on November 25, 2014 (last modified on November 10, 2023)

0 users favorited this

Description: Tell whether a poker hand scores a four-of-a-kind.

Source code (Latest version):

{-# OPTIONS_CYMAKE -F --pgmF=currypp --optF=defaultrules #-}
{-# OPTIONS_CYMAKE -Wnone #-} -- no warnings

import Test.Prop
import Control.Search.SetFunctions

-- From the Curry tutorial
-- Version Fri Jul 15 12:45:38 PDT 2016
-- Determine whether a poker hand scores a four-of-a-kind

-------- the cards --------

data Suit = Club | Spade | Heart | Diamond
 deriving Eq

data Card = Card Rank Suit
 deriving Eq

rank (Card r _) = r

-------- find whether a hand scores four of a kind --------

isFour (x++[_]++z) | map rank (x++z) == [r,r,r,r] = Just r where r free
isFour'default _ = Nothing

main = (isFour testYes, isFour testNo)

-------- properties --------

testYes = [(Card Six Club),(Card Six Spade),(Card Five Heart),
           (Card Six Heart),(Card Six Diamond)]
propYes = isFour testYes -=- Just Six

testNo  = [(Card Six Club),(Card Ace Spade),(Card Five Heart),
           (Card Ace Club),(Card Six Diamond)]
propNo  = isFour testNo -=- Nothing