withNameDisp (reference) in projects: dports

Searched refs:withNameDisp (Results 1 – 3 of 3) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Utils/
H A D	PP.hs	`119 withNameDisp :: (NameDisp -> Doc) -> Doc 120 withNameDisp k = Doc (\disp -> runDoc disp (k disp)) function`
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ModuleSystem/
H A D	Name.hs	`179 Declared m _ -> withNameDisp $ \disp ->`
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/
H A D	Type.hs	`959 withNameDisp $ \disp ->`