Skip to content

Instantly share code, notes, and snippets.

@serras

serras/all.hs

Created October 1, 2015 11:23
Download ZIP

Revisions

  1. serras created this gist Oct 1, 2015.
    3 changes: 3 additions & 0 deletions all.hs
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,3 @@
    type family All (c :: k -> Constraint) (t :: [k]) :: Constraint where
    All c '[] = ()
    All c (x ': xs) = (c x, All c xs)