simplistic-generics-0.1.0.0: Generic programming without too many type classes

Safe HaskellNone
LanguageHaskell2010

Data.Constraints

Documentation

class c => d => Implies c d Source #

Instances
c -> d => Implies c d Source # 
Instance details

Defined in Data.Constraints

class Trivial c Source #

Instances
Trivial (c :: k) Source # 
Instance details

Defined in Data.Constraints