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

Safe HaskellNone
LanguageHaskell2010

TypeFun.Constraint

Synopsis

Documentation

type family AllSatisfy c s :: Constraint Source

Apply constraint for each element of list

Equations

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