Searched refs:ExampleInstalled (Results 1 – 4 of 4) sorted by relevance
20 , ExampleInstalled(..)297 data ExampleInstalled = ExInst { function314 -> [ExampleInstalled] -> ExampleInstalled321 type ExampleDb = [Either ExampleInstalled ExampleAvailable]630 exInstInfo :: ExampleInstalled -> IPI.InstalledPackageInfo637 exInstPkgId :: ExampleInstalled -> C.PackageIdentifier646 exInstIdx :: [ExampleInstalled] -> C.PackageIndex.InstalledPackageIndex
21 , ExampleInstalled(..)361 data ExampleInstalled = ExInst { function378 -> [ExampleInstalled] -> ExampleInstalled385 type ExampleDb = [Either ExampleInstalled ExampleAvailable]704 exInstInfo :: ExampleInstalled -> IPI.InstalledPackageInfo711 exInstPkgId :: ExampleInstalled -> C.PackageIdentifier720 exInstIdx :: [ExampleInstalled] -> C.PackageIndex.InstalledPackageIndex
231 type TestPackage = Either ExampleInstalled ExampleAvailable306 arbitraryExInst :: PN -> PV -> [ExampleInstalled] -> Gen ExampleInstalled456 instance Arbitrary ExampleInstalled where
230 type TestPackage = Either ExampleInstalled ExampleAvailable305 arbitraryExInst :: PN -> PV -> [ExampleInstalled] -> Gen ExampleInstalled462 instance Arbitrary ExampleInstalled where