Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
concatIsDict :: forall k (w :: k -> Type) (aa :: [k]) (bb :: [k]). (Representative w, Is (ListType w) aa, Is (ListType w) bb) => Dict (Is (ListType w) (Concat aa bb)) Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
concatIsDict :: forall k (w :: k -> Type) (aa :: [k]) (bb :: [k]). (Representative w, Is (ListType w) aa, Is (ListType w) bb) => Dict (Is (ListType w) (Concat aa bb)) Source #