Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family ResolveMember (as :: [Type]) (ms :: [[Type]]) :: [Type] where ... Source #
ResolveMember as ms = ResolveMember' as (FilterApp as ms) |
Safe Haskell | None |
---|---|
Language | Haskell2010 |
type family ResolveMember (as :: [Type]) (ms :: [[Type]]) :: [Type] where ... Source #
ResolveMember as ms = ResolveMember' as (FilterApp as ms) |