Searched refs:ExampleAvailable (Results 1 – 4 of 4) sorted by relevance
20 , ExampleAvailable(..)268 data ExampleAvailable = ExAv { type310 -> ExampleAvailable323 declareFlags :: [ExFlag] -> ExampleAvailable -> ExampleAvailable328 withSubLibrary :: ExampleAvailable -> ExSubLib -> ExampleAvailable331 withSubLibraries :: ExampleAvailable -> [ExSubLib] -> ExampleAvailable337 withSetupDeps :: ExampleAvailable -> [ExampleDependency] -> ExampleAvailable342 withTest :: ExampleAvailable -> ExTest -> ExampleAvailable345 withTests :: ExampleAvailable -> [ExTest] -> ExampleAvailable351 withExe :: ExampleAvailable -> ExExe -> ExampleAvailable[all …]
19 , ExampleAvailable(..)213 data ExampleAvailable = ExAv { function255 -> ExampleAvailable268 declareFlags :: [ExFlag] -> ExampleAvailable -> ExampleAvailable273 withSetupDeps :: ExampleAvailable -> [ExampleDependency] -> ExampleAvailable278 withTest :: ExampleAvailable -> ExTest -> ExampleAvailable281 withTests :: ExampleAvailable -> [ExTest] -> ExampleAvailable287 withExe :: ExampleAvailable -> ExExe -> ExampleAvailable290 withExes :: ExampleAvailable -> [ExExe] -> ExampleAvailable330 exAvSrcPkg :: ExampleAvailable -> UnresolvedSourcePackage[all …]
231 type TestPackage = Either ExampleInstalled ExampleAvailable302 arbitraryExAv :: PN -> PV -> TestDb -> Gen ExampleAvailable462 instance Arbitrary ExampleAvailable where
230 type TestPackage = Either ExampleInstalled ExampleAvailable301 arbitraryExAv :: PN -> PV -> TestDb -> Gen ExampleAvailable468 instance Arbitrary ExampleAvailable where