| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Rerefined.Predicate.Common.Binary
Description
Common utilities for binary combinator predicates.
Synopsis
- type PredicateNameBOp (op :: Symbol) (prec :: Natural) (d :: Natural) (l :: k) (r :: k1) = ShowParen (d > prec) ((PredicateName (prec + 1) l ++ op) ++ PredicateName (prec + 1) r)
Documentation
type PredicateNameBOp (op :: Symbol) (prec :: Natural) (d :: Natural) (l :: k) (r :: k1) = ShowParen (d > prec) ((PredicateName (prec + 1) l ++ op) ++ PredicateName (prec + 1) r) Source #
Render a binary combinator predicate with an infix operator.
The operator must include the left and right spaces.