rerefined-0.4.0: Refinement types, again
Safe HaskellSafe-Inferred
LanguageGHC2021

Rerefined.Predicate.Common.Binary

Description

Common utilities for binary combinator predicates.

Synopsis

Documentation

type PredicateNameBOp op prec d l r = 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.