Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Prednote - annotated predicates
This module exports all the types and functions you will ordinarily need. Many names clash with Prelude names, because these names made the most sense. But I didn't make any clashing operators, as I'm not that much of a masochist. So you will probably want to do something like
import qualified Prednote as P import Prednote ((|||), (&&&))
For more documentation, first see Prednote.Core, and then Prednote.Comparisons and then Prednote.Expressions.