Language.Glambda.Util

Utility exports (and re-exports) for glambda. This module is meant to be internal -- do not import it if you are not part of the glambda package!

Documentation

render :: Doc -> String

Convert a Doc to a String

toSimpleDoc :: Doc -> SimpleDoc

Convert a Doc to a SimpleDoc for further rendering

maybeParens :: Bool -> Doc -> Doc

Enclose a Doc in parens if the flag is True

($$) :: Doc -> Doc -> Doc

Synonym for <$>

type Prec = Rational

More perspicuous synonym for operator precedence

topPrec :: Prec

Precedence for top-level printing

stripWhitespace :: String -> String

(Inefficiently) strips whitespace from a string

nthDefault :: a -> Int -> [a] -> a

Pluck out the nth item from a list, or use a default if the list is too short

data a :~: b :: k -> k -> * where infix 4

Propositional equality. If a :~: b is inhabited by some terminating value, then the type a is the same as the type b. To use this equality in practice, pattern-match on the a :~: b to get out the Refl constructor; in the body of the pattern-match, the compiler knows that a ~ b.

Since: 4.7.0.0

Constructors

Refl :: (:~:) k a1 a1

Instances

TestEquality k ((:~:) k a)

(~) k a b => Bounded ((:~:) k a b)

(~) k a b => Enum ((:~:) k a b)

Eq ((:~:) k a b)

Ord ((:~:) k a b)

(~) k a b => Read ((:~:) k a b)

Show ((:~:) k a b)

ignore :: Functor f => f a -> f ()

Like void