Prednote

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.

Documentation

module Prednote.Comparisons

module Prednote.Expressions

module Prednote.Core