aeson-schemas-1.2.0: Easily consume JSON data on-demand with type-safety

MaintainerBrandon Chinn <brandon@leapyear.io>
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Data.Aeson.Schema.Utils.TypeFamilies

Description

Utilities for working with type families.

Documentation

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

Equations

All _ '[] = () 
All f (x ': xs) = (f x, All f xs)