24 Jun
2011
24 Jun
'11
8:26 a.m.
What does the ~ type operator mean? I've sometimes seen types such as (a ~ b) in error messages, but can't understand what GHC is trying to tell me. Thanks for any enlightenment!
24 Jun
24 Jun
9:10 a.m.
On Friday 24 June 2011, 10:26:42, Guy wrote:
What does the ~ type operator mean? I've sometimes seen types such as (a ~ b) in error messages, but can't understand what GHC is trying to tell me.
Type equality, (a ~ b) means that a and b are the same type (rather, that the compiler can prove they're the same).
5543
Age (days ago)
5543
Last active (days ago)
1 comments
2 participants
participants (2)
-
Daniel Fischer -
Guy