forall_ (definition) in projects: dports

Searched defs:forall_ (Results 1 – 7 of 7) sorted by relevance

/dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/Docs/RenderedCode/
H A D	RenderType.hs	`148 forall_ = mkPattern match function`
/dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/Pretty/
H A D	Types.hs	`232 forall_ = mkPattern match function`
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Client/
H A D	BaseIO.hs	`278 forall_ = Trans.forall_ function`
/dports/devel/f18/f18-1688bef/lib/semantics/
H A D	assignment.cc	`334 ForallContext *forall_{nullptr}; member in Fortran::semantics::AssignmentContext`
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/
H A D	Data.hs	`525 forall_ = mkSymVal (NonQueryVar (Just ALL)) Nothing function`
/dports/lang/ghc/ghc-8.10.7/utils/haddock/haddock-api/src/Haddock/Backends/Xhtml/
H A D	Decl.hs	`1000 ppConstrHdr forall_ tvs ctxt unicode qual = ppForall +++ ppCtxt function`
/dports/lang/ghc/ghc-8.10.7/utils/haddock/haddock-api/src/Haddock/Backends/
H A D	LaTeX.hs	`750 ppConstrHdr forall_ tvs ctxt unicode = ppForall <> ppCtxt function`