[Haskell-cafe] How to express constraint succeeded?
aquagnu at gmail.com
Thu Aug 23 11:25:35 UTC 2018
Ooh, yes! Thank you very much!
23.08.2018 14:24, Li-yao Xia wrote:
> Hello Paul,
> (() :: Constraint)
> is the empty constraint. The kind annotation is sometimes optional but
> useful to disambiguate from the unit type.
> On 08/23/2018 07:18 AM, Paul wrote:
>> Hello, Dear Cafe! I have expression
>> 'True ~ 'True
>> in right hand side of type level function. Is some "constant" for the
>> Haskell-Cafe mailing list
>> To (un)subscribe, modify options or view archives go to:
>> Only members subscribed via the mailman list are allowed to post.
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> Only members subscribed via the mailman list are allowed to post.
More information about the Haskell-Cafe