constraints-extras-0.4.0.2: Utility package for constraints
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Constraint.Compose

Synopsis

Documentation

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

Composition for constraints.

Instances

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

Defined in Data.Constraint.Compose