You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Users might want access to them for some reason, we can expose pattern synonyms to access them
day2::forallfga.Functorg=>Dayfga->Day2__fga
day2 (Day fa gb f) =Day2__ fa (flip f gb)
day3::Functorf=>Dayfga->Day3__fga
day3 (Day fa gb f) =Day3__ (fmap f fa) gb
patternDay2::forallfga.Functorg=>forallxx.fxx->g (xx->a) ->DayfgapatternDay2 fa gb <- (day2 ->Day2__ fa gb)
whereDay2 fa gb =Day fa gb (&)patternDay3::forallfga.Functorf=>forallxx.f (xx->a) ->gxx->DayfgapatternDay3 fa gb <- (day3 ->Day3__ fa gb)
whereDay3 fa gb =Day fa gb id
Useful or not? I didn't put thought into choosing encodings or names.
The text was updated successfully, but these errors were encountered:
It's possible to encode
Day
differently:Users might want access to them for some reason, we can expose pattern synonyms to access them
Useful or not? I didn't put thought into choosing encodings or names.
The text was updated successfully, but these errors were encountered: