Home
last modified time | relevance | path

Searched defs:MkFlag (Results 1 – 4 of 4) sorted by relevance

/dports/lang/ghc/ghc-8.10.7/libraries/Cabal/Cabal/Distribution/Types/
H A DFlag.hs40 data Flag = MkFlag constructor
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/Cabal-3.0.2.0/Distribution/Types/
H A DGenericPackageDescription.hs109 data Flag = MkFlag constructor
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/serialise-0.2.3.0/bench/versus/Macro/
H A DTypes.hs390 data Flag = MkFlag constructor
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/serialise-0.2.3.0/bench/versus/Macro/
H A DTypes.hs390 data Flag = MkFlag constructor