Home
last modified time | relevance | path

Searched refs:prettyDeterminism (Results 1 – 2 of 2) sorted by relevance

/dports/devel/hs-hls-install/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/src/Wingman/Metaprogramming/Parser/
H A DDocumentation.hs25 prettyDeterminism :: Determinism -> Doc b
26 prettyDeterminism Deterministic = "deterministic" function
27 prettyDeterminism Nondeterministic = "non-deterministic" function
148 , prettyDeterminism det <> "."
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/src/Wingman/Metaprogramming/Parser/
H A DDocumentation.hs25 prettyDeterminism :: Determinism -> Doc b
26 prettyDeterminism Deterministic = "deterministic" function
27 prettyDeterminism Nondeterministic = "non-deterministic" function
148 , prettyDeterminism det <> "."