named-instance

11Ciepło

2Odpowiedz

używać nazwanych wystąpień do innych przypadkach

Próbuję dokonać Semigroup i VerifiedSemigroup wystąpienie na mój zwyczaj Bool typu danych zarówno od operatora && i operatora ||: %case data Lógico = Cierto | Falso (&&) : Lógico -> Lógico -> Lógico

typeclass idris formal-verification named-instance semigroup 2015-02-01

---