clr-typed-0.2.0: A strongly typed Haskell interface to the CLR type system

Safe HaskellNone
LanguageHaskell2010

Clr.Resolver

Documentation

type family Candidates (typ :: Type) (member :: Type) :: [[Type]] Source #

type family ResolveMember (as :: [Type]) (ms :: [[Type]]) :: [Type] where ... Source #

Equations

ResolveMember as ms = ResolveMember' as (FilterApp as ms)