type-fun-0.1.1: Collection of widely reimplemented type families

Safe HaskellNone
LanguageHaskell2010

TypeFun.Constraint

Synopsis

Documentation

type family AllSatisfy (c :: k -> Constraint) (s :: [k]) :: Constraint where ... Source #

Apply constraint for each element of list

Equations

AllSatisfy c '[] = () 
AllSatisfy c (a ': as) = (c a, AllSatisfy c as)