Top-1.7: Constraint solving framework employed by the Helium Compiler.

Safe HaskellSafe-Infered

Top.Types.Qualification

Contents

Description

Qualification of types (for instance, predicates to deal with type classes).

Synopsis

Qualification

split :: Qualification q a -> (q, a)Source

(.=>.) :: q -> a -> Qualification q aSource

qualify :: (Substitutable context, Substitutable q, Substitutable a) => context -> [q] -> a -> Qualification [q] aSource