Home
last modified time | relevance | path

Searched refs:ctxTheta (Results 1 – 4 of 4) sorted by relevance

/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/src/Wingman/
H A DContext.hs49 , ctxTheta = evidenceToThetaType ev function
104 theta <- asks ctxTheta
H A DTypes.hs466 , ctxTheta :: Set CType function
478 , showsPrec 10 ctxTheta ""
492 , ctxTheta = mempty function
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/src/Wingman/
H A DContext.hs49 , ctxTheta = evidenceToThetaType ev function
104 theta <- asks ctxTheta
H A DTypes.hs466 , ctxTheta :: Set CType function
478 , showsPrec 10 ctxTheta ""
492 , ctxTheta = mempty function