constraints-extras-0.3.0.1: Utility package for constraints

Safe HaskellSafe
LanguageHaskell2010

Data.Constraint.Compose

Synopsis

Documentation

class p (f a) => ComposeC (p :: k2 -> Constraint) (f :: k1 -> k2) (a :: k1) Source #

Composition for constraints.

Instances
p (f a) => ComposeC (p :: k2 -> Constraint) (f :: k1 -> k2) (a :: k1) Source # 
Instance details

Defined in Data.Constraint.Compose