TypeLevelShow.Utils

Documentation

type family ShowParen b p where ...

Surround the given Symbol with parentheses when the Bool parameter is True.

Equations

ShowParen False p = p

ShowParen True p = ConsSymbol '(' p `AppendSymbol` ")"

type ShowParenIfGt n d p = ShowParen (OrderingGT (CmpNat d n)) p

Surround the given Symbol with parentheses if the given precedence is greater than the given Natural.

Type-level relational operations are a pain. This may be easier to use.

type family OrderingGT (a :: Ordering) :: Bool where ...

Equations

OrderingGT LT = False

OrderingGT EQ = False

OrderingGT GT = True

type ShowChar ch = ConsSymbol ch ""

type (++) l r = AppendSymbol l r

type (>) l r = OrderingGT (CmpNat l r)