Searched refs:PV_Context (Results 1 – 4 of 4) sorted by relevance
2842 data PV_Context = type2843 PV_Context constructor2859 newtype PV a = PV { unPV :: PV_Context -> PV_Accum -> PV_Result a }2881 pv_ctx = PV_Context2910 PV $ \PV_Context{pv_options=o} acc@PV_Accum{pv_messages=m} ->
3032 data PV_Context = type3033 PV_Context constructor3049 newtype PV a = PV { unPV :: PV_Context -> PV_Accum -> PV_Result a }3071 pv_ctx = PV_Context3100 PV $ \PV_Context{pv_options=o} acc@PV_Accum{pv_messages=m} ->
2729 data PV_Context = type2730 PV_Context constructor2764 newtype PV a = PV { unPV :: PV_Context -> PV_Accum -> PV_Result a }2786 pv_ctx = PV_Context