Implement _Type directly
commitd1cda62c465c1311643e1217f62a5056ccf78282
authorMatthew Pickering <matthewtpickering@gmail.com>
dateTue 16 Jan 2018, 14:03 (9 years ago)
parent8467038
src/Data/Generics/Sum/Typed.hs+1−1
@@ -98,7 +98,7 @@ instance
9898 ) => AsType a s where
9999
100100 _Typed
101− = repIso . _GTyped
101+ = prism injectTyped (either (Left . to) Right . gprojectTyped . from)
102102 injectTyped
103103 = to . ginjectTyped
104104 projectTyped