liquid-fixpoint-0.9.2.5: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Fixpoint.Utils.Builder

Description

Wrapper around Builder that exports some useful combinators

Documentation

fromText :: Text -> Builder Source #

fromString :: IsString a => String -> a #

parens :: Builder -> Builder Source #

(<+>) :: Builder -> Builder -> Builder infixl 9 Source #

parenSeqs :: [Builder] -> Builder Source #

seqs :: [Builder] -> Builder Source #

key :: Builder -> Builder -> Builder Source #

key2 :: Builder -> Builder -> Builder -> Builder Source #

key3 :: Builder -> Builder -> Builder -> Builder -> Builder Source #

bShow :: Show a => a -> Builder Source #

bFloat :: RealFloat a => a -> Builder Source #