aeson-deriving-0.1.1: data types for compositional, type-directed serialization

Safe HaskellNone
LanguageHaskell2010

Data.Aeson.Deriving.Utils

Synopsis

Documentation

type family All (predicate :: k -> Constraint) (types :: [k]) :: Constraint where ... Source #

Convenience constraint family. All types in the list satisfy the predicate.

Equations

All predicate '[] = () 
All predicate (t ': ts) = (predicate t, All predicate ts)