How to express constraint succeeded?
Hello, Dear Cafe! I have expression 'True ~ 'True in right hand side of type level function. Is some "constant" for the same?
Hello Paul, (() :: Constraint) is the empty constraint. The kind annotation is sometimes optional but useful to disambiguate from the unit type. Li-yao 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 same?
_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.
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.
Li-yao
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 same?
_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe 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: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.
participants (2)
-
Li-yao Xia -
Paul