type-set-0.1.0.0: Type set
Safe HaskellNone
LanguageHaskell2010

Data.Type.SetApp

Documentation

data SetApp a Source #

type (:$:) (f :: Type -> Type) (ts :: Set Type) = 'SetApp f (Map f ts) infixl 4 Source #