1
Und auch für die Zusammensetzung Funktion.
f $ a = f a
f . g = \x -> f (g x)
A
Antwort
0
Quick Check funktioniert nur auf konkreten Typen, so dass Sie zunächst den Typ instanziiert müssen:
($) :: (Int -> String) -> Int -> String
Verwandte Themen
- 1. Quickcheck für nicht boolesche Tests
- 2. Wie schreibe ich Tests für meine Webanwendung?
- 3. Verwenden Sie quickCheck Tests mit Cabal?
- 4. Wie schreibe ich JUnit Tests?
- 5. Wie schreibe ich rspec Tests für Controller, die Authentifizierung annehmen
- 6. Wie schreibe ich Jest-Tests, die mit Flow verifiziert wurden?
- 7. Wie schreibe ich eine Flow-Typ-Definition für ImmutableJS-Typen?
- 8. Wie schreibe ich Swagger Dokumentation für eine optionale Enum-Definition?
- 9. Wie schreibe ich RSpec-Tests, die ein OAuth2-Zugriffstoken erfordern?
- 10. Wie schreibe ich Rspec Tests für RestFul API in RoR
- 11. Wie schreibe ich Tests für Spree Controller Decorator?
- 12. Mit QuickCheck
- 13. QuickCheck für Javascript
- 14. Wie schreibe ich datengesteuerte Tests mit JUnit 3
- 15. Wie schreibe ich UI-Tests für die Anmeldung mit Facebook in Xcode?
- 16. QuickCheck 2 Stapelverarbeitung
- 17. Wie schreibe ich die Sortierfunktion für List.js?
- 18. Haskell Cabal QuickCheck Integration
- 19. Haskell Generieren von Graphen mit QuickCheck-Eigenschaften
- 20. Testen von Parsec-Parsern durch Generieren von Eingaben mit QuickCheck
- 21. Wie schreibe ich Middleware für grpc (node.js)
- 22. Wie schreibe ich Einheit/Integration Tests in ServiceStack
- 23. Ich schreibe Tests für Benutzer, und bin immer diese Fehlermeldung:
- 24. Testen von IO-Aktionen mit Monadic QuickCheck
- 25. Wie schreibe ich Tests, wenn ich bereits eine große Codebasis ohne Tests habe?
- 26. Wie schreibe ich Asyncocode für die Verwendung mit AWS Lambda?
- 27. Wie schreibe ich automatisierte Tests für die Benutzeroberfläche einer Windows Phone 7-Anwendung?
- 28. Testen von QuickCheck-Eigenschaften gegen mehrere Typen?
- 29. Warum gibt QuickCheck auf?
- 30. Wie verbessere ich das Debuggen von QuickCheck und Parsec?
Haben Sie wirklich jene nicht getestet zu werden? Ich denke, ihre Implementierung wird durch ihren Typ (durch ihren zugehörigen freien Satz) erzwungen. – chi
Eigentlich ist dies eine Übung von [haskellBook] (http://haskellbook.com/) –
Ich sehe, so ist es eine Übung nur um es zu wollen. Ich habe keine Ahnung, was ein aussagekräftiger Test für diese sein könnte. Ich meine, ich könnte sie mit ihren eigenen Definitionen vergleichen, was sich komisch anfühlt. – chi