constraint-0.1.3.0: Reified constraints

Safe HaskellNone
LanguageHaskell2010

Data.Constraint.Compose

Documentation

class c (f a) => Compose (c :: β -> Constraint) (f :: α -> β) (a :: α) Source #

Instances
c (f a) => Compose (c :: β -> Constraint) (f :: α -> β) (a :: α) Source # 
Instance details

Defined in Data.Constraint.Compose

decompose :: Compose c f a :- c (f a) Source #