21 Jan
2014
21 Jan
'14
5:29 p.m.
On 14-01-20 06:48 AM, Vlatko Basic wrote:
I have another data definition
data ACT aur c = ACT { x :: aur, ... }
but the type 'aur' should be restricted to (AD u r) only. (I would like to keep 'aur' as 1 parameter, not as
It is unnecessary to enforce your rule at the data declaration. It is sufficient and necessary to enforce it at relevant functions and values. For example: transform :: (UA u, RA r) => ACT (AD u r) Int -> ACT (AD u r) Bool