Bartosz
Bartosz
There's also `surfacePixels :: MonadIO m => Surface -> m (Ptr ())`, but now I'm wondering what the IOVector @Rydgel mentioned is for. As far as I know when you...
Cool, I like that you make issues from it, I'm curious what you're gonna choose in the end!
What does `(Tenant (InactiveTenant NewTenant))` mean? I can see how accepting various statuses as an input could be usable, but if you produce, then I guess it's gonna have some...
Ah, thanks. I guess including the definitions would clarify things here.
I'm curious myself how far one can go with it. The obvious advantage would be that you now can't write code that would call for example `disableTenant` on an inactive...
But you have one function to load those! What would be its signature? Something like: ``` loadTenant :: forall st. st :: TenantStatus => id -> IO (Tenant st) ```...
I've recalled I was implementing custom servant authentication, and it is kinda similar. I'm not implying this is the way it should be done (with typeclasses), but that was the...
They don't - they are reading some type for you, and if you employ some higher order stuff then you probably stick some `forall`s so that what you read doesn't...
Yes - and this is what I meant by `forall`, I think this effectively makes this signature looking like (if we had an explicit forall): ``` forall (status :: TenantStatus)....
@wz1000 What does "inline existentially quantified" means?