Safe HaskellSafe-Inferred
LanguageHaskell2010

Bug1063

Documentation

class (c => d) => Implies c d #

Instances

Instances details
(c => d) => Implies c d # 
Instance details

Defined in Bug1063