Searched refs:PV_Ok (Results 1 – 4 of 4) sorted by relevance
2743 data PV_Result a = PV_Ok PV_Accum a | PV_Failed PV_Accum constructor2770 pure a = a `seq` PV (\_ acc -> PV_Ok acc a)2776 PV_Ok acc' a -> unPV (f a) ctx acc'2800 PV_Ok acc' a -> POk (mkPState acc') a2813 in PV_Ok acc{pv_errors = err' `consBag` pv_errors acc} ()2817 then PV_Ok acc{pv_warnings= w `consBag` pv_warnings acc} ()2818 else PV_Ok acc ()2824 PV_Ok acc $! b2827 PV_Ok s {2833 PV_Ok s {[all …]
2856 data PV_Result a = PV_Ok PV_Accum a | PV_Failed PV_Accum constructor2865 pure a = a `seq` PV (\_ acc -> PV_Ok acc a)2871 PV_Ok acc' a -> unPV (f a) ctx acc'2896 PV_Ok acc' a -> POk (mkPState acc') a2908 PV_Ok acc{pv_messages=appendError srcspan msg' m} ()2911 PV_Ok acc{pv_messages=appendWarning o option srcspan warning m} ()2917 PV_Ok acc $! b2929 PV_Ok acc' ()
3046 data PV_Result a = PV_Ok PV_Accum a | PV_Failed PV_Accum constructor3055 pure a = a `seq` PV (\_ acc -> PV_Ok acc a)3061 PV_Ok acc' a -> unPV (f a) ctx acc'3086 PV_Ok acc' a -> POk (mkPState acc') a3098 PV_Ok acc{pv_messages=appendError srcspan msg' m} ()3101 PV_Ok acc{pv_messages=appendWarning o option srcspan warning m} ()3107 PV_Ok acc $! b3119 PV_Ok acc' ()