haskus-utils-types-1.5: Haskus types utility modules

Safe HaskellNone
LanguageHaskell2010

Haskus.Utils.Types.Constraint

Description

Type-level Constraint

Use it with ConstraintKinds LANGUAGE pragma

Synopsis

Documentation

data Constraint #

The kind of constraints, like Show a

type family ConstraintAll1 (f :: k -> Constraint) (xs :: [k]) :: Constraint where ... Source #

Build a list of constraints e.g., ConstraintAll1 Eq '[A,B,C] ==> (Eq A, Eq B, Eq C)

Equations

ConstraintAll1 f '[] = () 
ConstraintAll1 f (x ': xs) = (f x, ConstraintAll1 f xs)