Home/ Questions/Q 8163283
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-06-06T18:59:01+00:00

I have a function sasiad (x,y) = [ (x+dx,y+dy) | dy <- [-1..1], dx

  • 0

I have a function

sasiad (x,y) = [ (x+dx,y+dy) | dy <- [-1..1], dx <- [-1..1], x+dx >= 0, y+dy >= 0]

I don’t like the type of that function. I would like it to return [(Int,Int)] instead of [(t,t1)]
Is it possible to force ghci to make that?

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    Yes, add a type annotation:

    sasiad (x,y) = [ (x+dx,y+dy) | dy <- [-1..1], dx <- [-1..1], x+dx >= 0, y+dy >= 0] :: [(Int, Int)]
    • 0