Haskell: Pattern matching with custom data types

Question

I have the following custom data type:

type Length = Integer 
type Rotation = Integer 
data Colour = Colour { red, green, blue, alpha :: Int }
            deriving (Show, Eq)

data Special 
  = L Length 
  | R Rotation
  | Col Colour  
  deriving (Show, Eq)

Say that I have a tuple of the following form:

let x = ("Jump", R 90)

And I extract the second value in the tuple using:

snd x = R 90

Is there any way that I can use pattern matching to get the Rotation value 90 from R 90 so that I can use it in another area of code? When I use snd x, the type of the result is of type Special but I would just like to get the Rotation value. Any insights are appreciated.

case snd x of R n -> ...?

melpomene
– melpomene

2019-07-08 03:09:33 +00:00
Commented Jul 8, 2019 at 3:09 — melpomene
– melpomene, Commented Jul 8, 2019 at 3:09
let (R rotation) = snd x in ...

chepner
– chepner

2019-07-08 13:19:36 +00:00
Commented Jul 8, 2019 at 13:19 — chepner
– chepner, Commented Jul 8, 2019 at 13:19

Shersh · Accepted Answer · 2019-07-08 01:45:50Z

7

R is a constructor of the Special data type. In order to extract Rotation from R you need to write the following function:

unsafeExtractRotation :: Special -> Rotation
unsafeExtractRotation (R rotation) = rotation

However, this function is unsafe (as its name suggests) because it is partial: it doesn't handle all cases. According to the function type, it should work with any value of the Special data type, so it's possible to pass L constructor to this function, and it will crash and later down the road it can be very problematic to figure out the source of such error.

Safer function can look like this:

extractRotation :: Special -> Maybe Rotation
extractRotation (R rotation) = Just rotation
extractRotation _ = Nothing

It won't crash. Instead, it forces you to deal explicitly with the cases where you passed different constructor.

answered Jul 8, 2019 at 1:45

Shersh

9,2193 gold badges37 silver badges63 bronze badges

Sign up to request clarification or add additional context in comments.

Comments

developer_hatch · Accepted Answer · 2019-07-08 02:54:19Z

1

With the info you provided, I can come up with three ideas, one from Shersh, but you could use the one that fits more with your code:

-- If is not of Rotation type, value is 0
specialToRotation (R n) = n
specialToRotation _     = 0

-- If not of Rotation type, pattern matching failure
specialToRotation2 (R n) = n

-- If not of Rotation type, value is Nothing

specialToRotation3 (R n) = Just n
specialToRotation3 _     = Nothing

The option 2) is not entirely wrong, a lot of functions are partial in Haskell, think in head and tail from list api. Both has no definition for empty list. So maybe you could use it.

answered Jul 8, 2019 at 2:54

developer_hatch

16.3k3 gold badges47 silver badges79 bronze badges

1 Comment

Cactus Over a year ago

#3 subsumes both #1 and #2: fromMaybe 0 . specialToRotation3 and fromJust . specialToRotation3 respectively.

Collectives™ on Stack Overflow

Haskell: Pattern matching with custom data types

2 Answers 2

Comments

1 Comment

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

Comments

1 Comment

Your Answer

Sign up or log in

Post as a guest

Related