![]() getSAfromOutputOptic :: (p a fb -> p rs rft) ~ stab => ( Proxy (rs :: *) -> Proxy (a :: *) -> stab) -> stab.( SameLength' vs1 ns1, SameLength' vs ns, SameLength' ns1 vs1, SameLength' ns vs, LabelablePath xs (p v fb) (p r rft), MapFieldTree ( TråollectionListTF r) ns, MapFieldTreeVal r ( TråollectionListTF r) vs, FilterLastEq ( Label l) ns ns ns1, FilterLastEq ( Label l) ns vs vs1, FilterVEq1 v vs1 ns1 ns2, HGuardNonNull ( NamesDontMatch r ns l) ns1, HSingleton ( NonUnique r v l) ( TypesDontMatch r ns1 vs1 v) ns2 xs, EnsureLabel x ( Label l)) => x -> p v fb -> p r rft
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |