Just as a quick primer... Halyards are sized to control stretch not for their breaking strength, and people over time tend to just keep going up in size for no good reason. As an example my guess is your winch
isn't rated past about 2,000lbs. So your halyard is about 7 times the breaking strength of the winch hauling it up.
I don't have cost for you, so I used the prices from WestMarine in the US for a couple of different options.
14mm Sta-Set X - 13,000 MBL and $2.49/foot
10mm endurabraid - 10,000 MBL and $3.51/foot
12mm endurabraid - 19,000 MBL and $4:31/foot
5/16 (8mm) amsteel blue - 13,500 MBL and $2.20/foot
My personal choice would be the amsteel with a short cover spliced on where it hits the clutch
and winch, which would come out about 10% less expensive! weigh less! not absorb water! and last longer.
I think the endurabraid is overpriced and don't like to use it. The only advantage is it is fully covered, but dyneema
doesn't need the abrasion cover, and is pretty resistant to UV. My current
uncovered amsteel halyards are five years old and still going fine.