constraint-0.1.0.1: 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 f a Source # 

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